OOP inheritance expressed with typed λ-calculus [pdf]cs.utexas.edu3 points·nemexis··0 commentsOpen articleSaveView on HN