![Type theory / Object-oriented programming / Data types / Type system / Structural type system / Abstract type / Closure / Smalltalk / Object / Software engineering / Computing / Computer programming Type theory / Object-oriented programming / Data types / Type system / Structural type system / Abstract type / Closure / Smalltalk / Object / Software engineering / Computing / Computer programming](https://www.pdfsearch.io/img/cb3157ecf2cfe4341501ba854d56c320.jpg) Date: 2014-04-04 10:37:54Type theory Object-oriented programming Data types Type system Structural type system Abstract type Closure Smalltalk Object Software engineering Computing Computer programming | | Wyvern: A Simple, Typed, and Pure Object-Oriented Language Ligia Nistor, Darya Kurilova, Stephanie Balzer, Benjamin Chung, Alex Potanin1 , and Jonathan Aldrich Carnegie Mellon University {lnistor, darya, balzers, bwchungAdd to Reading ListSource URL: www.cs.cmu.eduDownload Document from Source Website File Size: 256,53 KBShare Document on Facebook
|