OOP inheritance expressed with typed λ-calculus [pdf](cs.utexas.edu)3 points by nemexis 4 years ago | 0 commentsNo comments yet