A Typed Pattern Calculus (1996)

by Delia Kesner , Laurence Puel , Val Tannen
Venue:ACM Trans. Program. Lang. Syst
Citations:66 - 15 self

Active Bibliography

Patterns as first class citizens – Barry Jay, Delia Kesner - 2008
6 Final Dialgebras: From Categories to Allegories – Roland Backhouse, Paul Hoogendijk - 1999
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
2 Type-safe Computation with Heterogeneous Data – Freeman Yufei Huang - 2007
Hedge Variables – Ra Alves, Besik Dundua, Mário Florido, Temur Kutsia, K. Bosa, B. Buchberger, R. Hemmecke, T. Jebelean, M. Kauers, T. Kutsia, Ra Alves, Besik Dundua, Mário Florido, Temur Kutsia
1 Higher-Order Patterns – C. Barry Jay - 2004
1 The graph rewriting calculus : confluence and expressiveness – Clara Bertolissi
A ρ-calculus of explicit constraint application – Horatiu Cirstea , Germain Faure , Claude Kirchner - 2004
2 The simply-typed pure pattern type system ensures strong normalization – Benjamin Wack - 2004
3 Translating Combinatory Reduction Systems into the Rewriting Calculus – Clara Bertolissi, Horatiu Cirstea, Claude Kirchner - 2003
1 Confluence of Pattern-Based Calculi – Horatiu Cirstea, Germain Faure, Université Nancy, Université Henri Poincaré
5 The rewriting calculus as a combinatory reduction system – Clara Bertolissi, Claude Kirchner - 2007
2 Towards a sharing strategy for the graph rewriting calculus – P. Baldan, et al. - 2008
3 From functional programs to interaction nets via the Rewriting Calculus – Horatiu Cirstea , Germain Faure , Maribel Fernández , Ian Mackie , François-Régis Sinot - 2006
26 Rewriting calculus with fixpoints: Untyped and first-order systems – Horatiu Cirstea, Luigi Liquori, Benjamin Wack, Nancy Ii, Nancy I - 2003
18 A rewriting calculus for cyclic higher-order term graphs – Paolo Baldan, Clara Bertolissi, Claude Kirchner - 2004
22 Rewriting calculus with(out) types – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2002
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
Chapter 1 Extensible and Modular Generics for the Masses – Bruno C. D. S. Oliveira, Ralf Hinze, Andres Löh