Verified characteristic formulae for CakeML


Guéneau, A, Myreen, M, Kumar, R et al 2017, 'Verified characteristic formulae for CakeML', 26th European Symposium on Programming, ESOP 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, ed. Yang H., Conference Organising Committee, TBC, pp. 584-610.



ANU Authors

Field of Research

  • Programming Languages

Updated:  03 July 2022 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers