Equational Reasoning in Programming

Equational Reasoning in Programming

0286822f506fc4621bd3ea0bcbfef238?s=128

Bucharest FP

June 21, 2016
Tweet