Type-safe Functional Strategies (2000)

by Ralf Lammel , Joost Visser
Venue:In Draft proc. of SFP'00, St
Citations:12 - 6 self

Documents Related by Co-Citation

178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
110 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
29 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
26 Language Independent Traversals for Program Transformation – Eelco Visser - 2000
101 An Overview of ELAN – Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau, Christophe Ringeissen - 1998
42 Rewriting With Strategies In ELAN: A Functional Semantics – Peter Borovansky, Claude Kirchner, Hélène Kirchner, H El, Ene Kirchner, Christophe Ringeissen, Communicated M. Sato, Y. Toyama - 1999
51 A Higher-Order Implementation of Rewriting – Lawrence Paulson - 1983
59 Term Rewriting With Traversal Functions – M.G.J. van den Brand, P. Klint, J. J. Vinju - 2001
5 Generic type-preserving traversal strategies – Ralf Lämmel - 2001
1312 Monads for functional programming – Philip Wadler - 1995
26 Typed Generic Traversal With Term Rewriting Strategies – Ralf Lämmel - 2002
99 Dynamic Typing in Polymorphic Languages – Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy - 1995
7 Introduction to the rewriting calculus. Rapport de recherche 3818 – H Cirstea, C Kirchner - 1999
25 A Core Language for Rewriting – Eelco Visser, Zine-el-abidine Benaissa - 1998
32 The Rho Cube – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2001
939 A theory of type polymorphism in programming – Robin Milner - 1978
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
326 Theorems for free! – Philip Wadler - 1989
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991