4 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
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…