QED Lecture 2, Part 1: Reflection & Transmission by Summing All Possible Paths

Name: QED Lecture 2, Part 1: Reflection & Transmission by Summing All Possible Paths
Uploaded: 2026-09-22T00:23:35.000Z
Duration: 19 min 40 s
Channel: Ryan T. Gibb
Description: This talk introduces the Package Calculus, a formal model for dependency resolution that aims to unify and clarify the semantics of diverse package management systems.

Ryan T. Gibb

Browse

University of Cambridge·Ryan T. Gibb

19:40

0:00/19:40

Notebook

Press N to jot a timestamped note or B to pin a moment while watching.

Open in Study Notebook →

QED Lecture 2, Part 1: Reflection & Transmission by Summing All Possible Paths

Ryan T. Gibb University of Cambridge

19:40·2026·graduate level·Conference Talk

YouTube

This talk introduces the Package Calculus, a formal model for dependency resolution that aims to unify and clarify the semantics of diverse package management systems.

Package Managers à la Carte: A Formal Model of Dependency Resolution (Video, ICFP 2026) Ryan T. Gibb, Patrick Ferris, David Allsopp, Thomas Gazagnaire, Anil Madhavapeddy (University of Cambridge, UK; University of Cambridge, UK; Jane Street, UK; Tarides, France; University of Cambridge, UK)

Systems & CS Programming Languages Operating Systems Software Engineering Formal Methods Dependency Management Programming Language Theory