![Type theory / Data types / Functional languages / Object-oriented programming / Type systems / Subtyping / Whiley / OCaml / ALGOL 68 / Type conversion / Const / ML Type theory / Data types / Functional languages / Object-oriented programming / Type systems / Subtyping / Whiley / OCaml / ALGOL 68 / Type conversion / Const / ML](https://www.pdfsearch.io/img/032cb5ab24ce2573d1c6cfbcf79fd422.jpg) Date: 2012-11-09 02:30:24Type theory Data types Functional languages Object-oriented programming Type systems Subtyping Whiley OCaml ALGOL 68 Type conversion Const ML | | Sound and Complete Flow Typing with Unions, Intersections and Negations David J. Pearce Victoria University of Wellington Wellington, New Zealand {djp}@ecs.vuw.ac.nzAdd to Reading ListSource URL: homepages.ecs.vuw.ac.nzDownload Document from Source Website File Size: 115,54 KBShare Document on Facebook
|