11 citations · 18 across the 3 of their papers we have counts for
1 paper · 2 filters
Liam O'Connor, Christine Rizkallah, Zilin Chen +8
We present a self-certifying compiler for the COGENT systems language. COGENT is a restricted, polymorphic, higher-order, and purely functional language with linear types and witho…