ELPI: an extension language with binders and unification variables (Invited talk)

Whole-channel inclusion: ICFP Video is an honest teaching channel (title sample + 3 transcripts read: All three transcripts show structured expert technical talks explaining research/concepts in functional programming and related fields, consistent with genuine educational conference content.); this title passed a strict title check (sonnet) after a labelling pass.

A 60-minute video from ICFP Video: “ELPI: an extension language with binders and unification variables (Invited talk)”.

Video by ICFP Video, played through YouTube's embedded player.