Modelling Deterministic Concurrent I/O

Cached

Download Links

by Malcolm Dowse
Citations:3 - 0 self

Active Bibliography

1318 Monads for functional programming – Philip Wadler - 1995
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
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
1111 Proof-Carrying Code – George C. Necula - 1997
459 Comprehending Monads – Philip Wadler - 1992
450 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004