Polytypic Pattern Matching (1995)

Cached

Download Links

by Johan Jeuring
Venue:In Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture
Citations:28 - 8 self

Documents Related by Co-Citation

299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
105 Data structures and program transformation – G Malcolm - 1990
41 Calculate Polytypically! – Lambert Meertens - 1996
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
93 Polytypic programming – Patrik Jansson - 2000
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
18 Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations – Richard Bird - 1996
215 An introduction to the theory of lists – R S Bird - 1987
60 A Semantics for Shape – C. Barry Jay - 1995
24 Automatic generation and use of abstract structure operators – T Sheard - 1991
84 Algebraic Data Types and Program Transformation – G Malcolm - 1990
19 Polytypic unification – P Jansson, J Jeuring - 1998
97 and Order in Algorithmics – Law - 1992
15 Analytical and Structural Polymorphism Expressed Using Patterns Over Types – Fritz Ruehr - 1992
35 Homomorphisms and promotability – G Malcolm - 1989
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
31 Category Theoretic Approach to Data Types – T Hagino - 1987
26 Monadic Maps and Folds for Arbitrary Datatypes. Memoranda Informatica 94-28 – M M Fokkinga - 1994
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993