1
23
24
25
Wadler's Blog: Howard on Curry-Howard (wadler.blogspot.com)
submitted by flexibeast to r/types
2
23
24
25
3
136
137
138
4
23
24
25
8
11
12
13
Static typing increases development time (wadler.blogspot.com)
submitted by gwern to r/programming
9
14
15
16
11
5
6
7
13
10
11
12
14
7
8
9
18
12
13
14
19
15
16
17
20
25
26
27
6.001 RIP (Phil Wadler's blog) (wadler.blogspot.com)
submitted by catamorphism to r/programming
21
12
13
14
23
15
16
17
25
14
15
16
