content/digarden/pages/20210425144000-philip_wadler.org


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