|
138
|
Type classes with functional dependencies
– Mark P. Jones
- 2000
|
|
252
|
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
– Koen Claessen, John Hughes
- 2000
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
62
|
A Polymorphic Type System for Extensible Records and Variants
– Benedict R. Gaster, Mark P. Jones
- 1996
|
|
84
|
Type Classes: An Exploration of the Design Space
– Simon Peyton Jones, Mark Jones, Erik Meijer
- 1997
|
|
52
|
A theory of overloading
– Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
- 2002
|
|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
91
|
Putting Type Annotations to Work
– Martin Odersky, Konstantin Läufer
- 1996
|
|
125
|
Qualified types: theory and practice
– M P Jones
- 1992
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
16
|
Named Instances for Haskell Type Classes
– Wolfram Kahl, et al.
|
|
88
|
Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
– Simon Peyton Jones
- 2001
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
196
|
Functional Data Structures
– Chris Okasaki
- 1996
|
|
4
|
Automated Benchmarking of Functional Data Structures
– Graeme E. Moss, Colin Runciman
- 1999
|
|
3
|
HUnit 1.0 User's Guide
– Dean Herington
- 2002
|
|
2
|
Automated evaluation of cots components
– C Mueller, B Korel
- 2000
|
|
16
|
Efficient functional implementation of FIFO queues
– F Warren Burton
- 1982
|
|
50
|
Automatically Checking an Implementation against Its Formal Specification
– Sergio Antoy, Dick Hamlet
- 2000
|
