Z and HOL (1994)

View PDF

Download Links

by Jonathan P. Bowen , Michael J. C. Gordon , Mike Gordon

Active Bibliography

Z and HOL – Jonathan P. Bowen, Michael J.C. Gordon, Mike Gordon - 1994
Z and HOL – Jonathan Bowen, Mike Gordon
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
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
488 The mathematics of sentence structure – Joachim Lambek, Joachim Lambek
467 Comprehending Monads – Philip Wadler - 1992