Theses most similar to those of author Ucko, Aaron Mark, 1977-

Predicate dispatching in the Common Lisp Object (2001) read it

Starkiller : a static type inferencer and compiler for Python

Salib, Michael, 1978- (2004)

  • Advisor: Jonathan Bachrach
  • Department of Electrical Engineering and Computer Science
Read it

Embedding scheme in Java

Carlstrom, Brian D. (Brian David), 1973- (2000)

  • Advisor: Olin Shivers
  • Department of Electrical Engineering and Computer Science
Read it

Practical partial evaluation

Surati, Rajeev J. (Rajeev Jayantilal) (1995)

  • Advisor: Harold Abelson
  • Department of Electrical Engineering and Computer Science
Read it

Static conformance checking for matrices

Seto, Roy (1994)

  • Advisor: Raymie Stata
  • Department of Electrical Engineering and Computer Science
Read it

Programming with keywords

Little, Greg (Danny Greg) (2007)

  • Advisor: Robert C. Miller
  • Department of Electrical Engineering and Computer Science
Read it

A comparison of designs for extensible and extension-oriented compilers

Clements, Austin T. (2008)

  • Advisor: M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it

Abstraction in technical computing

Bezanson, Jeffrey Werner (2015)

  • Advisor: Alan Edelman
  • Department of Electrical Engineering and Computer Science
Read it

Compilation using correct-by-construction program synthesis

Pit-Claudel, Clément (2016)

  • Advisor: Adam Chlipala
  • Department of Electrical Engineering and Computer Science
Read it

An extension-oriented compiler

Cox, Russell Stensby (2008)

  • Advisors: Eddie Kohler; M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it

Hybrid eager and lazy evaluation for efficient compilation of Haskell

Maessen, Jan-Willem (2002)

  • Advisor: Arvind
  • Department of Electrical Engineering and Computer Science
Read it