Adapting the MVVM pattern to C++ frontends and Agda-based backends (ICFP 2026 - ICFP Papers) - ICFP 2026

Mon 24 - Sat 29 August 2026 Indianapolis, Indiana, United States

Track

ICFP 2026 ICFP Papers

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

When

Tue 25 Aug 2026 11:42 - 12:00 at IP126 Auditorium - Types, Testing, and Data Structures Chair(s): Steve Zdancewic

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

Session Program

Tue 25 Aug
Displayed time zone: Eastern Time (US & Canada) change

	10:30 - 12:00	Types, Testing, and Data StructuresICFP Papers at IP126 Auditorium Chair(s): Steve Zdancewic University of Pennsylvania

	10:30 18m Talk		Inlining as a space optimization: a simple time- and space-invariant implementation of the weak lambda-calculusDistinguished PaperRemote ICFP Papers Thibaut Balabonski LMF, CNRS, Université Paris-Saclay DOI
	10:48 18m Talk		First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of TerminationDistinguished Paper ICFP Papers Chun Kit Lam The Hong Kong University of Science and Technology (HKUST), Florent Ferrari-Dominguez ENS de Lyon, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) DOI
	11:06 18m Talk		Programmable Property-Based TestingDistinguished Paper ICFP Papers Alperen Keles University of Maryland at College Park, Justine Frank University of Maryland, College Park, Ceren Mert University of Maryland, College Park, Harrison Goldstein University at Buffalo, SUNY, Leonidas Lampropoulos University of Maryland at College Park DOI
	11:24 18m Talk		A Catenable, Splittable, Transient Sequence Data StructureDistinguished Paper ICFP Papers Arthur Charguéraud Inria, François Pottier Inria DOI
	11:42 18m Talk		Adapting the MVVM pattern to C++ frontends and Agda-based backendsJFP First Paper ICFP Papers Viktor Csimma

Hide past events

Viktor Csimma