Operational semantics for multi-language programs
- Jacob Matthews, R. Findler
- Computer ScienceACM-SIGACT Symposium on Principles of Programming…
- 17 January 2007
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.
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
- Jacob Matthews, A. Ahmed
- Computer ScienceEuropean Symposium on Programming
- 29 March 2008
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.
Automatically restructuring programs for the Web
- Jacob Matthews, R. Findler, P. Graunke, S. Krishnamurthi, M. Felleisen
- Computer ScienceInternational Conference on Automated Software…
- 26 November 2001
This work presents an automated transformation that converts traditional interactive programs into standard CGI programs, which enables reuse of existing software development methodologies and an adaptation of existing programming environments supports the development of Web programs.
An operational semantics for Scheme
- Jacob Matthews, R. Findler
- Computer ScienceJournal of functional programming
- 2008
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.
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
- Jacob Matthews, R. Findler, M. Flatt, M. Felleisen
- Computer ScienceInternational Conference on Rewriting Techniques…
- 3 June 2004
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.
Automatically restructuring software for the web
- Jacob Matthews, R. Findler, P. Graunke, S. Krishnamurthi, M. Felleisen
- Computer Science
- 2004
Relationally-parametric polymorphic contracts
- Arjun Guha, Jacob Matthews, R. Findler, S. Krishnamurthi
- Computer ScienceDynamic Languages Symposium
- 22 October 2007
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.
Blame for all
- A. Ahmed, R. Findler, Jacob Matthews, P. Wadler
- Materials ScienceEuropean Conference on Object-Oriented…
- 6 July 2009
We present a language that integrates statically and dynamically typed components, similar to the gradual types of Siek and Taha (2006), and extend it to incorporate parametric polymorphism. Our…
Component Deployment with PLaneT You Want it Where
- Jacob Matthews
- Geology, Physics
- 2006
For the past two years we have been developing PLaneT, a package manager built into PLT Scheme’s module system that simplifies program development by doing away with the distinction between installed…
...
...