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
12 Type-safe Functional Strategies – Ralf Lammel, Joost Visser - 2000
5 Generic type-preserving traversal strategies – Ralf Lämmel - 2001
42 XT: a bundle of program transformation tools – Merijn De Jonge, Eelco Visser, Joost Visser - 2001
52 A Semantics for Imprecise Exceptions – Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson - 1999
49 Single Intermediate Language That Supports Multiple Implementations of Exceptions – Norman Ramsey, Simon Peyton Jones - 2000
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
121 Implementing Type Classes – John Peterson, Mark Jones
67 C--: A Portable Assembly Language That Supports Garbage Collection – Simon Peyton Jones, Norman Ramsey, Fermin Reig - 1999
939 A theory of type polymorphism in programming – Robin Milner - 1978
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
18 Scoped Dynamic Rewrite Rules – Eelco Visser - 2001
73 editors. Language Prototyping: An Algebraic Specification Approach – A van Deursen, J Heering, P Klint
26 The TAMPR program transformation system: simplifying the development of numerical software. Modern software tools for scientific computing – James M Boyle, Terence J Harmer, Victor L Winter - 1997
390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996