Testing type class laws

J.T. Jeuring, P. Jansson, C. Amaral

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of Haskell 2012: the 5th ACM SIGPLAN symposium on Haskell
Publisher	Association for Computing Machinery
Pages	49-60
Publication status	Published - 2012

testingclasslaws

Cite this

@inproceedings{61c046afa54c47d591bfcced658a6999,

title = "Testing type class laws",

author = "J.T. Jeuring and P. Jansson and C. Amaral",

note = "testingclasslaws",

year = "2012",

language = "English",

pages = "49--60",

booktitle = "Proceedings of Haskell 2012: the 5th ACM SIGPLAN symposium on Haskell",

publisher = "Association for Computing Machinery",

address = "United States",

}