Feat: Functional Enumeration of Algebraic Types
Paper in proceeding, 2012
Property-based testing
Memoisation
Enumeration
Author
Jonas Almström Duregård
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Patrik Jansson
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Meng Wang
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012
61-72
978-145031574-6 (ISBN)
Areas of Advance
Information and Communication Technology
Roots
Basic sciences
Subject Categories
Software Engineering
Computer Science
Discrete Mathematics
DOI
10.1145/2430532.2364515
ISBN
978-145031574-6