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

Visit website