|
1
|
Parallel Haskell: The vectorisation monad
– Keith Clarke, Jonathan M. D. Hill
- 1993
|
|
3
|
The Vectorisation Monad
– Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat
- 1994
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
27
|
A Functional Theory of Local Names
– Martin Odersky
- 1994
|
|
|
Unifying Theories of Programming with Monads
– Jeremy Gibbons
|
|
|
Constructing Applicative Functors
– Ross Paterson
|
|
5
|
Modular monad transformers
– Mauro Jaskelioff
- 2009
|
|
|
Abstract DRAFT
– unknown authors
|
|
|
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments
– Claus Reinke
- 1998
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
4
|
Coalgebras and Monads in the Semantics of Java
– Bart Jacobs, Erik Poll
- 2002
|
|
39
|
Geometry of Interaction and Linear Combinatory Algebras
– Samson Abramsky, Esfandiar Haghverdi, Philip Scott
- 2000
|
|
1
|
Category Theory and the Simply-Typed lambda-Calculus
– Alfio Martini, Alfio Martini
- 1996
|
|
|
MHDL Language Reference Manual
– Ir-Va- Version, Intermetrics Inc, Intermetrics Inc
- 1996
|
|
|
Final report on the GRASP project
– Simon L. Peyton Jones, Philip Wadler, Cordelia Hall, Kevin Hammond, Will Partain, Simon Peyton Jones, Phil Wadler
- 1993
|
|
|
State in Haskell
– John Launchbury Jl, John Launchbury, Simon L Peyton Jones
- 1996
|
|
24
|
Structuring Depth-First Search Algorithms in Haskell
– David King, John Launchbury
- 1995
|
|
6
|
Lazy Depth-First Search and Linear Graph Algorithms in Haskell
– David King, John Launchbury
- 1994
|
