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.