Skip to content
Better HN
OOP inheritance expressed with typed λ-calculus [pdf] | Better HN