|
Demos
- DL Interpreter:
An interpreter for DL, a statically-typed language for transforming
XML documents.
- Sigma:
An interpreter for the Abadi and Cardelli Sigma Calculus with
lambdas.
- Espresso:
A Java 1.0 compliant compiler developed at Boston University.
- Region
Inference with Intersection Types: A complete formalization and
mechanical verification in the generic theorem prover Isabelle.
|
