|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Coq Library for Verification of Concurrent Programs |
Affeldt, Reynald |
2008 |
199 | C |
p. 17-32 16 p. |
artikel |
|
| 2 | A Logical Framework with Explicit Conversions |
Geuvers, Herman |
2008 |
199 | C |
p. 33-47 15 p. |
artikel |
|
| 3 | A Meta Linear Logical Framework |
McCreight, Andrew |
2008 |
199 | C |
p. 129-147 19 p. |
artikel |
|
| 4 | Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic |
Bubel, Richard |
2008 |
199 | C |
p. 107-128 22 p. |
artikel |
|
| 5 | Imperative LF Meta-Programming |
Stump, Aaron |
2008 |
199 | C |
p. 149-159 11 p. |
artikel |
|
| 6 | Meta-programming With Built-in Type Equality |
Sheard, Tim |
2008 |
199 | C |
p. 49-65 17 p. |
artikel |
|
| 7 | Normalization for the Simply-Typed Lambda-Calculus in Twelf |
Abel, Andreas |
2008 |
199 | C |
p. 3-16 14 p. |
artikel |
|
| 8 | Preface |
Schürmann, Carsten |
2008 |
199 | C |
p. 1-2 2 p. |
artikel |
|
| 9 | Redundancy Elimination for LF |
Reed, Jason |
2008 |
199 | C |
p. 89-106 18 p. |
artikel |
|
| 10 | Specifying Properties of Concurrent Computations in CLF |
Watkins, Kevin |
2008 |
199 | C |
p. 67-87 21 p. |
artikel |
10 gevonden resultaten