summaryrefslogtreecommitdiff
path: root/content/digarden/20210425144000-philip_wadler.org
blob: 9937dc164ffcb32726e4b2f520a58fda5053cf81 (plain)
1
2
3
4
5
6
7
8
9
:PROPERTIES:
:ID:       e20979bc-9ea0-4078-b455-44eae633bf01
:END:
#+title: Philip Wadler
* Philip Wadler
Информатик. Ввёл в [[id:cf9a0dd5-561b-4330-bdfd-07689db2dc44][Java]] дженерики.

"Propositions as Types" by Philip Wadler:
https://youtube.com/watch?v=IOiZatlZtGU