Skip to content

Achieving Type Safety for Low-Level Code.

J. Gregory Morrisett

VenueBICLP
Year2003
ProceedingsICLP

Browse the full ICLP paper archive.