TY  - RPRT
TI  - COGENT: Certified Compilation for a Functional Systems Language
AU  - Liam O'Connor
AU  - Christine Rizkallah
AU  - Zilin Chen
AU  - Sidney Amani
AU  - Japheth Lim
AU  - Yutaka Nagashima
AU  - Thomas Sewell
AU  - Alex Hixon
AU  - Gabriele Keller
AU  - Toby Murray
AU  - Gerwin Klein
PY  - 2016
UR  - https://arxiv.org/abs/1601.05520
ID  - 1601.05520
ER  -