Browse by Journal
Jump to: Article
Number of items: 1.
Article
Owens, Scott, Norrish, Michael, Kumar, Ramana, Myreen, Magnus O., Tan, Yong Kiam (2017) Verifying Efficient Function Calls in CakeML. Proceedings of the ACM Programming Languages, 1 (ICFP). Article Number 18. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3110262) (KAR id:62156) |