Scheme '14 is the annual Scheme and Functional Programming Workshop.


  • The Scheme '14 proceedings are now available (also from the University of Indiana as CS Techreport 718)
  • Thanks everyone for a wonderful Scheme '14
  • Scheme '14 program and papers have been posted
  • Andy Wingo will be presenting the keynote. Andy is known, among other things, for being one of the maintainers of Guile Scheme.
  • John Cowan, the chair of R7RS Working Group 2, will be giving an update on their progress.


Download all accepted papers: []

8:00 Registration
8:55 Welcome/opening remarks

Session 1 (R7 Scheming)
Chair: Jason Hemann
9:00 Invited Talk: R7RS Update
John Cowan
Slides: [pdf]

9:30 Implementing R7RS on an R6RS Scheme system
Authors: Takashi Kato
Paper: [pdf]

9:55 Break

Session 2 (Scheme Implementation)
Chair: Andy Keep
10:30 Code Versioning and Extremely Lazy Compilation of Scheme
Authors: Baptiste Saleil and Marc Feeley
Paper: [pdf]

10:55 Microscheme: Functional programming for the Arduino
Authors: Ryan Suchocki and Sara Kalvala
Paper: [pdf]

11:20 Structure Vectors and their Implementation
Authors: Benjamin Cérat and Marc Feeley
Paper: [pdf]

11:45 Lunch Break

Session 3 (Static Analysis)
Chair: Paul Steckler
2:00 A Linear Encoding of Pushdown Control-Flow Analysis
Authors: Steven Lyde, Thomas Gilray and Matthew Might
Paper: [pdf]

2:25 Concrete and Abstract Interpretation: Better Together
Authors: Maria Jenkins, Leif Andersen, Thomas Gilray and Matt Might
Paper: [pdf]

2:50 Break

Session 4 (Domain-specific Languages)
Chair: John Clements
3:15 Little Languages for Relational Programming
Authors: Daniel Brady, Jason Hemann and Daniel P. Friedman
Paper: [pdf]

3:40 Meta-Meta-Programming: Generating C++ Template Metaprograms with Racket Macros
Authors: Michael Ballantyne, Chris Earl and Matthew Might
Paper: [pdf]

4:05 Keynote: What Scheme Can Learn from Javascript
Andy Wingo
Slides: [pdf]
After Hours Event
8:30 Programming Enthusiasts Unite for Great Justice!
Mingle with Schemers and Clojurers, and talk about Lispy things!
Mezzanine Lounge, Capitol City Brewing Company, 1100 New York Ave.


Submissions related to Scheme and functional programming are welcome and encouraged. Topics of interest include but are not limited to:

  • Program-development environments, debugging, testing
  • Implementation (interpreters, compilers, tools, benchmarks, etc)
  • Syntax, macros, hygiene
  • Distributed computing, concurrency, parallelism
  • Interoperability with other languages, FFIs
  • Continuations, modules, object systems, types
  • Theory, formal semantics, correctness
  • History, evolution and standardization of Scheme
  • Applications, experience and industrial uses of Scheme
  • Education
  • Scheme pearls (elegant, instructive uses of Scheme)

We also welcome submissions related to dynamic or multiparadigmatic languages and programming techniques.

Submission requirements

Submissions must be in ACM proceedings format, 10-point type. Microsoft Word and LaTeX templates for this format are available at:

Submissions should be in PDF and printable on US Letter.

To encourage authors to submit their best work, this year we are encouraging shorter papers (around 6 pages, excluding references). This is to allow authors to submit longer, revised versions of their papers to archival conferences or journals. Longer papers (10--12 pages) are also acceptable, if the extra space is needed. There is no maximum length limit on submissions, but good submissions will likely be in the range of 6 to 12 pages.

Proceedings will be printed as an Indiana University Technical Report.

Publication of a paper at this workshop is not intended to replace conference or journal publication, and does not preclude re-publication of a more complete or finished version of the paper at some later conference or in a journal.


Workshop Conference Theater, Grand Hyatt Washington, 1000 H Street NW, Washington, DC

After-hours event: Programming Enthusiasts Unite for Great Justice!
Mezzanine Lounge, Capitol City Brewing Company, 1100 New York Ave. NW, Washington, DC


Beckman Coulter logo     Cisco logo

SOIC logo
Program Committee Steering Committee
Michael Adams, University of Utah Will Clinger, Northeastern University
Will Byrd, University of Utah Marc Feeley, Université de Montréal
Stephen Chang, Northeastern University Dan Friedman, Indiana University
John Clements, Cal Poly State University (chair) Olin Shivers, Northeastern University
Chris Earl, University of Utah Mitch Wand, Northeastern University
Kathy Gray, University of Cambridge
Jason Hemann, Indiana University (organizer)
Felix Klock II, Mozilla
Norman Ramsey, Tufts University
Paul Stansifer, Northeastern University
Paul Steckler, San Jose, CA
Mitch Wand, Northeastern University