Verifying the Unification Algorithm in LCF (1985)

View PDF

Download Links

by Lawrence C. Paulson
Venue:Science of Computer Programming
Citations:10 - 0 self

Active Bibliography

1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
571 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
384 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
360 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
358 How to make ad-hoc polymorphism less ad hoc – P Wadler, S Blott - 1989
347 An Efficient Unification Algorithm – Alberto Martelli, Ugo Montanari - 1982