|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV@IJCAR ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Adam Chlipala |
Position Paper: Thoughts on Programming with Proof Assistants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV@IJCAR ![In: Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006, pp. 17-21, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | James L. Caldwell, Josef Pohl |
Constructive Membership Predicates as Index Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV@IJCAR ![In: Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006, pp. 3-16, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Stump, Hongwei Xi |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV@IJCAR ![In: Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Chung-chieh Shan |
Lightweight Static Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV@IJCAR ![In: Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006, pp. 79-104, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka |
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV@IJCAR ![In: Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006, pp. 41-60, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Louis-Julien Guillemette, Stefan Monnier |
Type-Safe Code Transformations in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV@IJCAR ![In: Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006, pp. 23-39, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tim Sheard |
Type-level Computation Using Narrowing in Omegamega. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV@IJCAR ![In: Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006, pp. 105-128, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Razvan Voicu |
Language-Based Program Verification via Expressive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV@IJCAR ![In: Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006, pp. 129-147, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Schlosser, Christoph Walther, Michael Gonder, Markus Aderhold |
Context Dependent Procedures and Computed Types in -eriFun. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV@IJCAR ![In: Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006, pp. 61-78, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|