research
∙
12/11/2021
Overcoming Restraint: Composing Verification of Foreign Functions with Cogent
Cogent is a restricted functional language designed to reduce the cost o...
research
∙
02/19/2021