Related Projects

  Home TAL Overview Papers Software Members Related Projects

cyclone2.gif (7839 bytes) Luke Hornof and Trevor Jim have a system for doing run-time code generation in TAL. Check out Cyclone for details.

Other related projects include:

Compilers

The Church Project
Flint & SML/NJ
ML-Kit with Regions
O'Caml
TILT

Networking

PLAN
Tacoma

Security

Efficient Code Certification
Java
Proof-Carrying Code