Skip to content

Releases: fram-lang/dbl

Deciding not to Decide

22 Jan 15:30
@forell forell
esop26
4699d9a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Deciding not to Decide Latest
Latest

This is the version of DBL that implements the effect inference algorithm described in the ESOP'26 paper "Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism."

Assets 2
Loading