Complete and easy type Inference for first-class polymorphism (2023)
Attributed to:
Effect Handler Oriented Programming
funded by
UKRI FLF
Abstract
No abstract provided