Alias Types for Recursive Data Structures (2000)

by David Walker , Greg Morrisett
Citations:137 - 14 self