Explaining Type Inference (1995)

Cached

Download Links

by Dominic Duggan , Frederick Bent
Venue:Science of Computer Programming
Citations:53 - 0 self

Active Bibliography

25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
25 Extensions and Applications of Higher-order Unification – Conal M. Elliott - 1990
1 Linear Logic – Frank Pfenning - 1998
5 Gradual Typing with Unification-based Inference – Jeremy G. Siek, Manish Vachharajani - 2008
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
1 Sorted Unification And The Solution Of Semi-Linear Membership Constraints – Tomás Esteban Uribe, As Esteban Uribe - 1992
10 A rewriting semantics for type inference – George Kuan, David Macqueen, Robert Bruce Findler - 2007
Chapter 5 The Inverse Method – unknown authors - 1999
Chapter 7 Equality – unknown authors
.1 Natural Deduction – We Characterize Equality
1 Connectionist Unifying Prolog – Volker Weber - 1993
Efficient Functional Unification and Substitution – Atze Dijkstra, Arie Middelkoop, S. Doaitse Swierstra - 2008
10 Connectionist Unification with a distributed Representation – V. Weber - 1992
External Examiner: – Tony Abou-assaleh, Dr. Vlado Keselj, Dr. Evangelos Milios, Tony Abou-assaleh - 2008
Source-tracking Unification using semi-Dyck labeled reachability – Venkatesh Choppella, Christopher T. Haynes - 2004
3 Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees – Marc Meister, Khalil Djelloul, Thom Frühwirth
5 Complexity of the CHR rational tree equation solver – Marc Meister, Thom Frühwirth - 2006
Author manuscript, published in "Theory and Practice of Logic Programming (2008) 1-60" 1 Theory of Finite or Infinite Trees Revisited – Khalil Djelloul, Thom Fr Ühwirth - 2008