Feat: Functional Enumeration of Algebraic Types
Paper i proceeding, 2012
Property-based testing
Memoisation
Enumeration
Författare
Jonas Almström Duregård
Chalmers, Data- och informationsteknik, Programvaruteknik
Patrik Jansson
Chalmers, Data- och informationsteknik, Programvaruteknik
Meng Wang
Chalmers, Data- och informationsteknik, Programvaruteknik
2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012
61-72
978-145031574-6 (ISBN)
Styrkeområden
Informations- och kommunikationsteknik
Fundament
Grundläggande vetenskaper
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
Diskret matematik
DOI
10.1145/2430532.2364515
ISBN
978-145031574-6