article-journal

Capturing Types

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be …

Alex Boruch⁠-⁠Gruszecki, Martin Odersky, Edward Lee, Ondřej Lhoták, Jonathan Brachthäuser