research
∙
08/21/2023
Algebraic Reasoning About Timeliness
Designing distributed systems to have predictable performance under high...
share
research
∙
11/03/2022
Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal
Context: Generic programming, as defined by Stepanov, is a methodology f...
research
∙
10/12/2020
