|
138
|
Type classes with functional dependencies
– Mark P. Jones
- 2000
|
|
54
|
WASH/CGI: Server-side Web Scripting with Sessions and Typed, Compositional Forms
– Peter Thiemann
- 2002
|
|
580
|
Types and Programming Languages
– B C Pierce
- 2002
|
|
4648
|
Design Patterns: Elements of Reusable Object-Oriented Software
– Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides
- 1994
|
|
3
|
authoring system in Haskell
– Web
- 2001
|
|
13
|
A Functional Notation for Functional Dependencies
– Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
- 2001
|
|
14
|
Type Classes and Constraint Handling Rules
– Kevin Glynn, Peter J. Stuckey, Martin Sulzmann
- 2000
|
|
15
|
Functional logic overloading
– Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
- 2002
|
|
4
|
Higher-order uni and matching
– Gilles Dowek
- 2001
|
|
3
|
A typed representation for HTML and XML
– Peter Thiemann
- 2001
|
|
134
|
A unified computation model for functional and logic programming
– Michael Hanus
- 1997
|
|
114
|
Implementing Type Classes
– John Peterson, Mark Jones
|
|
64
|
98: A Non-strict, Purely Functional Language
– Haskell
- 1999
|
|
317
|
The Integration of Functions into Logic Programming: From Theory to Practice
– Michael Hanus
- 1994
|
|
102
|
Polytypic Values Possess Polykinded Types
– Ralf Hinze
- 2000
|
|
81
|
Type inference with constrained types. Theory and Practice of Object Systems
– M Odersky, M Sulzmann, M Wehr
- 1999
|
|
173
|
Derivatives of regular expressions
– Janusz A. Brzozowski
- 1964
|
|
2
|
Co: The Scala Language Specification (version 2.0). http://scala.epfl.ch/docu/files/ScalaReference.pdf
– M Odersky
- 2006
|
|
1
|
The Coq proof assistant reference manual (version 8.0). http://coq.inria.fr
– T C D T L
- 2004
|
