Full Abstraction by Translation (1996)

by Guy Mccusker
Venue:Proc., 3rd Workshop in Theory and Formal Methods
Citations:5 - 0 self

Documents Related by Co-Citation

445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
430 Introduction to higher order categorical logic Cambridge – J Lambek, P J Scott - 1986
396 LCF considered as a programming language – G D Plotkin - 1977
3242 Communication and Concurrency – R Milner - 1989
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
721 Types and programming languages – Benjamin C Pierce - 2002
49 and Full Abstraction for a Functional Metalanguage with Recursive Types. Distinguished Dissertations – G Games MCCUSKER - 1998
243 The Formal Semantics of Programming Languages – G Winskel - 1993
318 Functions as processes – Robin Milner - 1992