Jesse A. Tov

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 1

Top Topics

Formal Language

Multiresolution

Propositional Calculus

Algebraic Structure

Top Venues

Proc. ACM Program. Lang.

Publications

Spencer P. Florence, Shu-Hung You, Jesse A. Tov, Robert Bruce Findler
A calculus for Esterel: if can, can. if no can, no can. Proc. ACM Program. Lang. 3 (POPL) (2019)
Edward Gan, Jesse A. Tov, Greg Morrisett
Type Classes for Lightweight Substructural Types. LINEARITY (2014)
Jesse A. Tov, Riccardo Pucella
A theory of substructural types and control. OOPSLA (2011)
Jesse A. Tov, Riccardo Pucella
Practical affine types. POPL (2011)
Jesse A. Tov, Riccardo Pucella
Stateful Contracts for Affine Types. ESOP (2010)
Alec Heller, Jesse A. Tov
Caml-Shcaml: an ocaml library for unix shell programming. ML (2008)
Riccardo Pucella, Jesse A. Tov
Haskell session types with (almost) no class. Haskell (2008)