More Fixpoints! (Functional Pearl) - discu.eu

Lobsters

More Fixpoints! (Functional Pearl) https://dl.acm.org/doi/pdf/10.1145/3607853 2 comments 12/3/2024 compilers , haskell , pdf

Linking pages

Dependently-Typed Programming with Logical Equality Reflection | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/abs/10.1145/3607852 5 comments

Related searches:

Search whole site: site:dl.acm.org

Search title: More Fixpoints! (Functional Pearl)

See how to search.

Submit link to: