15-836 Substructural Logics
Resources
MPass
A small message-passing language based on linear logic
SAX
A small asynchronous message-passing language based on linear logic
- Download sax-v0.3.zip (bug fixes)
- Download sax-v0.2.zip (bug fix)
- Download sax-v0.1.zip
- Requires SML/NJ or mlton
- The README file for SAX sax.txt
- Syntax highlighting for MPass works for SAX
- LaTeX syntax highlighting for the
listings package mpass.sty
- Emacs syntax highlighting for mpass.el (tested in Aquamacs)
[ Home
| Schedule
| Assignments
| Resources
]
fp@cs
Frank Pfenning
|