Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Paul Govereau" ( http://dblp.L3S.de/Authors/Paul_Govereau )

  Author page on DBLP  Author page in RDF  Community of Paul Govereau in ASPL-2

Publication years (Num. hits)
2005 (1) 2008 (1) 2009 (1) 2011 (1)
Publication types (Num. hits)
inproceedings(4)
Venues (Conferences, Journals, ...)
ICFP(2) PLDI(1) TLDI(1)
Authors
Paul Govereau(4) Greg Morrisett(3) Aleksandar Nanevski(2) Avraham Shinnar(1) Jean-Baptiste Tristan(1) Kathleen Fisher(1) Lars Birkedal(1) Norman Ramsey(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 9 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett Evaluating value-graph translation validation for LLVM. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aleksandar Nanevski, Paul Govereau, Greg Morrisett Towards type-theoretic semantics for transactional concurrency. Search on Bibsonomy TLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF type theory, monads, hoare logic, separation logic
1Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal Ynot: dependent types for imperative programs. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type theory, monads, Hoare logic, separation logic
1Norman Ramsey, Kathleen Fisher, Paul Govereau An expressive language of signatures. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF signature manipulation, interfaces, signatures, standard ML, objective Caml, programming in the large
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.