Functional polytypic programming -- use and implementation (1997)

by Patrik Jansson
Citations:5 - 2 self

Documents Related by Co-Citation

175 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
479 Categories for the working mathematician – S MacLane - 1971
179 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
397 Category Theory for Computing Science – M Barr, C Wells - 1990
5418 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
356 Proofs and Types – J Y Girard, P Taylor, Y Lafont - 1989
95 Algorithmics –towards programming as a mathematical activity – L Meertens - 1986
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
41 Calculate Polytypically! – Lambert Meertens - 1996