QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Generic unification via two-level types and parameterized modules
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
A formal specification of the Haskell 98 module system
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Refactoring functional programs
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Dynamic slicing based on redex trails
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Forward slicing of functional logic programs by partial evaluation
Theory and Practice of Logic Programming
Dynamic slicing of lazy functional programs based on redex trails
Higher-Order and Symbolic Computation
Static contract checking for Haskell
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
HasCasl: Integrated higher-order specification and program development
Theoretical Computer Science
Clone detection and elimination for Haskell
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
An expression processor: a case study in refactoring haskell programs
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
Refactoring functional programs
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
ParaForming: forming parallel haskell programs using novel refactoring techniques
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
| Hi-index | 0.00 |