The home page for this workshop can be found here:
Sun 18 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change
Sun 18 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change
| 09:15 - 09:25 Day opening | Opening Remarks Scheme Alex ShinnIndeed.com | ||
| 09:25 - 10:15 Talk | A verified Lisp implementation for a verified theorem prover Scheme Magnus O. MyreenChalmers University of Technology, Sweden | ||
| 10:45 - 11:15 Talk | A Scheme concurrency library Scheme | ||
| 11:15 - 11:45 Talk | Nash: a tracing JIT for Extension Language Scheme | ||
| 11:45 - 12:15 Talk | Ghosts in the machine Scheme | ||
| 14:00 - 14:20 Talk | R7RS update Scheme | ||
| 14:20 - 15:00 Talk | GNU Guix: The Functional GNU/Linux Distro That’s a Scheme Library Scheme Ludovic CourtèsINRIA | ||
| 15:30 - 16:00 Talk | Function compose, Type cut, And the Algebra of logic Scheme | ||
| 16:00 - 16:30 Talk | Multi-purpose web framework design based on websocket over HTTP Gateway Scheme | ||
| 17:00 - 17:30 Talk | miniAdapton: A Minimal Implementation of Incremental Computation in Scheme Scheme Dakota Fisher, Matthew HammerUniversity of Colorado, Boulder, William E. ByrdUniversity of Utah, Matthew MightUniversity of Utah, USA | ||
| 17:30 - 18:00 Talk | 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 |
