Closed Types for a Safe Imperative MetaML (2001)

by C. Calcagno , E. Moggi , T. Sheard
Citations:32 - 11 self