A correct-by-construction conversion from lambda calculus to combinatory logic (JFP Functional Pearls) (ICFP 2024 - JFP First Papers)

Mon 2 - Sat 7 September 2024 Milan, Italy

Track

ICFP 2024 JFP First Papers

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 3 Sep 2024 16:06 - 16:24 at Green 1-2-3 - Logical Foundations Chair(s): Kenji Maillard

Abstract

This pearl defines a translation from well-typed lambda terms to combinatory logic, where both the preservation of types and the correctness of the translation are enforced statically.

DOI

https://doi.org/10.1017/S0956796823000084

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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

15:30 - 17:00	Logical FoundationsICFP Papers and Events / JFP First Papers at Green 1-2-3 Chair(s): Kenji Maillard Inria

15:30 18m Talk		Grokking the Sequent Calculus (Functional Pearl) ICFP Papers and Events David Binder University of Tübingen, Marco Tzschentke Universität Tübingen, Marius Müller University of Tübingen, Klaus Ostermann University of Tübingen DOI
15:48 18m Talk		Call-by-Unboxed-Value ICFP Papers and Events Paul Downen University of Massachusetts at Lowell DOI
16:06 18m Talk		A correct-by-construction conversion from lambda calculus to combinatory logic (JFP Functional Pearls)JFP First Paper JFP First Papers Wouter Swierstra Utrecht University, Netherlands DOI
16:24 18m Talk		On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs ICFP Papers and Events Paulo Torrens University of Kent, Dominic Orchard University of Kent; University of Cambridge, Cristiano Vasconcellos Santa Catarina State University DOI Pre-print
16:42 18m Talk		Example-Based Reasoning about the Realizability of Polymorphic ProgramsDistinguished Paper ICFP Papers and Events Niek Mulleners Utrecht University, Johan Jeuring Utrecht University, Bastiaan Heeren Open Universiteit DOI Pre-print

A correct-by-construction conversion from lambda calculus to combinatory logic (JFP Functional Pearls)

JFP First Paper

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

Wouter Swierstra

Utrecht University, Netherlands

Tracks

Workshops

Co-hosted Symposia

A correct-by-construction conversion from lambda calculus to combinatory logic (JFP Functional Pearls)

JFP First Paper

Program Display Configuration

Program Display Configuration

Tue 3 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wouter Swierstra

Utrecht University, Netherlands

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