Claudio Amaral

Showing 3 publications


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
Journal article

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 in proceedings

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 in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:

There are no projects.
There might be more projects where Claudio Amaral participates, but you have to be logged in as a Chalmers employee to see them.