|
17
|
Partial Evaluation for Dictionary-free Overloading
– Mark P. Jones
- 1993
|
|
|
Abstract Coherence
– Mark P. Jones
|
|
10
|
ML typing, explicit polymorphism and qualified types
– Mark P. Jones
- 1994
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
33
|
Dictionary-free Overloading by Partial Evaluation
– Mark P. Jones
|
|
82
|
Coherence for Qualified Types
– Mark P. Jones
- 1993
|
|
64
|
Composing Monads
– Mark P. Jones, Luc Duponcheel
- 1993
|
|
20
|
Algebra of logic programming
– Silvija Seres
- 1999
|
|
114
|
Implementing Type Classes
– John Peterson, Mark Jones
|
|
111
|
Type classes in Haskell
– Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler
- 1996
|
|
1
|
A Monadic Interpretation of Tactics
– Andrew Martin, Jeremy Gibbons
- 2002
|
|
|
1st Year Transfer Dissertation
– Joel Wright
- 2003
|
|
3
|
Embracing Windows
– Colin J. Taylor
- 1996
|
|
16
|
Embedding prolog in haskell
– Silvija Seres, Michael Spivey
- 1999
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
45
|
A Semantics for Imprecise Exceptions
– Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson
- 1999
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
18
|
Lightweight GUIs for Functional Programming
– Ton Vullinghs, Daniel Tuijnman, Wolfram Schulte
- 1995
|
|
1
|
Parallel Haskell: The vectorisation monad
– Keith Clarke, Jonathan M. D. Hill
- 1993
|
