Lazy Swamp
Tuesday, January 08, 2008
Coq for POPL folk
Coq for POPL folk
Using Proof Assistants for Programming Language Research or, How to write your next POPL paper in Coq
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment