research
∙
08/21/2023
Algebraic Reasoning About Timeliness
Designing distributed systems to have predictable performance under high...
share
research
∙
04/30/2018
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
First-order resolution has been used for type inference for many years, ...
research
∙
03/01/2018
