3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2021
Overcoming Restraint: Composing Verification of Foreign Functions with Cogent
Louis Cheung, Liam O'Connor, Christine Rizkallah
Cogent is a restricted functional language designed to reduce the cost of developing verified systems code. Because of its sometimes-onerous restrictions, such as the lack of suppo…
cs.PL2016★ 3 cited
Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML
Yutaka Nagashima, Liam O'Connor
We implement a library for encoding constructor classes in Standard ML, including elaboration from minimal definitions, and automatic instantiation of superclasses.