|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
40 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Generalization of Jumps and Labels |
Peter J. Landin |
1998 |
2 |
p. 125-143 19 p. |
artikel |
||
| 2 | A Generalization of Jumps and Labels |
Landin, Peter J. |
1998 |
2 |
p. 125-143 |
artikel |
||
| 3 | A Hybrid Approach to Online and Offline Partial Evaluation |
Eijiro Sumii |
2001 |
2 |
p. 101-142 42 p. |
artikel |
||
| 4 | A lean specification for GADTs: system F with first-class equality proofs |
Middelkoop, Arie |
2011 |
2 |
p. 145-166 |
artikel |
||
| 5 | A minimalistic look at widening operators |
Monniaux, David |
2009 |
2 |
p. 145-154 |
artikel |
||
| 6 | An Introduction to Landins A Generalization of Jumps and Labels |
Hayo Thielecke |
1998 |
2 |
p. 117-123 7 p. |
artikel |
||
| 7 | An Introduction to Landin's “A Generalization of Jumps and Labels” |
Thielecke, Hayo |
1998 |
2 |
p. 117-123 |
artikel |
||
| 8 | A principled approach to programming with nested types in Haskell |
Johann, Patricia |
2009 |
2 |
p. 155-189 |
artikel |
||
| 9 | Axioms for Recursion in Call-by-Value |
Masahito Hasegawa |
2002 |
2 |
p. 235-264 30 p. |
artikel |
||
| 10 | Calculating Sized Types |
Wei-Ngan Chin |
2001 |
2 |
p. 261-300 40 p. |
artikel |
||
| 11 | Comparing Control Constructs by Double-Barrelled CPS |
Hayo Thielecke |
2002 |
2 |
p. 141-160 20 p. |
artikel |
||
| 12 | Computing with Contexts |
Ian A. Mason |
1999 |
2 |
p. 171-201 31 p. |
artikel |
||
| 13 | Computing with Contexts |
Mason, Ian A. |
1999 |
2 |
p. 171-201 |
artikel |
||
| 14 | CPS Translations and Applications The Cube and Beyond |
Gilles Barthe |
1999 |
2 |
p. 125-170 46 p. |
artikel |
||
| 15 | CPS Translations and Applications: The Cube and Beyond |
Barthe, Gilles |
1999 |
2 |
p. 125-170 |
artikel |
||
| 16 | Directly reflective meta-programming |
Stump, Aaron |
2007 |
2 |
p. 115-144 |
artikel |
||
| 17 | Editorial |
Olivier Danvy |
2002 |
2 |
p. 139-140 2 p. |
artikel |
||
| 18 | Editorial |
Olivier Danvy |
2001 |
2 |
p. 99-100 2 p. |
artikel |
||
| 19 | Editorial |
Danvy, Olivier |
2010 |
2 |
p. 113 |
artikel |
||
| 20 | Hume box calculus: robust system development through software transformation |
Grov, Gudmund |
2011 |
2 |
p. 191-226 |
artikel |
||
| 21 | Introduction |
Olivier Danvy |
1999 |
2 |
p. 123-124 2 p. |
artikel |
||
| 22 | Introduction |
Olivier Danvy |
1998 |
2 |
p. 115-116 2 p. |
artikel |
||
| 23 | Introduction |
Danvy, Olivier |
1999 |
2 |
p. 123-124 |
artikel |
||
| 24 | Introduction |
Danvy, Olivier |
1998 |
2 |
p. 115-116 |
artikel |
||
| 25 | Keeping calm in the face of change |
Sculthorpe, Neil |
2011 |
2 |
p. 227-271 |
artikel |
||
| 26 | Linear Continuation-Passing |
Josh Berdine |
2002 |
2 |
p. 181-208 28 p. |
artikel |
||
| 27 | Optimizing Nested Loops Using Local CPS Conversion |
John Reppy |
2002 |
2 |
p. 161-180 20 p. |
artikel |
||
| 28 | Partial Evaluation of the Euclidean Algorithm, Revisited |
C.S. Lee |
1999 |
2 |
p. 203-212 10 p. |
artikel |
||
| 29 | Partial Evaluation of the Euclidean Algorithm, Revisited |
Lee, C.S. |
1999 |
2 |
p. 203-212 |
artikel |
||
| 30 | Peter J. Landin (1930–2009) |
Danvy, Olivier |
2010 |
2 |
p. 191-195 |
artikel |
||
| 31 | Regular Tree Languages as an Abstract Domain in Program Specialisation |
John P. Gallagher |
2001 |
2 |
p. 143-172 30 p. |
artikel |
||
| 32 | Retraction Approach to CPS Transform |
Jakov Kuan |
1998 |
2 |
p. 145-175 31 p. |
artikel |
||
| 33 | Safe-for-Space Threads in Standard ML |
Edoardo Biagioni |
1998 |
2 |
p. 209-225 17 p. |
artikel |
||
| 34 | Safe-for-Space Threads in Standard ML |
Biagioni, Edoardo |
1998 |
2 |
p. 209-225 |
artikel |
||
| 35 | Secure Information Flow via Linear Continuations |
Steve Zdancewic |
2002 |
2 |
p. 209-234 26 p. |
artikel |
||
| 36 | Space-efficient gradual typing |
Herman, David |
2011 |
2 |
p. 167-189 |
artikel |
||
| 37 | The π-Calculus in Direct Style |
Gérard Boudol |
1998 |
2 |
p. 177-208 32 p. |
artikel |
||
| 38 | The π-Calculus in Direct Style |
Boudol, Gérard |
1998 |
2 |
p. 177-208 |
artikel |
||
| 39 | The Second Futamura Projection for Type-Directed Partial Evaluation |
Bernd Grobauer |
2001 |
2 |
p. 173-219 47 p. |
artikel |
||
| 40 | Type-Based Useless-Variable Elimination |
Naoki Kobayashi |
2001 |
2 |
p. 221-260 40 p. |
artikel |
40 gevonden resultaten