Monday, August 1, 2016

F*: Dependently typed ML

http://ift.tt/1g0f0tJ

Submitted August 01, 2016 at 08:57PM by kitfreddura http://ift.tt/2arrvPo Check me out at http://ift.tt/1RyFBcs !
Posted by at
Labels: , , , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)