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

Active Bibliography

5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
93 Polytypic programming – Patrik Jansson - 2000
4 The Derivation of a Hierarchy of Algorithms for Pattern Matching on Arrays – Johan Jeuring - 1992
41 Calculate Polytypically! – Lambert Meertens - 1996
19 Monadic Maps and Folds for Arbitrary Datatypes – Maarten Fokkinga - 1994
7 The derivation of on-line algorithms, with an application to finding palindromes – Johan Jeuring - 1994
4 Incremental Algorithms on Lists – Johan Jeuring - 1991
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
8 Programming with Algebras – Richard B. Kieburtz, Jeffrey Lewis - 1995
37 Theories for Algorithm Calculation – Johan Theodoor Jeuring - 1993
34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
Towards a Theory of Moa – Maarten Fokkinga - 2000
Submitted to ICFP’13 Unifying Recursion Schemes – Ralf Hinze, Nicolas Wu, Jeremy Gibbons
22 Datatype Laws without Signatures – Maarten M. Fokkinga - 1996
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999