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
