Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan

The home page for this workshop can be found here:

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
Invited TalkScheme at Conference Room 2
09:15
10m
Day opening
Opening Remarks
Scheme
Alex Shinn Indeed.com
09:25
50m
Talk
A verified Lisp implementation for a verified theorem prover
Scheme
Magnus O. Myreen Chalmers University of Technology, Sweden
17:00 - 18:00
17:00
30m
Talk
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
30m
Talk
Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists
Scheme
Jason Hemann Indiana University, Daniel Friedman Indiana University

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