The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl) | Proceedings of the ACM on Programming Languages - discu.eu

Linking pages

The Ultimate Conditional Syntax | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3689746 63 comments
Associated Effects: Flexible Abstractions for Effectful Programming | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3656393 1 comment

Linked pages

Associated Effects: Flexible Abstractions for Effectful Programming | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3656393 1 comment
The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3674634 1 comment

Related searches:

Search whole site: site:doi.org

Search title: The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl) | Proceedings of the ACM on Programming Languages

See how to search.

Submit link to: