A specification for dependent types in Haskell | Proceedings of the ACM on Programming Languages - discu.eu

Reddit

A specification for dependent types in Haskell http://dl.acm.org/citation.cfm?id=3110275 4 comments 31/8/2017 haskell

Linked pages

System F with type equality coercions | Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation https://dl.acm.org/doi/10.1145/1190315.1190324 0 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:dl.acm.org

Search title: A specification for dependent types in Haskell | Proceedings of the ACM on Programming Languages

See how to search.

Submit link to: