Models of Sharing Graphs: A Categorical Semantics of let and letrec (1997)

by Masahito Hasegawa
Citations:63 - 9 self

Active Bibliography

816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1318 Monads for functional programming – Philip Wadler - 1995
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
459 Comprehending Monads – Philip Wadler - 1992
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
734 Notions of Computation and Monads – Eugenio Moggi - 1991
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998