DMCA

CakeML: A verified implementation of ML (2014)

by Ramana Kumar , Magnus Myreen , Michael Norrish , Scott Owens
Venue:In Principles of Programming Languages (POPL
Citations:12 - 5 self