A
Menu
August 29, 2016 conference-paper Open access

A new verified compiler backend for CakeML

ACM SIGPLAN International Conference on Functional Programming (ICFP)

DOI: 10.1145/2951913.2951924 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 54

1 result

References 0