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

View PDF

Download Links

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

Active Bibliography

467 Comprehending Monads – Philip Wadler - 1992
1353 Monads for functional programming – Philip Wadler - 1995
346 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
308 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
339 Theorems for free! – Philip Wadler - 1989
103 How to Declare an Imperative – Philip Wadler - 1995
290 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
183 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
74 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995