OOP inheritance expressed with typed λ-calculus [pdf]

3 points| nemexis | 4 years ago |cs.utexas.edu