Part III: Subtyping

 < Free Open Study > 



Chapter List

Chapter 15: Subtyping
Chapter 16: Metatheory of Subtyping
Chapter 17: An ML Implementation of Subtyping
Chapter 18: Case Study: Imperative Objects
Chapter 19: Case Study: Featherweight Java



 < Free Open Study > 



Types and Programming Languages
Types and Programming Languages
ISBN: 0262162091
EAN: 2147483647
Year: 2002
Pages: 262

flylib.com © 2008-2017.
If you may any questions please contact us: flylib@qtcs.net