Speaker Deck
Sign in
Sign up
for free
Equational Reasoning in Programming
Bucharest FP
June 21, 2016
Programming
0
200
Equational Reasoning in Programming
http://bucharestfp.ro/2016/06/21/equational-reasoning-in-programming/
Bucharest FP
June 21, 2016
Tweet
Share
Want more?
Jan 23, 2019
1
11
Oct 1, 2018
0
450
Aug 20, 2018
0
21
Oct 7, 2018
132
6.1k
Nov 13, 2018
104
3.1k
Jul 20, 2018
351
22k
Jun 14, 2018
177
7.2k
Jun 19, 2018
299
16k
Jun 18, 2018
221
7.8k
Jun 7, 2018
450
27k
Jun 8, 2018
196
7.7k
Jun 6, 2018
156
5.9k