SFP12: Scheme and Functional Programming

Sunday 9 September 2012

8:45 – Welcome

9:00 – Invited talk

9:00 – Scheme on the Web and in the Classroom - a Retrospective about the LAML Project

  • Author: Kurt Nørmark
  • Affiliation: Aalborg University

9:45 – miniKanren, Live and Untagged - Quine generation via Relational Interpreters

  • Author: William E. Byrd
  • Author: Eric Holk
  • Author: Daniel P. Friedman
  • Affiliation: Indiana University

10:15 – Break

10:30 – Implementation

10:30 – Optimizing Closures in O(0) Time

  • Author: Andrew Keep
  • Affiliation: Cisco Systems, Inc.; Indiana University
  • Author: Alex Hearn
  • Affiliation: Indiana University
  • Author: R. Kent Dybvig
  • Affiliation: Cisco Systems, Inc.; Indiana University

11:00 – A Sufficiently Smart Compiler for Procedural Records

  • Author: Andrew Keep
  • Author: R. Kent Dybvig
  • Affiliation: Cisco Systems, Inc.; Indiana University

11:30 – Efficient Compilation of Tail Calls and Continuations to JavaScript

  • Author: Eric Thivierge
  • Author: Marc Feeley
  • Affiliation: Université de Montréal

12:00 – Lunch Break

13:30 – Distilled Tutorials

13:30 – Lexically Scoped Hygienic Quasiquotation

  • Author: Morten Rhiger
  • Affiliation: Roskilde University

14:15 – Aspect-Oriented Programming in Scheme

  • Author: Christopher Dutchyn
  • Affiliation: University of Saskatchewan

15:00 – Break

15:30 – Distilled Tutorials

15:30 – Optimizing JavaScript code for V8

  • Author: Florian Loitsch
  • Affiliation: Google

16:15 – Interpretations of the Gradually-Typed Lambda Calculus

  • Author: Jeremy Siek
  • Affiliation: University of Colorado

17:00 – Break

17:15 – Distilled Tutorial

17:15 – Form over Function - Teaching Beginners How to Construct Programs (one page abstract)

  • Author: Mike Sperber
  • Affiliation: Active Group
  • Marcus Crestani
  • Affiliation: University of Tübingen
  • slides

End: 18:00

Bonus

Scheme Reports Working Group 1 Progress 2012

  • Author: Alex Shinn

Author: Olivier Danvy <danvy@cs.au.dk>

Date: 2012-09-13 10:41:34 CEST

HTML generated by org-mode 6.21b in emacs 23