research
∙
07/11/2023
Simple Reference Immutability for System F-sub
Reference immutability is a type based technique for taming mutation tha...
share
research
∙
07/07/2022
Scoped Capabilities for Polymorphic Effects
Type systems usually characterize the shape of values but not their free...
research
∙
05/25/2021
Tracking Captured Variables in Types
Type systems usually characterize the shape of values but not their free...
research
∙
10/28/2019
Precise Dataflow Analysis of Event-Driven Applications
Event-driven programming is widely used for implementing user interfaces...
research
∙
08/14/2019
Undecidability of D_<: and Its Decidable Fragments
Dependent Object Types (DOT) is a calculus with path dependent types, in...
research
∙
04/15/2019
A Path To DOT: Formalizing Fully-Path-Dependent Types
The Dependent Object Types (DOT) calculus aims to formalize the Scala pr...
research
∙
06/12/2017
