Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jesse A. Tov" ( http://dblp.L3S.de/Authors/Jesse_A._Tov )

  Author page on DBLP  Author page in RDF  Community of Jesse A. Tov in ASPL-2

Publication years (Num. hits)
2008 (2) 2010 (1) 2011 (2)
Publication types (Num. hits)
inproceedings(5)
Venues (Conferences, Journals, ...)
ESOP(1) Haskell(1) ML(1) OOPSLA(1) POPL(1)
Authors
Jesse A. Tov(5) Riccardo Pucella(4) Alec Heller(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jesse A. Tov, Riccardo Pucella Practical affine types. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jesse A. Tov, Riccardo Pucella A theory of substructural types and control. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jesse A. Tov, Riccardo Pucella Stateful Contracts for Affine Types. Search on Bibsonomy ESOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alec Heller, Jesse A. Tov Caml-Shcaml: an ocaml library for unix shell programming. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF shell programming, domain-specific languages, unix, types, objective caml
1Riccardo Pucella, Jesse A. Tov Haskell session types with (almost) no class. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF embedded type systems, phantom types, concurrency, functional programming, haskell, type classes, session types
Displaying result #1 - #5 of 5 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.