|
2
|
Graphical application and visualization of lazy functional computation
– Sandra Periam Foubister
- 1995
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
49
|
Heap Profiling of Lazy Functional Programs
– Colin Runciman, David Wakeling
- 1993
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
3
|
Type-Secure Meta-Programming
– Christopher Bentley Dornan
- 1998
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
7
|
Constructing Functional Programs for Grammar Analysis Problems
– Johan Jeuring, Doaitse Swierstra
- 1995
|
|
|
A Partial Rehabilitation of Side-Effecting I/O: Non-Determinism in Non-Strict Functional Languages
– Manfred Schmidt-Schauß, Fachbereich Informatik, Johann Wolfgang Goethe-universitat
- 1996
|
|
20
|
Correctness of Monadic State: An Imperative Call-by-Need Calculus
– Zena M. Ariola, Amr Sabry
- 1998
|
|
1
|
Lazy Imperative Languages - Report on a Project to Examine the Use of Lazy Evaluation in Imperative Languages
– Randy Hertzman
- 1995
|
|
6
|
Computing Science
– Ph Thesis, Patrick M. Sansom, Patrick M. Sansom
- 1994
|
|
|
Execution Profiling for . . .
– Patrick M. Sansom
- 1994
|
|
1
|
A Monadic Interpretation of Tactics
– Andrew Martin, Jeremy Gibbons
- 2002
|
|
2
|
From Interpreter to Compiler using Staging and Monads
– Tim Sheard, Zine-el-abidine Benaissa
- 1998
|
|
3
|
Inductive Programming
– Richard B. Kieburtz
- 1993
|
|
|
1st Year Transfer Dissertation
– Joel Wright
- 2003
|
|
3
|
Embracing Windows
– Colin J. Taylor
- 1996
|
|
8
|
Programming with Algebras
– Richard B. Kieburtz, Jeffrey Lewis
- 1995
|
