|
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
|
|
13
|
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
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
24
|
Programming Languages for Reusable Software Components
– Matthew Flatt
- 1999
|
|
7
|
Behavioral Software Contracts
– Robert Bruce Findler
- 2002
|
|
46
|
Programming the Web with High-Level Programming Languages
– Paul Graunke, Shriram Krishnamurti, Steve Van, Matthias Felleisen, Steve Van Der Hoeven, Universite De Nice
- 2001
|
|
40
|
Semantics of memory management for polymorphic languages
– Greg Morrisett, Robert Harper
- 1997
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
10
|
Automatically Restructuring Programs for the Web
– Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
- 2003
|
|
34
|
Automatically Restructuring Programs for the Web
– Paul Graunke, Shriram Krishnamurthi, Robert Bruce Findler R, Matthias Felleisen
- 2001
|
|
10
|
Recursion from Iteration
– Andrzej Filinski
- 1994
|
|
1
|
Operational Interpretations of an Extension of F-omega with Control Operators
– Robert Harper, Mark Lillibridge
- 1995
|
|
33
|
Relational interpretations of recursive types in an operational setting
– Lars Birkedal, Robert Harper
- 1997
|
|
16
|
Metalevel Building Blocks for Modular Systems
– Suresh Jagannathan
- 1994
|
|
2
|
Behavioral Interface Contracts for Java
– Robert Bruce Findler, Matthias Felleisen, Robert Bruce, Findler Matthias Felleisen
- 2000
|
|
2
|
Language Support for Program Generation: Reasoning, Implementation, and Applications
– Zhe Yang, Olivier Danvy, Benjamin Goldberg
- 2001
|
|
34
|
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
– Mads Sig Ager, Olivier Danvy, Jan Midtgaard
- 2005
|
|
4
|
Logical Specification of Operational Semantics
– Peter D. Mosses
- 1999
|
