External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 20, Issue 4

    337 -- 338Olivier Danvy, Hayo Thielecke. Editorial
    339 -- 369Yukiyoshi Kameyama. Axioms for control operators in the CPS hierarchy
    371 -- 401Chung-chieh Shan. A static simulation of dynamic delimited control
    403 -- 429Zena M. Ariola, Hugo Herbelin, Amr Sabry. A proof-theoretic foundation of abortive continuations
    431 -- 460Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen. Implementation and use of the PLT scheme Web server

    Volume 20, Issue 3

    197 -- 198Olivier Danvy. Editorial
    199 -- 207Jean-Louis Krivine. A call-by-name lambda-calculus machine
    209 -- 230Pierre Crégut. Strongly reducing variants of the Krivine abstract machine
    231 -- 235Mitchell Wand. On the correctness of the Krivine machine
    237 -- 255Rémi Douence, Pascal Fradet. The next 700 Krivine machines
    257 -- 270Frédéric Lang. Explaining the lazy Krivine machine using explicit substitution and addresses
    271 -- 293Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger. Improving the lazy Krivine machine
    295 -- 318Sylvain Lippi. The graphical Krivine machine
    319 -- 332David A. Schmidt. State-transition machines for lambda-calculus expressions
    333 -- 335David A. Schmidt. State-transition machines, revisited

    Volume 20, Issue 1-2

    1 -- 2Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott. Editorial
    3 -- 35Iliano Cervesato, Mark-Oliver Stehr. Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
    37 -- 72Horatiu Cirstea, Germain Faure, Claude Kirchner. A rho-calculus of explicit constraint application
    73 -- 122Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. A new generic scheme for functional logic programming with constraints
    123 -- 160José Meseguer, Prasanna Thati. Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
    161 -- 196Peter Csaba Ölveczky, José Meseguer. Semantics and pragmatics of Real-Time Maude
    runs on