Semantic Foundations for Embedding HOL in Nuprl (1996)

Cached

Download Links

by Douglas J. Howe
Venue:ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY
Citations:30 - 2 self

Active Bibliography

5 A Classical Set-Theoretic Model of Polymorphic Extensional Type Theory – Douglas J. Howe - 1997
27 Importing mathematics from hol into Nuprl – Douglas J. Howe - 1996
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
12 Reasoning About Functional Programs in Nuprl – Douglas J. Howe - 1993
734 Notions of Computation and Monads – Eugenio Moggi - 1991
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
1318 Monads for functional programming – Philip Wadler - 1995
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998