Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany

The Scheme and Functional Programming Workshop is a yearly meeting of programming language practitioners who share an aesthetic sense embodied by the Algorithmic Language Scheme: universality through minimalism, and flexibility through rigorous design.

Workshop website

Accepted Papers

Title
Afternoon Keynote
Scheme
gLua: A modern Lua transpiler in Scheme
Scheme
Lightning talk: Commanding Emacs from Coq
Scheme
Morning Keynote
Scheme
Reigniting Fuse, an Online Partial Evaluator for Scheme
Scheme
Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types
Scheme
SRFI-167, SRFI-168 and the functional store
Scheme
Stack-Liberated Abstract Garbage Collection
Scheme
Syntax Templates In Racket
Scheme
Visualizing Abstract Abstract Machines
Scheme

Call for Papers

Main Workshop Page: https://thomas.gilray.org/scheme-2019/

We invite high-quality papers about novel research results, lessons learned from practical experience in an industrial or educational setting, and even new insights on old ideas. We welcome and encourage submissions that apply to any dynamic functional language, especially those that can be considered a Scheme: from strict subsets of RnRS to other “Scheme” implementations, to Racket, to Lisp dialects including Clojure, Emacs Lisp, Common Lisp, to functional languages with continuations and/or macros (or extended to have them) such as Dylan, ECMAcript, Hop, Lua, Scala, Rust, etc. The elegance of the paper and the relevance of its topic to the interests of Schemers will matter more than the surface syntax of the examples used. Topics of interest include (but are not limited to):

  • Interaction: program-development environments, debugging, testing, refactoring
  • Implementation: interpreters, compilers, tools, garbage collectors, benchmarks
  • Extension: macros, hygiene, domain-specific languages, reflection, and how such extension affects interaction.
  • Expression: control, modularity, ad hoc and parametric polymorphism, types, aspects, ownership models, concurrency, distribution, parallelism, non-determinism, probabilism, and other programming paradigms
  • Integration: build tools, deployment, interoperation with other languages and systems -Formal semantics: Theory, analyses and transformations, partial evaluation
  • Human Factors: Past, present and future history, evolution and sociology of the language Scheme, its standard and its dialects
  • Education: approaches, experiences, curricula
  • Applications: industrial uses of Scheme
  • Scheme pearls: elegant, instructive uses of Scheme

For formatting instructions, please see the main workshop page.

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

Sun 18 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:20
Morning KeynoteScheme at Birch
09:00
60m
Talk
Morning Keynote
Scheme
Edwin Brady University of St. Andrews, UK
10:50 - 12:10
Research Session 1Scheme at Birch
10:30
30m
Talk
Syntax Templates In Racket
Scheme
Ryan Culpepper Czech Technical University
11:00
30m
Talk
Visualizing Abstract Abstract Machines
Scheme
Kyle Headley The University of Alabama at Birmingham
11:30
30m
Talk
gLua: A modern Lua transpiler in Scheme
Scheme
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:40 - 14:50
Research Session 2Scheme at Birch
14:00
20m
Talk
Lightning talk: Commanding Emacs from Coq
Scheme
Joomy Korkut Princeton University, USA
14:20
20m
Talk
Reigniting Fuse, an Online Partial Evaluator for Scheme
Scheme
Paulette Koronkevich University of British Columbia
14:40
20m
Talk
SRFI-167, SRFI-168 and the functional store
Scheme
15:20 - 16:40
Research Session 3Scheme at Birch
15:30
30m
Talk
Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types
Scheme
Satoshi Egi Rakuten Institute of Technology
16:00
30m
Talk
Stack-Liberated Abstract Garbage Collection
Scheme
Kimball Germane University of Utah, Michael D. Adams University of Michigan
17:10 - 18:10
Afternoon KeynoteScheme at Birch
17:10
60m
Talk
Afternoon Keynote
Scheme
Andy Keep Cisco Systems, Inc
18:10 - 19:10
Happy HourCatering at Restaurant
18:10
60m
Social Event
Happy Hour
Catering