Functional polytypic programming -- use and implementation (1997)

by Patrik Jansson
Citations:5 - 2 self

Active Bibliography

175 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
459 Comprehending Monads – Philip Wadler - 1992
571 A block-sorting lossless data compression algorithm – M. Burrows, D. J. Wheeler, M. Burrows, D. J. Wheeler - 1994
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
568 Term Rewriting Systems – J. W. Klop - 1992
639 A Survey of Program Slicing Techniques – F. Tip - 1995