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 3 comments
- A Machine-Oriented Logic Based on the Resolution Principle | Journal of the ACM https://dl.acm.org/doi/10.1145/321250.321253 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:doi.org
Search title: Intensional Functions | Proceedings of the ACM on Programming Languages
See how to search.