Fast and Loose Reasoning is Morally Correct
Paper i proceeding, 2006
non-strict and strict languages
partial and infinite values
inductive and coinductive types
partial and total languages
lifted types
Equational reasoning
Författare
Nils Anders Danielsson
Chalmers, Data- och informationsteknik, Datavetenskap
John Hughes
Chalmers, Data- och informationsteknik, Datavetenskap
Patrik Jansson
Chalmers, Data- och informationsteknik, Datavetenskap
Jeremy Gibbons
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 2006)
206-217
1-59593-027-2 (ISBN)
Ämneskategorier
Datavetenskap (datalogi)
ISBN
1-59593-027-2