Travelled to:1 × Cyprus
2 × USA
Collaborated with:R.Pucella S.P.Florence S.You R.B.Findler
Talks about:type (4) can (4) no (3) affin (2) substructur (1) contract (1) calculus (1) session (1) practic (1) esterel (1)
Person: Jesse A. Tov
DBLP: Tov:Jesse_A=
Contributed to:
2011
2011
2010
20082019Wrote 5 papers:
- OOPSLA-2011-TovP #formal method
- A theory of substructural types and control (JAT, RP), pp. 625–642.
- POPL-2011-TovP
- Practical affine types (JAT, RP), pp. 447–458.
- ESOP-2010-TovP #contract
- Stateful Contracts for Affine Types (JAT, RP), pp. 550–569.
- Haskell-2008-PucellaT #haskell
- Haskell session types with (almost) no class (RP, JAT), pp. 25–36.
- POPL-2019-FlorenceYTF #calculus
- A calculus for Esterel: if can, can. if no can, no can (SPF, SHY, JAT, RBF), p. 29.