Cláudio Amaral

According to our database, Cláudio Amaral authored at least 3 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

PrologCheck - Property-Based Testing in Prolog.

Cláudio Amaral, Mário Florido, Vítor Santos Costa

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2012

Testing type class laws.

Johan Jeuring, Patrik Jansson, Cláudio Amaral

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

2011

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

Cláudio Amaral, Mário Florido, Patrik Jansson

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011