ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 9 Sep

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
SCHEME: Session IScheme at Olympic
Chair(s): Jason Hemann Seton Hall University

09:30 Visualizing Why Nondeterministic Finite-State Automatons Reject, Oliwia Kempinski and Marco T. Morazan

10:00 Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation, Tijana Minic and Marco T. Morazan

09:30
30m
Talk
Visualizing Why Nondeterministic Finite-State Automa Reject
Scheme
A: Oliwia Kempinski , Marco T Morazan Seton Hall University
10:00
30m
Talk
Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation
Scheme
A: Tijana Minic Seton Hall University, Marco T Morazan Seton Hall University
11:00 - 12:30
SCHEME: Session IIScheme at Olympic
Chair(s): Marco T Morazan Seton Hall University

11:00 The Calysto Scheme Project, James B. Marshall and Douglas Blank

11:30 Keynote Address: The Rational Programmer, Christos Dimoulas

11:00
30m
Talk
The Calysto Scheme Project
Scheme
A: James Marshall Sarah Lawrence College, Douglas Blank Bryn Mawr College
Pre-print
11:30
60m
Keynote
The Rational Programmer, An Investigative Method for Programming Language Pragmatics
Scheme
Christos Dimoulas PLT @ Northwestern University
14:00 - 15:30
SCHEME: Session IIIScheme at Olympic
Chair(s): Jason Hemann Seton Hall University

14:00 A R4RS Compliant REPL in 8Kb, Léonard Oest O’Leary

14:30 Lightning Talk: Designing a Language for Learning Continuations, Youyou Cong

14:00
30m
Talk
A R4RS Compliant REPL in 8Kb
Scheme
Léonard Oest O'Leary Université de Montréal
14:30
20m
Talk
Lightning Talk: Designing a Language for Learning ContinuationsRecorded
Scheme
Youyou Cong Tokyo Institute of Technology
Pre-print