Compilation of non-linear, second order patterns on S-expressions (1990)

Cached

Download Links

by Christian Queinnec
Venue:In 2nd Int. Symp. on Programming Language Implementation and Logic Programming, LNCS 456
Citations:8 - 1 self

Documents Related by Co-Citation

141 Views: A way for pattern matching to cohabit with data abstraction – Philip Wadler - 1986
13 Statically Checkable Pattern Abstractions – Manuel Fähndrich, John Boyland - 1997
9 Context Patterns in Haskell – Markus Mohnen - 1996
5 Tree Transformations, Functional Languages, and Attribute Grammars – R Wilhelm - 1990
3 Pattern Matching in a Functional Transformational Language using Treeparsing – C Ferdinand - 1990
3 Decidable Higher-order Uni��cation Problems – C Prehofer - 1994
3 Higher order unication revisited: Complete sets of tranformations – W Snyder, J Gallier - 1989
2 A Combinatory Approach to Higher-Order EUni��cation – D J Dougherty, P Johann - 1995
2 The Undecidability of the Second-Order Uni��cation Problem – W D Goldfarb - 1981
2 A Functional Language for the Speci��cation of Complex Tree Transformations – R Heckmann - 1988
2 A Novel Representation of Lists and Its Apllication to the Function ireversej – R J M Huges - 1986
169 A unification algorithm for typed -calculus – G Huet - 1975
11 Report on the programming Language Haskell - A non-strict, Purely Functional Language - version 1.0 – al - 1990
283 The Lambda Calculus: Its Syntax and Semantics. Volume 103 – H P Barendregt - 1984
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
146 Proving and applying program transformations expressed with second-order patterns – G Huet, B Lang - 1978
12 Active Patterns – Martin Erwig - 1996
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
34 Union Types for Semistructured Data – Peter Buneman, Benjamin Pierce - 1999