research
∙
07/18/2023
Crème de la Crem: Composable Representable Executable Machines (Architectural Pearl)
In this paper we describe how to build software architectures as a compo...
share
research
∙
10/13/2020
Resolution as Intersection Subtyping via Modus Ponens
Resolution and subtyping are two common mechanisms in programming langua...
research
∙
05/28/2020
Explicit Effect Subtyping
As popularity of algebraic effects and handlers increases, so does a dem...
research
∙
06/28/2019