Dependently-Typed Programming with Logical Equality Reflection | Proceedings of the ACM on Programming Languages - discu.eu

Reddit

Dependently-Typed Programming with Logical Equality Reflection https://dl.acm.org/doi/abs/10.1145/3607852 5 comments 16/9/2023 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 3 comments
https://dl.acm.org/doi/pdf/10.1145/3607853 2 comments

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

Related searches:

Search whole site: site:doi.org

Search title: Dependently-Typed Programming with Logical Equality Reflection | Proceedings of the ACM on Programming Languages

See how to search.

Submit link to: