[logo] Jason Hickey

Home
Info
Students
Teaching
Research
Publications
Student theses
Professional
CV
Softwares
MetaPRL
OMake
Yapper.org
Random

My research interests are focused on design methods for easily building reliable code. My research includes:

OCaml textbook. Draft (Jan 10, 2008), do not redistribute. The final textbook is expected to be published by Cambridge University Press. Instructors: contact me for answers to exercises.



Generated on Tue Mar 24 15:11:02 PDT 2009
Copyright © 2003-2009 Jason Hickey.