1OOP inheritance expressed with typed λ-calculus [pdf] (opens in new tab)(cs.utexas.edu)3nemexis4y ago0