Links to my research:A list of my Papers.My publications in BibTeX format. The Quipper Programming Language. My Curriculum Vitae. My Thesis. My compiler for the Core Join Calculus. My Finite Lambda Model Applet. My compiler for the Lambda-Mu-Nu Calculus. |