Login / Signup
COGENT: Certified Compilation for a Functional Systems Language.
Liam O'Connor
Christine Rizkallah
Zilin Chen
Sidney Amani
Japheth Lim
Yutaka Nagashima
Thomas Sewell
Alex Hixon
Gabriele Keller
Toby C. Murray
Gerwin Klein
Published in:
CoRR (2016)
Keyphrases
</>
decision making
natural language
management system
learning systems
complex systems
language learning
formal languages
real time
neural network
information retrieval
expert systems
source code
computational models
computing systems
highly modular