Modeling Web Interactions (2003)

Cached

Download Links

by Paul Graunke , Robert Bruce Findler , Shriram Krishnamurthi , Matthias Felleisen
Citations:34 - 4 self

Documents Related by Co-Citation

77 The Influence of Browsers on Evaluators or, Continuations to Program Web Servers – Christian Queinnec - 2000
38 Automatically Restructuring Programs for the Web – Paul Graunke, Shriram Krishnamurthi, Robert Bruce Findler R, Matthias Felleisen - 2001
80 Extending java for high-level web service construction – Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach - 2002
71 The project – Claus Brabrand, Anders Møller, Michael I Schwartzbach
9 Web programming with SMLserver – Martin Elsman, Niels Hallenberg - 2003
62 WASH/CGI: Server-side Web Scripting with Sessions and Typed, Compositional Forms – Peter Thiemann - 2002
159 Generalising Monads to Arrows – John Hughes - 1998
8 Programmable Type Systems for Domain Specific Languages – Peter Thiemann - 2002
36 1.0: The extensible hypertext markup language (second edition – W3C XHTML - 2002
51 Programming the Web with High-Level Programming Languages – Paul Graunke, Shriram Krishnamurti, Steve Van, Matthias Felleisen, Steve Van Der Hoeven, Universite De Nice - 2001
52 No-Longer-Foreign: Teaching an ML compiler to speak C "natively" – Matthias Blume - 2001
9 An Implementation of Transparent Migration on Standard Scheme – Eijiro Sumii - 2000
14 Memoization in type-directed partial evaluation – Vincent Balat, Olivier Danvy - 2002
18 Handling Control – Dorai Sitaram - 1993
9 The Second Futamura Projection for Type-Directed Partial Evaluation – Bernd Grobauer, Zhe Yang - 1999
20 Combinators for program generation – Peter Thiemann - 1999
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
24 A type-theoretic foundation of continuations and prompts – Zena M Ariola, Hugo Herbelin, Amr Sabry - 2004
19 From Interpreter to Logic Engine by Defunctionalization – Dariusz Biernacki, Olivier Danvy - 2004