Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "APPSEM"( http://dblp.L3S.de/Venues/APPSEM )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ac

Publication years (Num. hits)
2000 (9) 2002 (1)
Publication types (Num. hits)
inproceedings(9) proceedings(1)
Venues (Conferences, Journals, ...)
APPSEM(10)
Authors
Gilles Barthe(2) Peter Dybjer(2) Abbas Edalat(1) Andrew M. Pitts(1) Andrzej Filinski(1) Cédric Fournet(1) Didier Rémy(1) Eugenio Moggi(1) Georges Gonthier(1) João Saraiva(1) John Hughes 0001(1) Luís Pinto 0001(1) Martin Odersky(1) Nick Benton(1) Pierre-Louis Curien(1) Reinhold Heckmann(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Gilles Barthe, Peter Dybjer, Luís Pinto 0001, João Saraiva (eds.) Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures Search on Bibsonomy APPSEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Martin Odersky An Introduction to Functional Nets. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Abbas Edalat, Reinhold Heckmann Computing with Real Numbers. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Thierry Coquand An Introduction to Dependent Type Theory. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Cédric Fournet, Georges Gonthier The Join Calculus: A Language for Distributed Mobile Programming. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Didier Rémy Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Pierre-Louis Curien Abstract Machines, Control, and Sequents. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Nick Benton, John Hughes 0001, Eugenio Moggi Monads and Effects. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Peter Dybjer, Andrzej Filinski Normalization and Partial Evaluation. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Andrew M. Pitts Operational Semantics and Program Equivalence. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license