General Terms

Cached

Download Links

by Pericles S. Kariotis , Adam M. Procter , William L. Harrison

Active Bibliography

467 Comprehending Monads – Philip Wadler - 1992
346 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
339 Theorems for free! – Philip Wadler - 1989
308 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
290 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
2 Asynchronous exceptions as an effect – William L. Harrison, Gerard Allwein, Andy Gill, Adam Procter - 2008
154 Building Domain-Specific Embedded Languages – Paul Hudak - 1996
221 An introduction to the theory of lists – Richard S. Bird
136 Modular domain specific languages and tools – P Hudak - 1998