diff options
Diffstat (limited to 'content/digarden/pages/20210425144000-philip_wadler.org')
| -rw-r--r-- | content/digarden/pages/20210425144000-philip_wadler.org | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/content/digarden/pages/20210425144000-philip_wadler.org b/content/digarden/pages/20210425144000-philip_wadler.org new file mode 100644 index 0000000..9937dc1 --- /dev/null +++ b/content/digarden/pages/20210425144000-philip_wadler.org @@ -0,0 +1,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 |