Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Sun 23 Sep 2018 09:00 - 10:00 at Frisco+Burlington Route - morning-1

We are working on a new tutorial presentation of L, the polarized version of Curien-Herbelin’s μμ̃ calculus. The calculus μμ̃ was introduced in Curien and Herbelin [2000] as a good term calculus for classical logic, which in particular reveals a perfect symmetry (in the classical setting) between call-by-value and call-by-name evaluation. Its polarized version, L, restricts the reduction rules according to a type- or polarity-based evaluation order; as Call-By-Push-Value [Levy 1999], it can express and mix both call-by-name and call-by-value terms in the same program, and is an interesting vehicle to study side-effects.

We would like to offer a presentation of a fragment of our in-progress tutorial to the HOPE audience, as an act of popularization for newcomers, and as the best way to get feedback on our approach from newcomers and experts alike.

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: morning-1HOPE at Frisco+Burlington Route
09:00 - 10:00
A preview of a tutorial on L (polarized μμ̃)
Kenji MaillardInria Paris and ENS Paris, Étienne MiqueyINRIA, Xavier MontilletINRIA, Guillaume Munch-MaccagnoniInria, Gabriel SchererINRIA Saclay