Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 1.

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)

This list was generated on Mon Apr 29 23:12:54 2024 BST.