nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
About permutation algebras, (pre)sheaves and named sets
|
Gadducci, Fabio |
|
2006 |
|
2-3 |
p. 283-304 |
artikel |
2 |
A Hybrid Approach to Online and Offline Partial Evaluation
|
Sumii, Eijiro |
|
2001 |
|
2-3 |
p. 101-142 |
artikel |
3 |
An initial algebra approach to term rewriting systems with variable binders
|
Hamana, Makoto |
|
2006 |
|
2-3 |
p. 231-262 |
artikel |
4 |
Axioms for Recursion in Call-by-Value
|
Hasegawa, Masahito |
|
2002 |
|
2-3 |
p. 235-264 |
artikel |
5 |
Calculating Sized Types
|
Chin, Wei-Ngan |
|
2001 |
|
2-3 |
p. 261-300 |
artikel |
6 |
Comparing Control Constructs by Double-Barrelled CPS
|
Thielecke, Hayo |
|
2002 |
|
2-3 |
p. 141-160 |
artikel |
7 |
Editorial
|
Danvy, Olivier |
|
2001 |
|
2-3 |
p. 99-100 |
artikel |
8 |
Editorial
|
Danvy, Olivier |
|
2002 |
|
2-3 |
p. 139-140 |
artikel |
9 |
Explicit substitutions and higher-order syntax
|
Ghani, Neil |
|
2006 |
|
2-3 |
p. 263-282 |
artikel |
10 |
Formal compiler construction in a logical framework
|
Hickey, Jason |
|
2006 |
|
2-3 |
p. 197-230 |
artikel |
11 |
Linear Continuation-Passing
|
Berdine, Josh |
|
2002 |
|
2-3 |
p. 181-208 |
artikel |
12 |
Mechanising λ-calculus using a classical first order theory of terms with permutations
|
Norrish, Michael |
|
2006 |
|
2-3 |
p. 169-195 |
artikel |
13 |
Optimizing Nested Loops Using Local CPS Conversion
|
Reppy, John |
|
2002 |
|
2-3 |
p. 161-180 |
artikel |
14 |
Pseudo-distributive laws and axiomatics for variable binding
|
Tanaka, Miki |
|
2006 |
|
2-3 |
p. 305-337 |
artikel |
15 |
Regular Tree Languages as an Abstract Domain in Program Specialisation
|
Gallagher, John P. |
|
2001 |
|
2-3 |
p. 143-172 |
artikel |
16 |
Secure Information Flow via Linear Continuations
|
Zdancewic, Steve |
|
2002 |
|
2-3 |
p. 209-234 |
artikel |
17 |
The Second Futamura Projection for Type-Directed Partial Evaluation
|
Grobauer, Bernd |
|
2001 |
|
2-3 |
p. 173-219 |
artikel |
18 |
Type-Based Useless-Variable Elimination
|
Kobayashi, Naoki |
|
2001 |
|
2-3 |
p. 221-260 |
artikel |