modern programming
blog about modern programming languages, libraries, tools
Friday, September 1, 2017
Dependent Haskell - a specification
http://dl.acm.org/citation.cfm?id=3110275&CFID=979474992&CFTOKEN=92421154
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment