Visiting address: Rännvägen 6 Room: 5461, 5th floor (EDIT-building)
PhD student in the Functional Programming Research Group.
Researcher in LIACC, Computer Science and Artificial Intelligence Laboratory - University of Porto
Supervisor: Patrik Jansson
Link to personal page
Jeuring, J.; Jansson, Patrik; Amaral, Claudio: Testing Type Class Laws. SIGPLAN notices, 47 (12) pp. 49-60.
Jeuring, Johan; Jansson, Patrik; Amaral, Claudio: Testing Type Class Laws. 2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012, pp. 49-60. ISBN/ISSN: 978-1-4503-1574-6
Amaral, Claudio; Florido, M.; Jansson, Patrik: Interfacing dynamically typed languages and the why tool: Reasoning about lists and tuples. Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, pp. 92-93. ISBN/ISSN: 978-145030859-5
SEARCH STAFF First name Last name
SEARCH Whole site Staff
Divisions:
Computing Science >> Computer Engineering >> Networks and Systems >> Software Engineering >> Software Technology >> Administration >>
Print this page