|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Constructive Membership Predicates as Index Types |
Caldwell, James |
2007 |
174 | 7 |
p. 3-16 14 p. |
artikel |
|
| 2 | Context Dependent Procedures and Computed Types in ✓eriFun |
Schlosser, Andreas |
2007 |
174 | 7 |
p. 61-78 18 p. |
artikel |
|
| 3 | Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions |
Pientka, Brigitte |
2007 |
174 | 7 |
p. 41-60 20 p. |
artikel |
|
| 4 | Language-Based Program Verification via Expressive Types |
Sulzmann, Martin |
2007 |
174 | 7 |
p. 129-147 19 p. |
artikel |
|
| 5 | Lightweight Static Capabilities |
Kiselyov, Oleg |
2007 |
174 | 7 |
p. 79-104 26 p. |
artikel |
|
| 6 | Position Paper: Thoughts on Programming with Proof Assistants |
Chlipala, Adam |
2007 |
174 | 7 |
p. 17-21 5 p. |
artikel |
|
| 7 | Preface |
Stump, Aaron |
2007 |
174 | 7 |
p. 1-2 2 p. |
artikel |
|
| 8 | Type-level Computation Using Narrowing in Ωmega |
Sheard, Tim |
2007 |
174 | 7 |
p. 105-128 24 p. |
artikel |
|
| 9 | Type-Safe Code Transformations in Haskell |
Guillemette, Louis-Julien |
2007 |
174 | 7 |
p. 23-39 17 p. |
artikel |
9 gevonden resultaten