External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 174, Issue 7

    1 -- 2Aaron Stump, Hongwei Xi. Preface
    3 -- 16James Caldwell, Josef Pohl. Constructive Membership Predicates as Index Types
    17 -- 21Adam J. Chlipala. Position Paper: Thoughts on Programming with Proof Assistants
    23 -- 39Louis-Julien Guillemette, Stefan Monnier. Type-Safe Code Transformations in Haskell
    41 -- 60Brigitte Pientka. Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
    61 -- 78Andreas Schlosser, Christoph Walther, Michael Gonder, Markus Aderhold. Context Dependent Procedures and Computed Types in -eriFun
    79 -- 104Oleg Kiselyov, Chung-chieh Shan. Lightweight Static Capabilities
    105 -- 128Tim Sheard. Type-level Computation Using Narrowing in Omegamega
    129 -- 147Martin Sulzmann, Razvan Voicu. Language-Based Program Verification via Expressive Types
    runs on