Modeling Web Interactions (2003)

Cached

Download Links

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

Active Bibliography

5 Advanced Control Flows for Flexible Graphical User Interfaces or, Growing GUIs on Trees or, Bookmarking GUIs – Or Bookmarking Guis, Paul T. Graunke, Shriram Krishnamurthi - 2002
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
102 Compiling with Types – Greg Morrisett - 1995
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
Type Theory for Programming Languages – Robert Harper - 1994
38 Automatically Restructuring Programs for the Web – Paul Graunke, Shriram Krishnamurthi, Robert Bruce Findler R, Matthias Felleisen - 2001
14 Automatically Restructuring Programs for the Web – Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
10 Recursion from Iteration – Andrzej Filinski - 1994
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
49 Back to Direct Style – Olivier Danvy - 1994
22 On proving syntactic properties of CPS programs – Belmina Dzafic, Olivier Danvy, Olivier Danvy, Belmina Dza C, Frank Pfenning, Frank Pfenning - 1999
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
52 Classical Logic, Continuation Semantics and Abstract Machines – Thomas Streicher, Fachbereich Mathematik, B. Reus - 1998
7 Principles and Applications of Refinement Types – Andrew D. Gordon, C├ędric Fournet - 2009
33 Operational Semantics for Multi-Language Programs – Jacob Matthews, et al. - 2007
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991