Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 174, number: 7

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