Unification: A multidisciplinary survey (1989)

by Kevin Knight
Venue:ACM Computing Surveys
Citations:103 - 0 self

Documents Related by Co-Citation

336 An Efficient Unification Algorithm – Alberto Martelli, Ugo Montanari - 1982
945 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
147 Linear unification – M Paterson, N Wegman - 1978
78 Basic polymorphic typechecking – Luca Cardelli - 1987
40 A maximum-flow approach to anomaly isolation in unification-based incremental type inference – G F Johnson, J A Walz - 1986
939 A theory of type polymorphism in programming – Robin Milner - 1978
363 Towards a theory of type structure – J C Reynolds - 1974
80 Partial polymorphic type inference and higher-order unification – Frank Pfenning - 1988
113 Recherches sur la Th̩orie de la D̩monstration РJ Herbrand - 1930
31 O.: Categories, relations and dynamic programming – de Moor - 1992
1312 Monads for functional programming – Philip Wadler - 1995
4 Uni cation: a multidisciplinary survey – Kevin Knight - 1989
127 A Logical Semantics for Feature Structures – Robert T. Kasper, William C. Rounds - 1986
80 Language as a Cognitive Process – T Winograd - 1987
506 Lexical-Functional Grammar: A Formal System for Grammatical Representation – Ronald M. Kaplan, Joan Bresnan - 1995
94 Type assignment in programming languages – L Damas - 1985
109 Unification theory – J Siekmann - 1989
43 The Semantics of Grammar Formalisms Seen as Computer Languages – Fernando C. N. Pereira, Stuart M. Shieber - 1984
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990