The top documents tagged [form sequentialization]

Strict Bidirectional Type Checking Adam Chlipala, Leaf Petersen, and Robert Harper
Documents Strict Bidirectional Type Checking Adam Chlipala, Leaf Petersen, and Robert Harper

214 views