Structure of a proof-producing compiler for a subset of higher order logic (2007)

by Guodong Li , Scott Owens , Konrad Slind
Venue:16th European Symposium on Programming (ESOP’07
Citations:10 - 7 self