research
∙
09/26/2022
Focusing on Liquid Refinement Typing
We present a foundation systematizing, in a way that works for any evalu...
share
research
∙
08/16/2019
Bidirectional Typing
Bidirectional typing combines two modes of typing: type checking, which ...
research
∙
08/20/2018
