Studying the ML Module System in HOL (1994)

by Elsa Gunter , Savi Maharaj
Citations:5 - 2 self

Active Bibliography

576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1353 Monads for functional programming – Philip Wadler - 1995
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1165 Proof-Carrying Code – George C. Necula - 1997
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
467 Comprehending Monads – Philip Wadler - 1992
423 Introduction to the ISO specification language Lotos – Tommaso Bolognesi - 1988