Verified characteristic formulae for CakeML

Citation

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.

Year

2017

ANU Authors

Field of Research

  • Programming Languages

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers