Pattern Guards and Transformational Patterns (2000)

by Martin Erwig , Simon Peyton Jones
Citations:7 - 0 self

Documents Related by Co-Citation

17 First Class Patterns – Mark Tullsen - 2000
141 Views: A way for pattern matching to cohabit with data abstraction – Philip Wadler - 1986
6 Views: An Extension to Haskell Pattern Matching. http://haskell.org/development/views.html – F W Burton, E Meijer, P Sansom, S Thompson, P Wadler - 1996
52 A Semantics for Imprecise Exceptions – Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson - 1999
937 Term Rewriting and All That – F Baader, T Nipkow - 1998
66 C--: A Portable Assembly Language That Supports Garbage Collection – Simon Peyton Jones, Norman Ramsey, Fermin Reig - 1999
935 A theory of type polymorphism in programming – Robin Milner - 1978
40 XT: a bundle of program transformation tools – Merijn De Jonge, Eelco Visser, Joost Visser - 2001
48 Single Intermediate Language That Supports Multiple Implementations of Exceptions – Norman Ramsey, Simon Peyton Jones - 2000
12 Type-safe Functional Strategies – Ralf Lammel, Joost Visser - 2000
4 Generic type-preserving traversal strategies – Ralf Lämmel - 2001
120 Implementing Type Classes – John Peterson, Mark Jones
3 First Class Rules and Generic Traversals for Program Transformation Languages – Eelco Dolstra - 2001
32 et al. Report on the programming language Haskell 98. http://haskell.org – S Peyton Jones
16 CodeBoost: A framework for the transformation of C++ programs – Otto Skrove Bagge, Magne Haveraaen, Eelco Visser - 2001
73 editors. Language Prototyping: An Algebraic Specification Approach – A van Deursen, J Heering, P Klint
86 ELAN: A logical framework based on computational systems – Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek - 1997
389 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990