|
|
Venues (Conferences, Journals, ...)
|
|
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 |
1 | Aaron Stump, Hongwei Xi (eds.) |
Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006 |
PLPV@IJCAR |
2007 |
DBLP BibTeX RDF |
|
1 | Adam Chlipala |
Position Paper: Thoughts on Programming with Proof Assistants. |
PLPV@IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | James L. Caldwell, Josef Pohl |
Constructive Membership Predicates as Index Types. |
PLPV@IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Stump, Hongwei Xi |
Preface. |
PLPV@IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Chung-chieh Shan |
Lightweight Static Capabilities. |
PLPV@IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka |
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions. |
PLPV@IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Louis-Julien Guillemette, Stefan Monnier |
Type-Safe Code Transformations in Haskell. |
PLPV@IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tim Sheard |
Type-level Computation Using Narrowing in Omegamega. |
PLPV@IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Razvan Voicu |
Language-Based Program Verification via Expressive Types. |
PLPV@IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Schlosser, Christoph Walther, Michael Gonder, Markus Aderhold |
Context Dependent Procedures and Computed Types in -eriFun. |
PLPV@IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|