|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
87 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Adapting functional programs to higher order logic |
Owens, Scott |
2008 |
4 |
p. 377-409 |
artikel |
||
| 2 | A functional approach to generic programming using adaptive traversals |
Chadwick, Bryan |
2011 |
4 |
p. 433-463 |
artikel |
||
| 3 | A Generalization of Short-Cut Fusion and its Correctness Proof |
Patricia Johann |
2002 |
4 |
p. 273-300 28 p. |
artikel |
||
| 4 | A Generalization of Short-Cut Fusion and its Correctness Proof |
Johann, Patricia |
2002 |
4 |
p. 273-300 |
artikel |
||
| 5 | Algebraic Power Analysis by Abstract Interpretation |
Mastroeni, Isabella |
2004 |
4 |
p. 297-345 |
artikel |
||
| 6 | A multi-tier semantics for Hop |
Serrano, Manuel |
2010 |
4 |
p. 409-431 |
artikel |
||
| 7 | A Network Protocol Stack in Standard ML |
Edoardo Biagioni |
2001 |
4 |
p. 309-356 48 p. |
artikel |
||
| 8 | A Network Protocol Stack in Standard ML |
Biagioni, Edoardo |
2001 |
4 |
p. 309-356 |
artikel |
||
| 9 | An introduction to Landin’s “Getting Rid of Labels” |
Tennent, R. D. |
2010 |
4 |
p. 313-314 |
artikel |
||
| 10 | A proof-theoretic foundation of abortive continuations |
Ariola, Zena M. |
2007 |
4 |
p. 403-429 |
artikel |
||
| 11 | A static simulation of dynamic delimited control |
Shan, Chung-chieh |
2007 |
4 |
p. 371-401 |
artikel |
||
| 12 | Automatic Generation of Staged Geometric Predicates |
Aleksandar Nanevski |
2003 |
4 |
p. 379-400 22 p. |
artikel |
||
| 13 | Automatic Generation of Staged Geometric Predicates |
Nanevski, Aleksandar |
2003 |
4 |
p. 379-400 |
artikel |
||
| 14 | Axioms for control operators in the CPS hierarchy |
Kameyama, Yukiyoshi |
2007 |
4 |
p. 339-369 |
artikel |
||
| 15 | Bisimilarity for the Region Calculus |
Helsen, Simon |
2004 |
4 |
p. 347-394 |
artikel |
||
| 16 | Calculations |
Landin, Peter J. |
2010 |
4 |
p. 333-359 |
artikel |
||
| 17 | Call-by-push-value: Decomposing call-by-value and call-by-name |
Levy, Paul Blain |
2006 |
4 |
p. 377-414 |
artikel |
||
| 18 | Certifying Compilation and Run-Time Code Generation |
Luke Hornof |
1999 |
4 |
p. 337-375 39 p. |
artikel |
||
| 19 | Certifying Compilation and Run-Time Code Generation |
Hornof, Luke |
1999 |
4 |
p. 337-375 |
artikel |
||
| 20 | Combining Program and Data Specialization |
Sandrine Chirokoff |
1999 |
4 |
p. 309-335 27 p. |
artikel |
||
| 21 | Combining Program and Data Specialization |
Chirokoff, Sandrine |
1999 |
4 |
p. 309-335 |
artikel |
||
| 22 | Continuations and Web Servers |
Queinnec, Christian |
2004 |
4 |
p. 277-295 |
artikel |
||
| 23 | Corrigendum Polymorphic Type Assignment and CPS Conversion |
Robert Harper |
2003 |
4 |
p. 401-401 1 p. |
artikel |
||
| 24 | Corrigendum: Polymorphic Type Assignment and CPS Conversion |
Harper, Robert |
2003 |
4 |
p. 401 |
artikel |
||
| 25 | Definitional Interpreters for Higher-Order Programming Languages |
John C. Reynolds |
1998 |
4 |
p. 363-397 35 p. |
artikel |
||
| 26 | Definitional Interpreters for Higher-Order Programming Languages |
Reynolds, John C. |
1998 |
4 |
p. 363-397 |
artikel |
||
| 27 | Definitional Interpreters Revisited |
John C. Reynolds |
1998 |
4 |
p. 355-361 7 p. |
artikel |
||
| 28 | Definitional Interpreters Revisited |
Reynolds, John C. |
1998 |
4 |
p. 355-361 |
artikel |
||
| 29 | Deriving escape analysis by abstract interpretation |
Hill, Patricia M. |
2006 |
4 |
p. 415-463 |
artikel |
||
| 30 | Editorial |
Danvy, Olivier |
2010 |
4 |
p. 293 |
artikel |
||
| 31 | Editorial |
Danvy, Olivier |
2008 |
4 |
p. 359 |
artikel |
||
| 32 | Editorial |
Olivier Danvy |
2000 |
4 |
p. 287-288 2 p. |
artikel |
||
| 33 | Editorial |
Olivier Danvy |
2001 |
4 |
p. 307-307 1 p. |
artikel |
||
| 34 | Editorial |
Danvy, Olivier |
2004 |
4 |
p. 275 |
artikel |
||
| 35 | Editorial |
Olivier Danvy |
1999 |
4 |
p. 307-308 2 p. |
artikel |
||
| 36 | Editorial |
Olivier Danvy |
2003 |
4 |
p. 295-295 1 p. |
artikel |
||
| 37 | Editorial |
Olivier Danvy |
1998 |
4 |
p. 353-354 2 p. |
artikel |
||
| 38 | Editorial |
Olivier Danvy |
2002 |
4 |
p. 271-271 1 p. |
artikel |
||
| 39 | Editorial |
Danvy, Olivier |
2007 |
4 |
p. 337-338 |
artikel |
||
| 40 | Editorial |
Danvy, Olivier |
1998 |
4 |
p. 353-354 |
artikel |
||
| 41 | Editorial |
Danvy, Olivier |
2001 |
4 |
p. 307 |
artikel |
||
| 42 | Editorial |
Danvy, Olivier |
2003 |
4 |
p. 295 |
artikel |
||
| 43 | Editorial |
Danvy, Olivier |
1999 |
4 |
p. 307-308 |
artikel |
||
| 44 | Editorial |
Danvy, Olivier |
2002 |
4 |
p. 271 |
artikel |
||
| 45 | Editorial |
Danvy, Olivier |
2000 |
4 |
p. 287-288 |
artikel |
||
| 46 | Editorial |
Danvy, Olivier |
2006 |
4 |
p. 343-344 |
artikel |
||
| 47 | Efficiency by Incrementalization An Introduction |
Yanhong A. Liu |
2000 |
4 |
p. 289-313 25 p. |
artikel |
||
| 48 | Efficiency by Incrementalization: An Introduction |
Liu, Yanhong A. |
2000 |
4 |
p. 289-313 |
artikel |
||
| 49 | Erratum to: Continuation-Passing C, compiling threads to events through continuations |
Kerneis, Gabriel |
2012 |
4 |
p. 387 |
artikel |
||
| 50 | Expressing combinatory reduction systems derivations in the rewriting calculus |
Bertolissi, Clara |
2006 |
4 |
p. 345-376 |
artikel |
||
| 51 | Flow-sensitive type systems and the ambient calculus |
Amtoft, Torben |
2008 |
4 |
p. 411-442 |
artikel |
||
| 52 | From Syntactic Theories to Interpreters Automating the Proof of Unique Decomposition |
Yong Xiao |
2001 |
4 |
p. 387-409 23 p. |
artikel |
||
| 53 | From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition |
Xiao, Yong |
2001 |
4 |
p. 387-409 |
artikel |
||
| 54 | Functional Geometry |
Peter Henderson |
2002 |
4 |
p. 349-365 17 p. |
artikel |
||
| 55 | Functional Geometry |
Henderson, Peter |
2002 |
4 |
p. 349-365 |
artikel |
||
| 56 | Functional un|unparsing |
Asai, Kenichi |
2012 |
4 |
p. 311-340 |
artikel |
||
| 57 | Getting rid of labels |
Landin, P. J. |
2010 |
4 |
p. 315-329 |
artikel |
||
| 58 | Glossary for Partial Evaluation and Related Topics |
Torben Æ. Mogensen (ed.) |
2000 |
4 |
p. 355-368 14 p. |
artikel |
||
| 59 | Glossary for Partial Evaluation and Related Topics |
Mogensen, Torben Æ. |
2000 |
4 |
p. 355-368 |
artikel |
||
| 60 | Implementation and use of the PLT scheme Web server |
Krishnamurthi, Shriram |
2007 |
4 |
p. 431-460 |
artikel |
||
| 61 | More dependent types for distributed arrays |
Swierstra, Wouter |
2011 |
4 |
p. 489-506 |
artikel |
||
| 62 | Nesting forward-mode AD in a functional framework |
Siskind, Jeffrey Mark |
2008 |
4 |
p. 361-376 |
artikel |
||
| 63 | Non-Standard Semantics for Program Slicing |
Roberto Giacobazzi |
2003 |
4 |
p. 297-339 43 p. |
artikel |
||
| 64 | Non-Standard Semantics for Program Slicing |
Giacobazzi, Roberto |
2003 |
4 |
p. 297-339 |
artikel |
||
| 65 | Partial Evaluation of Computation ProcessAnApproach to a Compiler-Compiler |
Yoshihiko Futamura |
1999 |
4 |
p. 381-391 11 p. |
artikel |
||
| 66 | Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler |
Futamura, Yoshihiko |
1999 |
4 |
p. 381-391 |
artikel |
||
| 67 | Partial Evaluation of Computation Process, Revisited |
Yoshihiko Futamura |
1999 |
4 |
p. 377-380 4 p. |
artikel |
||
| 68 | Partial Evaluation of Computation Process, Revisited |
Futamura, Yoshihiko |
1999 |
4 |
p. 377-380 |
artikel |
||
| 69 | Path Dependent Analysis of Logic Programs |
Lunjin Lu |
2003 |
4 |
p. 341-377 37 p. |
artikel |
||
| 70 | Path Dependent Analysis of Logic Programs |
Lu, Lunjin |
2003 |
4 |
p. 341-377 |
artikel |
||
| 71 | Personal recollections of Peter Landin: 1987–2009 |
Boca, Paul P. |
2010 |
4 |
p. 299-303 |
artikel |
||
| 72 | Peter Landin: a computer scientist who inspired a generation |
Bornat, Richard |
2010 |
4 |
p. 295-298 |
artikel |
||
| 73 | Pruning with improving sequences in lazy functional programs |
Iwasaki, Hideya |
2012 |
4 |
p. 281-309 |
artikel |
||
| 74 | Scheme A Interpreter for Extended Lambda Calculus |
Gerald Jay Sussman |
1998 |
4 |
p. 405-439 35 p. |
artikel |
||
| 75 | Scheme: A Interpreter for Extended Lambda Calculus |
Sussman, Gerald Jay |
1998 |
4 |
p. 405-439 |
artikel |
||
| 76 | Slicing Software for Model Construction |
John Hatcliff |
2000 |
4 |
p. 315-353 39 p. |
artikel |
||
| 77 | Slicing Software for Model Construction |
Hatcliff, John |
2000 |
4 |
p. 315-353 |
artikel |
||
| 78 | Specification Diagrams for Actor Systems |
Scott F. Smith |
2002 |
4 |
p. 301-348 48 p. |
artikel |
||
| 79 | Specification Diagrams for Actor Systems |
Smith, Scott F. |
2002 |
4 |
p. 301-348 |
artikel |
||
| 80 | Stories about calculations: remembering Peter Landin |
Clark, Tony |
2010 |
4 |
p. 331-332 |
artikel |
||
| 81 | The First Report on Scheme Revisited |
Gerald Jay Sussman |
1998 |
4 |
p. 399-404 6 p. |
artikel |
||
| 82 | The First Report on Scheme Revisited |
Sussman, Gerald Jay |
1998 |
4 |
p. 399-404 |
artikel |
||
| 83 | The Peter Landin prize |
Hammond, Kevin |
2010 |
4 |
p. 305-312 |
artikel |
||
| 84 | Tree Rerooting in Distributed Garbage Collection Implementation and Performance Evaluation |
Luc Moreau |
2001 |
4 |
p. 357-386 30 p. |
artikel |
||
| 85 | Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation |
Moreau, Luc |
2001 |
4 |
p. 357-386 |
artikel |
||
| 86 | Trends in Trends in Functional Programming 1999/2000 versus 2007/2008 |
Achten, Peter |
2011 |
4 |
p. 465-487 |
artikel |
||
| 87 | Type-specialized staged programming with process separation |
Liu, Yu David |
2012 |
4 |
p. 341-385 |
artikel |
87 gevonden resultaten