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
- Practical Programming with
Substructural Types. Ph.D. dissertation, Northeastern
University, February 2012.
- 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.
Additional Talks
Taking Part-Time Programmers Seriously
(with Elizabeth Tov).
At the Off the Beaten Track,
January 2012.
A Theory of Substructural Types and Control.
At the Harvard University, School of
Engineering & Applied Sciences PL Seminar,
October 2011.
Implicit Arrows in Alms.
At New England Programming
Languages and Systems Symposium (NEPLS), March 2011.
A
Model of Functional Traversal-Based Generic Programming (PDF). On
behalf of Bryan Chadwick and Karl Lieberherr,
at the Symposium in Honor of Mitchell Wand, Northeastern University,
August 2009.
Quantum Computing and
λq (PDF).
At Brandeis University, December 2006.
Other parties hold copyrights to some of these papers. The relevant
copyright notices appear on the individual abstract pages.
Home