TIP in Haskell - another exercise in functional programming (1991)

Cached

Download Links

by Colin Runciman
Venue:Proc. Glasgow Workshop on Functional Programming 1991
Citations:4 - 1 self

Active Bibliography

2 Graphical application and visualization of lazy functional computation – Sandra Periam Foubister - 1995
96 How to Declare an Imperative – Philip Wadler - 1995
69 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
49 Heap Profiling of Lazy Functional Programs – Colin Runciman, David Wakeling - 1992
3 Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
455 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
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
8 Programming with Algebras – Richard B. Kieburtz, Jeffrey Lewis - 1995
20 Algebra of logic programming – Silvija Seres - 1999
Unifying Theories of Programming with Monads – Jeremy Gibbons
52 A Semantics for Imprecise Exceptions – Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson - 1999