Claudio Amaral

Visar 3 publikationer

2012

Testing Type Class Laws

J. Jeuring, Patrik Jansson, Claudio Amaral
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 47 (12), p. 49-60
Artikel i vetenskaplig tidskrift
2012

Testing Type Class Laws

Johan Jeuring, Patrik Jansson, Claudio Amaral
2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012, p. 49-60
Paper i proceeding
2011

Interfacing dynamically typed languages and the why tool: Reasoning about lists and tuples

Claudio Amaral, M. Florido, Patrik Jansson
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, p. 92-93
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Claudio Amaral medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.