QED Lecture 2, Part 1: Reflection & Transmission by Summing All Possible Paths
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.
Faculty & Researcher Profile
Ryan T. Gibb
Faculty & Visiting Speaker, University of Cambridge
Ryan T. Gibb is a faculty member and visiting speaker at the University of Cambridge, specializing in quantum electrodynamics.
1standalone talk1total lecture1hrecorded
Standalone talks by Ryan T. Gibb
1Self-contained public lectures, keynote addresses, and research seminars.