Haskell session types with (almost) no class. - Riccardo Pucella; Jesse A. Tov (Haskell, 2008)

Caml-Shcaml: an ocaml library for unix shell programming. - Alec Heller; Jesse A. Tov (ML, 2008)

Stateful Contracts for Affine Types. - Jesse A. Tov; Riccardo Pucella (ESOP, 2010)

A theory of substructural types and control. - Jesse A. Tov; Riccardo Pucella (OOPSLA, 2011)

Practical affine types. - Jesse A. Tov; Riccardo Pucella (POPL, 2011)

Type Classes for Lightweight Substructural Types. - Edward Gan; Jesse A. Tov; Greg Morrisett (LINEARITY, 2014)

A calculus for Esterel: if can, can. if no can, no can. - Spencer P. Florence; Shu-Hung You; Jesse A. Tov; Robert Bruce Findler (Proc. ACM Program. Lang., 2019)