15-836 Substructural Logics
Resources

MPass

A small message-passing language based on linear logic

• Download mpass-v0.7.zip (bug fix)
• Download mpass-v0.6.zip (bug fixes)
• Download mpass-v0.5.zip (added observation depth with --depth d)
• Download mpass-v0.4.zip (bug fixes)
• Download mpass-v0.3.zip (added subtyping with flag -s)
• Download mpass-v0.2.zip
• Requires SML/NJ or mlton
• The README file for MPass mpass.txt
• LaTeX syntax highlighting for the listings package mpass.sty
• Emacs syntax highlighting mpass.el (tested in Aquamacs)

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