"Strongly typed memory areas programming systems-level data structures in a ..."

Iavor S. Diatchki, Mark P. Jones (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics