BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tov:Jesse_A=

Contributed to:

OOPSLA 20112011
POPL 20112011
ESOP 20102010
Haskell 20082008
POPL 20192019

Wrote 5 papers:

OOPSLA-2011-TovP #formal method
A theory of substructural types and control (JAT, RP), pp. 625–642.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.