research
∙
04/11/2023
flap: A Deterministic Parser with Fused Lexing
Lexers and parsers are typically defined separately and connected by a t...
share
research
∙
09/26/2022
Focusing on Liquid Refinement Typing
We present a foundation systematizing, in a way that works for any evalu...
research
∙
03/03/2022
Implicit Polarized F: local type inference for impredicativity
System F, the polymorphic lambda calculus, features the principle of imp...
research
∙
10/23/2020
Adjoint Reactive GUI
Most interaction with a computer is done via a graphical user interface....
research
∙
08/16/2019
Bidirectional Typing
Bidirectional typing combines two modes of typing: type checking, which ...
research
∙
07/16/2019