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.