Programme of the 2007 Workshop on Scheme and Functional Programming:
9.00 to 9.10: Welcome (
cover
and
front matter
of the proceedings)
9.10 to 10.00: Session I
Chairman: Marc Feeley
Advanced Macrology and the Implementation of Typed Scheme
Ryan Culpepper, Sam Tobin-Hochstadt, and Matthew Flatt
Well-typed programs can't be blamed
Philip Wadler and Robert Bruce Findler
10.30 to 12.30: Session II
Chairman: John Clements
Generation-Friendly Eq Hash Tables
Abdulaziz Ghuloum and R. Kent Dybvig
Exceptional Continuations in JavaScript
Florian Loitsch
Software Transactions Meet First-Class Continuations
Aaron Kimball and Dan Grossman
Towards a Portable and Mobile Scheme Interpreter
Adrien Piérard and Marc Feeley
Applications of Fold to XML Transformation
Andy Wingo
14.00 to 15.30: Session III
\alpha Kanren - A Fresh Name in Nominal Logic Programming
William E. Byrd and Daniel P. Friedman
An Executable Rewriting Logic Semantics of K-Scheme
Patrick Meredith, Mark Hills, and Grigore Rosu
Toward abstract profiling
Nguyen-Minh Bui
Deriving a Comprehensive Document from a Concise Document - Document Engineering in Scheme
Kurt Nørmark
Gannet: a Scheme for Task-level Reconfiguration of Service-based Systems-on-Chip
Wim Vanderbauwhede
Implementing Language-Dependent Lexicographic Orders in Scheme
Jean-Michel Hufflen
16.00 to 17.30: Discussion related to R6RS
Chairman: Mitchell Wand
Last edited: October 30, 2007.