- "SEAM (Simple Extensible Abstract Machine) is a virtual machine architecture and library." http://www.ps.uni-sb.de/seam/ 2 comments programming
Lambda the Ultimate
- Status Report: HOT Pickles, and how to serve them http://www.ps.uni-sb.de/Papers/paper_info.php?label=hotPickles2007 3 comments Functional , Implementation
- HOT Pickles http://www.ps.uni-sb.de/Papers/abstracts/hotPickles2007.html 6 comments General
- The Missing Link - Dynamic Components for ML http://www.ps.uni-sb.de/Papers/abstracts/missing-link.html 1 comment Functional , Implementation , Type Theory
- Run time type checking http://www.ps.uni-sb.de/Papers/abstracts/lazy-types.html 17 comments Implementation
- Constraint Programming http://www.ps.uni-sb.de/~tack/alice-cp-tutorial/ 15 comments Logic/Declarative
- A Concurrent Lambda Calculus with Futures https://www.ps.uni-sb.de/Papers/abstracts/lambdafut.html 0 comments Functional , Lambda Calculus
- Alice Through the Looking Glass http://www.ps.uni-sb.de/alice/ 22 comments General
- Mozart Oz 1.3.0 Released http://www.ps.uni-sb.de/pipermail/mozart-hackers/2004/001608.html 5 comments general
- Open Programming Services for Virtual Machines: The Design of Mozart and SEAM http://www.ps.uni-sb.de/Papers/abstracts/vmservices.html 2 comments implementation
- Alice http://www.ps.uni-sb.de/alice/ 22 comments functional
- Alice: ML + OZ http://www.ps.uni-sb.de/alice/ 0 comments general
- Continuations Made Simple and Illustrated http://www.ps.uni-sb.de/~duchier/python/continuations.html 0 comments general
- Stockhausen http://www.ps.uni-sb.de/stockhausen/operette1/ 0 comments functional