Scheme and Functional Programming Workshop 2015

Vancouver, British Columbia, Canada

Co-located with ICFP 2015

Photo by Thom Quine, CC 2.0 Generic Attribution

Proceedings

The proceedings are available as a Northeastern Technical Report.

Important Dates

Paper deadline
(extended)
May 22nd, 2015
May 31st, 2015
Author notification
June 26th, 2015
July 5th, 2015
Camera-ready deadline
July 19th, 2015
July 26th, 2015
Workshop
September 4th, 2015

Important Links

Celebrating 40 years of Scheme!

This year's workshop marks 40 years since the original paper on Scheme, SCHEME: An Interpreter for Extended Lambda Calculus, by Gerald Jay Sussman and Guy Lewis Steele Jr.

News

August 17, 2015
Program Posted!
August 8, 2015
I'm pleased to announce Olin Shivers (Northeastern University) will be giving the Keynote Speech at this year's Scheme Workshop!

Program

9:00 AM - 10:00 AM
Opening & Keynote
Olin Shivers (Northeastern University)
10:00 AM - 10:30 AM
Coffee Break
10:30 AM - 10:55 AM
R7RS Considered Unifier of Previous Standards
William D Clinger (Northeastern University)
10:55 AM - 11:20 AM
A Framework for Extending microKanren with Constraints
Jason Hemann (Indiana University) and Daniel P. Friedman (Indiana University)
11:20 AM - 11:40 AM
Break
11:40 AM - 12:05 PM
State Exploration Choices in a Small-Step Abstract Interpreter
Steven Lyde (University of Utah) and Matthew Might (University of Utah)
12:05 PM - 12:30 PM
Type Check Removal Using Lazy Interprocedural Code Versioning
Baptiste Saleil (Université de Montréal) and Marc Feeley (Université de Montréal)
12:30 PM - 2:00 PM
Lunch
2:00 PM - 2:45 PM
Report on the Revised7 Report on the Algorithmic Language Scheme
William D Clinger (Northeastern University)
2:45 PM - 3:00 PM
Break
3:00 PM - 4:00 PM
Beyond Hygienic Macros
Ryan Culpepper (Northeastern University)
4:00 PM - 4:30 PM
Tea Break
4:30 PM - 4:45 PM
Beyond Hygienic Macros (continued)
Ryan Culpepper (Northeastern University)
4:45 PM - 6:00 PM
Interpreting Scheme procedures as logic programs using miniKanren
Will Byrd (University of Utah) and Michael Ballantyne (University of Utah)

Accepted Papers

R7RS Considered Unifier of Previous Standards
William D Clinger (Northeastern University)
State Exploration Choices in a Small-Step Abstract Interpreter
Steven Lyde (University of Utah) and Matthew Might (University of Utah)
A Framework for Extending microKanren with Constraints
Jason Hemann (Indiana University) and Daniel P. Friedman (Indiana University)
Type Check Removal Using Lazy Interprocedural Code Versioning
Baptiste Saleil (Université de Montréal) and Marc Feeley (Université de Montréal)

We will also have invited distilled tutorials on:

Beyond Hygienic Macros
Ryan Culpepper (Northeastern University)
Interpreting Scheme procedures as logic programs using miniKanren
Will Byrd (University of Utah) and Michael Ballantyne (University of Utah)

Along with a report on the Revised 7 Report on the Algorithmic Language Scheme by William D Clinger (Northeastern University)

Topics

Submissions related to Scheme, Racket, Clojure, 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 Information

Submissions must be in ACM proceedings format, no smaller than 9-point type (10-point type preferred). Microsoft Word and LaTeX templates for this format are available at:

http://www.acm.org/sigs/sigplan/authorInformation.htm

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 a University Technical Report and posted on this website ahead of the workshop.

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.

Program Committee

Steering Committee