path-dependent type Nada Amin, Tiark Rompf, Martin Odersky “Foundations of Path-Dependent Types” 2014 https://www.notion.so/c4se/Nada-Amin-Tiark-Rompf-Martin-Odersky-Foundations-of-Path-Dependent-Type