David Aspinall Subtyping with Singleton Types. 1-15 1994 conf/csl/1994 CSL db/conf/csl/csl94.html#Aspinall94 http://dx.doi.org/10.1007/BFb0022243