A second-order pattern matching algorithm for the cube of typed λ-calculi
- 1 January 1991
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 151-160
- https://doi.org/10.1007/3-540-54345-7_58
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A second-order pattern matching algorithm for the cube of typed λ-calculiLecture Notes in Computer Science, 1991
- Higher-order unification with dependent function typesPublished by Springer Nature ,1989
- The calculus of constructionsInformation and Computation, 1988
- Proving and applying program transformations expressed with second-order patternsActa Informatica, 1978
- A unification algorithm for typed
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965