Mattias Lundell
Archive
Hello World!
09 Nov 2014
Less is more.
Newer
·
View Archive (10)
[VIDEO] Verifying Stateful and Side-effecting Programs using Dependent Types