Publications

Last Updated March 29, 2000

Papers

An Implicitly-Typed Deadlock-Free Process Calculus
- Naoki Kobayashi, Shin Saito and Eijiro Sumii
- See here.

An Implicitly-Typed Deadlock-Free Process Calculus
- Shin Saito
- PPL2000 Short Presentation [.ppt file] [.jpg files]

Type Checker for Implicitly-Typed Deadlock-Free Process Calculus
- Shin Saito
- Source code for SML/NJ

Shin SAITO: shin@yl.is.s.u-tokyo.ac.jp