BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
Collaborated with:
M.Florido V.S.Costa J.Jeuring P.Jansson
Talks about:
prolog (2) test (2) properti (1) class (1) check (1) type (1) base (1) law (1)

Person: Cláudio Amaral

DBLP DBLP: Amaral:Cl=aacute=udio

Contributed to:

FLOPS 20142014
Haskell 20122012

Wrote 2 papers:

FLOPS-2014-AmaralFC #named #prolog #testing
PrologCheck — Property-Based Testing in Prolog (CA, MF, VSC), pp. 1–17.
Haskell-2012-JeuringJA #testing
Testing type class laws (JJ, PJ, CA), pp. 49–60.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.