• Publications
  • Influence
Revised6 Report on the Algorithmic Language Scheme
TLDR
Scheme demonstrates that a very small number of rules for forming expressions, with no restrictions on how they are composed, suffice to form a practical and efficient programming language that is flexible enough to support most of the major programming paradigms in use today. Expand
Operational semantics for multi-language programs
TLDR
This paper abstracts away the low-level details of interoperability like garbage collection and representation coherence, and lets us focus on semantic properties like type-safety and observable equivalence, which sheds light on real multi-language systems and tools such as the JNI, SWIG, and Haskell's stable pointers. Expand
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
TLDR
This paper shows how to extend System F's parametricity guarantee to a Matthews-Findler-style multi-language system that combines System F with an untyped language by use of dynamic sealing and shows a scheme for implementing parametric higher-order contracts in anUntyped setting which corresponds to a translation given by Sumii and Pierce. Expand
Operational semantics for multi-language programs
TLDR
The technique abstracts away the low-level details of interoperability like garbage collection and representation coherence, and lets us focus on semantic properties like type-safety, equivalence, and termination behavior, which allows us to adapt standard theoretical techniques such as subject-reduction, logical relations, and operational equivalence for use on multi-language systems. Expand
An operational semantics for Scheme
TLDR
This paper presents an operational semantics for the core of Scheme, and contributes three novel modeling techniques for Felleisen Hieb-style rewriting semantics, suggesting that they would scale to complete models of other languages. Expand
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
TLDR
PLT Redex is an embedded domain-specific language that helps users interactively create and debug context-sensitive term-rewriting systems and discusses the experience using it in courses and developing an operational semantics for R5RS Scheme. Expand
Topsl : A domain-specific language for on-line surveys
There are currently few choices for social scientists who want to employ web-based surveys in their studies. They can either use a special-purpose language whose notion of flow control may be tooExpand
Automatically Restructuring Programs for the Web
This paper explains how to automatically transform a batch program into a standard CGI program. The transformation preserves the program's behavior even if consumers use the back button or theExpand
Relationally-parametric polymorphic contracts
TLDR
A form of inference that can often save programmers from having to explicitly instantiate many parametric contracts is presented, and several examples are presented that illustrate how this system mimics the feel and properties of parametric polymorphism in typed languages. Expand
...
1
2
...