The verified CakeML compiler backend.
Saved in:
| Title: | The verified CakeML compiler backend. |
|---|---|
| Authors: | KIAM TAN, YONG1 yongkiat@cs.cmu.edu, MYREEN, MAGNUS O.2 myreen@chalmers.se, KUMAR, RAMANA3 ramana.kumar@gmail.com, FOX, ANTHONY4 Anthony.Fox@arm.com, OWENS, SCOTT5 S.A.Owens@kent.ac.uk, NORRISH, MICHAEL6 Michael.Norrish@data61.csiro.au |
| Source: | Journal of Functional Programming. 2019, Vol. 29, p1-57. 57p. |
| Database: | Mathematics Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
