[2103.06127] Linearly Qualified Types: Generic inference for capabilities and uniqueness - discu.eu

Reddit

Linear Constraints https://arxiv.org/abs/2103.06127 16 comments 12/3/2021 haskell

Linking pages

About capture checking. in scala 3 | by Oleg Nizhnik | Medium https://medium.com/@odomontois/several-days-ago-we-saw-the-new-experimental-feature-called-capture-checking-was-announced-in-e4aa9bc4b3d1 5 comments

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

Related searches:

Search whole site: site:arxiv.org

Search title: [2103.06127] Linearly Qualified Types: Generic inference for capabilities and uniqueness

See how to search.

Submit link to: