|
143
|
A Judgmental Reconstruction of Modal Logic
– Frank Pfenning, Rowan Davies
- 1999
|
|
11
|
2000) A constructive logic for services and information flow in computer networks
– Tijn Borghuis, Loe Feijs
|
|
10
|
A modal language for the safety of mobile values
– Sungwoo Park
- 2006
|
|
88
|
The Proof-Theory and Semantics of Intuitionistic Modal Logic
– Alex K. Simpson
- 1994
|
|
19
|
Modal proofs as distributed programs (Extended Abstract)
– Limin Jia, David Walker
- 2004
|
|
8
|
Type-safe distributed programming with ML5
– Tom Murphy Vii, Karl Crary, Robert Harper
|
|
41
|
A symmetric modal lambda calculus for distributed computing
– Tom Murphy, VII, Karl Crary, Robert Harper, Frank Pfenning
- 2004
|
|
6
|
A third-order representation of the λµ-Calculus
– Andreas Abel
- 2001
|
|
4
|
Classical proofs as programs: How, what and why
– Chetan Murthy
- 1991
|
|
6
|
A survey of distributed collection techniques
– David Plainfossé, Marc Shapiro
- 1994
|
|
10
|
Typing XHTML Web Applications in ML
– Martin Elsman, Ken Friis Larsen
- 2004
|
|
15
|
Secure communications processing for distributed languages
– Martín Abadi, Cédric Fournet, Georges Gonthier
- 1999
|
|
6
|
A separate compilation extension to Standard ML
– David Swasey, Tom Murphy, Vii Karl, Crary Robert Harper
- 2006
|
|
10
|
Java Distributed Computing. O’Reilly
– Jim Farley
- 1998
|
|
11
|
Typed Compilation of Recursive Datatypes
– Joseph C. Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng
- 2003
|
|
3
|
D'Caml: A Native Distributed ML Compiler for Heterogeneous Environment
– Ken Wakita, Takashi Asano, Masataka Sassa
- 1999
|
|
3
|
Automated Theorem Proving
– Frank Pfenning
- 1999
|
|
2
|
The cult of the bound variable: The 9 th annual ICFP programming contest
– Tom Murphy, Vii Daniel, Spoonhower Chris Casinghino, Daniel R. Licata, Karl Crary, Robert Harper
- 2006
|
|
3
|
Grid ML programming with ConCert
– Tom Murphy
|
