|
|
|
|
|
|
by rs86
2742 days ago
|
|
|
Should PLT be included? There's the Backus lecture on why functional programming matters, the ML language and hindley milner type inference, object oriented programming, polymorphism, dependent types, lambda calculus, curry howard isomorphism, Martin lof type theory, Automath, coq... |
|
|