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