Filter Results:
- Full text PDF available (19)
Publication Year
1978
2017
- This year (2)
- Last 5 years (7)
- Last 10 years (13)
Publication Type
Co-author
Journals and Conferences
Learn More
- Jacob Matthews, Robert Bruce Findler
- POPL
- 2007
Interoperability is big business, a fact to which .NET, the JVM, and COM can attest. Language designers are well aware of this, and they are designing programming languages that reflect it—for… (More)
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in establishing type… (More)
- Michael Sperber, R. Kent Dybvig, +4 authors Anton van Straaten
- 2007
Programming languages should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary. Scheme demonstrates… (More)
Research on initial romantic attraction flourished in the 1960s and 1970s but has now been partially eclipsed by research on close relationships. The authors argue that speed dating procedures, in… (More)
- Jacob Matthews, Amal Ahmed
- ESOP
- 2008
- Jacob Matthews
- 2008
We show how to extend System F’s parametricity guarantee to a multi-language system in the style of Matthews and Findler that combines System F with an untyped language by use of dynamic sealing.… (More)
This paper presents an operational semantics for the core of Scheme. Our specification improves over the existing R5RS denotational specification in four ways. First, it is more complete, since it… (More)
- You Want, Jacob Matthews
- 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… (More)
- Jacob Matthews, Robert Bruce Findler
- J. Funct. Program.
- 2008
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in four ways. First,… (More)
- Mike MacHenry, Jacob Matthews
- 2004
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 too… (More)