Jesse A. Tov

According to our database, Jesse A. Tov authored at least 7 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

2014

Type Classes for Lightweight Substructural Types.

Edward Gan, Jesse A. Tov, Greg Morrisett

Proceedings of the Proceedings Third International Workshop on Linearity, 2014

2011

Practical affine types.

Jesse A. Tov, Riccardo Pucella

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

A theory of substructural types and control.

Jesse A. Tov, Riccardo Pucella

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Stateful Contracts for Affine Types.

Jesse A. Tov, Riccardo Pucella

Proceedings of the Programming Languages and Systems, 2010

2008

Caml-Shcaml: an ocaml library for unix shell programming.

Alec Heller, Jesse A. Tov

Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

Haskell session types with (almost) no class.

Riccardo Pucella, Jesse A. Tov

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008