![Type safety / Type inference / Type system / Theoretical computer science / Type theory / Programming language theory / Software engineering Type safety / Type inference / Type system / Theoretical computer science / Type theory / Programming language theory / Software engineering](https://www.pdfsearch.io/img/f322ff76635c41a2996a09d542273488.jpg) Date: 2006-02-01 19:06:12Type safety Type inference Type system Theoretical computer science Type theory Programming language theory Software engineering | | Flow-Insensitive Type Qualifiers JEFFREY S. FOSTER University of Maryland, College Park and ROBERT JOHNSON and JOHN KODUMAL University of California, BerkeleyAdd to Reading ListSource URL: theory.stanford.eduDownload Document from Source Website File Size: 499,20 KBShare Document on Facebook
|