research
∙
06/10/2023
The Design Principles of the Elixir Type System
Elixir is a dynamically-typed functional language running on the Erlang ...
share
research
∙
11/05/2021
Programming with union, intersection, and negation types
In this essay, I present the advantages and, I dare say, the beauty of p...
research
∙
07/12/2019
Revisiting Occurrence Typing
We revisit occurrence typing, a technique to refine the type of variable...
research
∙
10/12/2018
Semantic subtyping for non-strict languages
Semantic subtyping is an approach to define subtyping relations for type...
research
∙
09/05/2018