|
|
unknown title
– unknown authors
- 1997
|
|
8
|
Type Inference for Overloading without Restrictions, Declarations or Annotations
– Carlos Camarao, Lucília Figueiredo, Belo Horizonte, Ouro Preto
- 1999
|
|
46
|
First-class Polymorphism with Type Inference
– Mark P. Jones
|
|
11
|
The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell
– Einar W. Karlsen
- 1997
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
|
Domain-Specific Embedded Languages
– Kevin Backhouse
- 2002
|
|
|
Constraints for Type Class Extensions
– Gerrit Van Den Geest
- 2007
|
|
52
|
A theory of overloading
– Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
- 2002
|
|
14
|
An Overview of Edison
– Chris Okasaki
- 2000
|
|
4
|
Type Classes With More Higher-Order Polymorphism
– Matthias Neubauer, Peter Thiemann
- 2002
|
|
15
|
Functional logic overloading
– Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
- 2002
|
|
2
|
Objects and Subtyping in a Functional Perspective
– Martin Odersky
- 1992
|
|
4
|
Polymorphic Equality - No Tags Required
– Martin Elsman
- 1989
|
|
4
|
Executable Axiomatic Specification Using Functional Language - Case Study: Ontology for a Spatio-Temporal Database
– Andre U. Frank, Damir Medak, Deptartment Of Geoinformation
- 1997
|
|
|
General Terms Languages, theory
– unknown authors
|
|
1
|
Astro-Gofer: Parallel Functional Programming with Co-ordinating Processes
– Andrew Douglas, Niklas Rojemo, Colin Runciman, Alan Wood
- 1996
|
|
7
|
Hugs 1.4: The Nottingham and Yale Haskell User's System
– Mark P. Jones, Nottingham Ng Rd, John C. Peterson
- 1997
|
|
8
|
Putting the Spine back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes
– Alastair Reid
- 1998
|
|
2
|
Formalising and Reasoning about Fudgets
– Colin J. Taylor
- 1998
|
