default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st PLPV@IJCAR 2006: Seattle, WA, USA
- Aaron Stump, Hongwei Xi:
Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(7), Elsevier 2007 - Aaron Stump, Hongwei Xi:
Preface. 1-2 - James L. Caldwell
, Josef Pohl:
Constructive Membership Predicates as Index Types. 3-16 - Adam Chlipala:
Position Paper: Thoughts on Programming with Proof Assistants. 17-21 - Louis-Julien Guillemette, Stefan Monnier:
Type-Safe Code Transformations in Haskell. 23-39 - Brigitte Pientka:
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions. 41-60 - Andreas Schlosser, Christoph Walther, Michael Gonder, Markus Aderhold:
Context Dependent Procedures and Computed Types in -eriFun. 61-78 - Oleg Kiselyov, Chung-chieh Shan:
Lightweight Static Capabilities. 79-104 - Tim Sheard:
Type-level Computation Using Narrowing in Omegamega. 105-128 - Martin Sulzmann, Razvan Voicu:
Language-Based Program Verification via Expressive Types. 129-147
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-06 23:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
