We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Add link to Martin Steffen's thesis.
Add link to coeffect references
Add links to Andreas' papers on polarized (sub)typing.
Add my abstract on internalizing variance