Implementing the TILT internal language (2000)

by Leaf Petersen, Perry Cheng, Robert Harper, Chris Stone
Venue:Carnegie Mellon University