@TechReport{ murphy02wizard,
    author = "Tom Murphy~VII",
    title = "The Wizard of TILT: Efficient, Convenient and Abstract Type Representations",
    institution = "School of Computer Science, Carnegie Mellon University",
    year = "2002",
    number = "CMU-CS-02-120",
    month = mar,
    url = "http://www.cs.cmu.edu/~tom7/papers/",
    urlps = "http://www.cs.cmu.edu/~tom7/papers/wizard.ps.gz",
    urlpdf = "http://www.cs.cmu.edu/~tom7/papers/wizard.pdf",
    urlabstract = "http://www.cs.cmu.edu/~tom7/papers/wizard.html",
    keywords = "typed intermediate languages, Standard ML, hash consing, ADT, datatype, views, types"
}