DMCA

A Provably Correct Compiler Generator (1992)

by Jens Palsberg
Venue:IN PROC. ESOP’92, SPRINGER-VERLAG (LNCS 582), PAGES 418–434
Citations:28 - 2 self