|
5
|
Machine-Assisted Theorem-Proving for Software Engineering
– Andrew Martin
- 1994
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
|
Unifying Theories of Programming with Monads
– Jeremy Gibbons
|
|
3
|
Improving Angel's Parallel Operator: Gumtree's Approach
– Andrew Martin, Andrew Martin, Ray Nickson, Ray Nickson, Mark Utting, Mark Utting
- 1997
|
|
7
|
Monads and Modularity
– Christoph Lüth, Neil Ghani
|
|
41
|
Typed Combinators for Generic Traversal
– Ralf Lämmel, Joost Visser
- 2002
|
|
8
|
Programming with Algebras
– Richard B. Kieburtz, Jeffrey Lewis
- 1995
|
|
9
|
Promotional Transformation on Monadic Programs
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1995
|
|
|
1st Year Transfer Dissertation
– Joel Wright
- 2003
|
|
3
|
Embracing Windows
– Colin J. Taylor
- 1996
|
|
16
|
Embedding prolog in haskell
– Silvija Seres, Michael Spivey
- 1999
|
|
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
|
|
171
|
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
20
|
Algebra of logic programming
– Silvija Seres
- 1999
|
|
64
|
Composing Monads
– Mark P. Jones, Luc Duponcheel
- 1993
|
|
1
|
A Programming Language for Probabilistic Computation
– Sungwoo Park, Geoffrey Gordon, Robert Harper
- 2005
|
