Publications by Jesse Tov

These papers are listed in reverse chronological order. The titles are linked to abstracts, which include links to PDFs and other resources.

Papers

• A Theory of Substructural Types and Control (with Riccardo Pucella). In Proc. 26th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’11), October 2011
• Practical Affine Types (with Riccardo Pucella). In Proc. 38th ACM Symposium on Principles of Programming Languages (POPL’11), January 2011
• Stateful Contracts for Affine Types (with Riccardo Pucella). In Proc. 19th European Symposium on Programming (ESOP’10), March 2010
• Haskell Session Types with (Almost) No Class (with Riccardo Pucella). In Proc. ACM SIGPLAN 2008 Haskell Symposium (Haskell’08), September 2008.
• Caml-Shcaml: An OCaml Library for Unix Shell Programming (with Alec Heller). In Proc. ACM SIGPLAN Workshop on ML (ML’08), September 2008.

Other Talks

A Theory of Substructural Types and Control. Harvard University School of Engineering and Applied Sciences, October 2011.

Implicit Arrows in Alms. Presented at NEPLS, Northeastern University, March 2011.

A Model of Functional Traversal-Based Generic Programming (on behalf of Bryan Chadwick and Karl Lieberherr). Symposium in Honor of Mitchell Wand, Northeastern University, August 2009.

Quantum Computing and λ_q. Brandeis University, December 2006.

Other parties hold copyrights to some of these papers. The relevant copyright notices appear on the individual abstract pages.

---

Home