Active Bibliography

767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
459 Comprehending Monads – Philip Wadler - 1992
406 Deforestation: transforming programs to eliminate trees – P Wadler - 1988
347 How to make ad-hoc polymorphism less adhoc – Philip Wadler, Stephen Blott - 1989
333 Theorems for free! – Philip Wadler - 1989
317 An open graph visualization system and its applications to software engineering – Emden R. Gansner, Stephen C. North - 2000
315 D.: Simple fast algorithms for the editing distance between trees and related problems – Kaizhong Zhang, Dennis Shasha - 1989
283 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
11 Compiling Lazy Pattern Matching – Luc Maranget - 1992