The home page for this workshop can be found here:
Sun 18 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
Sun 18 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change
09:15 - 10:15 | |||
09:15 10mDay opening | Opening Remarks Scheme Alex Shinn Indeed.com | ||
09:25 50mTalk | A verified Lisp implementation for a verified theorem prover Scheme Magnus O. Myreen Chalmers University of Technology, Sweden | ||
10:45 - 12:15 | |||
10:45 30mTalk | A Scheme concurrency library Scheme | ||
11:15 30mTalk | Nash: a tracing JIT for Extension Language Scheme | ||
11:45 30mTalk | Ghosts in the machine Scheme Daniel Szmulewicz None | ||
14:00 - 15:00 | |||
14:00 20mTalk | R7RS update Scheme | ||
14:20 40mTalk | GNU Guix: The Functional GNU/Linux Distro That’s a Scheme Library Scheme Ludovic Courtès INRIA | ||
15:30 - 16:30 | |||
15:30 30mTalk | Function compose, Type cut, And the Algebra of logic Scheme | ||
16:00 30mTalk | Multi-purpose web framework design based on websocket over HTTP Gateway Scheme | ||
17:00 - 18:00 | |||
17:00 30mTalk | miniAdapton: A Minimal Implementation of Incremental Computation in Scheme Scheme Dakota Fisher , Matthew Hammer University of Colorado, Boulder, William E. Byrd University of Utah, Matthew Might University of Utah, USA | ||
17:30 30mTalk | Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists Scheme | ||
Submission
Paper 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
Paper submissions should be in PDF and printable on US Letter, and generally in the range of 6 to 12 pages.
Presentation submissions should include an outline of the material. Talks are 40 minutes, including questions and answers.
Call for Papers
Accepted Papers
Important Dates AoE (UTC-12h)
| Sun 18 Sep 2016 Workshop |
| Mon 15 Aug 2016 Camera-ready deadline |
| Fri 22 Jul 2016 Author notification |
| Fri 24 Jun 2016 Submission deadline |
