OOP inheritance expressed with typed λ-calculus [pdf] #1 Post by nemexis » Tue, Sep 21, 2021, 4:26 PM UTC OOP inheritance expressed with typed λ-calculus [pdf]cs.utexas.edu