Jon Gary Riecke
Ph.D. Massachusetts Institute of Technology 1991
Dissertation:
The Logic and Expressibility of Simply-Typed Call-by-Value and Lazy Languages
Advisor: Albert Ronald da Silva Meyer
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 61152 for the advisor ID.