ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Sat 9 Sep 2023 11:00 - 11:30 at Olympic - SCHEME: Session II Chair(s): Marco T Morazan

In this talk we present the Calysto Scheme Project. Calysto Scheme is written in Scheme in Continuation-Passing Style, and converted through a series of correctness-preserving transformations into Python. It has support for standard Scheme functionality, including call/cc, as well as syntactic extensions, a nondeterministic operator for automatic backtracking, and many extensions to allow Python interoperation.

Because of its Python foundation, it can easily take advantage of modern Python libraries, including those for machine learning and other pedagogical contexts. Although Calysto Scheme was developed with educational purposes in mind, it has proven to be generally useful due to its simplicity and ease of installation. It has been integrated into the Jupyter Notebook ecosystem and used in the classroom to teach introductory Programming Languages with some interesting and unique twists.

Sat 9 Sep

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

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

Information for Participants
Info for event:

Schedule: 11:00-11:30