Home >
domains >
www.cs.cornell.edu
TILT
TIL-Two compiler; goal: make compiler for ML-family languages (SML'97, Caml Special Light, KML) that uses types throughout compiling to emit better code without losing safety or correctness; joint effort with Carnegie Mellon. Descriptions, papers, people, links. Cornell.
|
Keyword |
Results for this URL |
Total searches |