Hacker News new | ask | show | jobs
OOP inheritance expressed with typed λ-calculus [pdf] (cs.utexas.edu)
3 points by nemexis 1730 days ago