21![Data types / Primitive types / C++ / Reference / Subtyping / Integer / String Data types / Primitive types / C++ / Reference / Subtyping / Integer / String](/pdf-icon.png) | Add to Reading ListSource URL: kartverket.noLanguage: English - Date: 2015-07-22 04:38:27
|
---|
22![Was ist Subtyping? Naiver Algorithmus Constraintbasierter Algorithmus Was ist Subtyping? Naiver Algorithmus Constraintbasierter Algorithmus](https://www.pdfsearch.io/img/b0974ad4abdacac1cd42149b12f1d783.jpg) | Add to Reading ListSource URL: www21.in.tum.deLanguage: German - Date: 2015-11-16 04:08:00
|
---|
23![Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen](https://www.pdfsearch.io/img/877908c7c27d9ad95805259a7126fb27.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
24![Feature-Oriented Programming with Object Algebras Bruno C.d.S. Oliveira1 , Tijs van der Storm2 , Alex Loh3 , William R. Cook3 1 National University of Singapore () Feature-Oriented Programming with Object Algebras Bruno C.d.S. Oliveira1 , Tijs van der Storm2 , Alex Loh3 , William R. Cook3 1 National University of Singapore ()](https://www.pdfsearch.io/img/91d09deb73958ff7bcf36ebd4976b790.jpg) | Add to Reading ListSource URL: i.cs.hku.hkLanguage: English - Date: 2013-04-19 04:38:27
|
---|
25![Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems∗ Olaf Owe Department of Informatics, University of Oslo, Norway June 8, 2016 Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems∗ Olaf Owe Department of Informatics, University of Oslo, Norway June 8, 2016](https://www.pdfsearch.io/img/0a645e0e9bb9ea47458172af160ca738.jpg) | Add to Reading ListSource URL: heim.ifi.uio.noLanguage: English - Date: 2016-06-08 08:30:38
|
---|
26![Data types / Object-oriented programming / Type theory / Object / Identifier / Subtyping / Const Data types / Object-oriented programming / Type theory / Object / Identifier / Subtyping / Const](/pdf-icon.png) | Add to Reading ListSource URL: kartverket.noLanguage: English - Date: 2015-07-22 04:38:38
|
---|
27![Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk](https://www.pdfsearch.io/img/79bbb42fbce6f098ff3bf4ed5690db7e.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2016-05-09 14:09:08
|
---|
28![Motivation Context Encoding Motivation Context Encoding](https://www.pdfsearch.io/img/55ee18e778ff1b1f31baa703bcbf0d64.jpg) | Add to Reading ListSource URL: places08.di.fc.ul.ptLanguage: English - Date: 2011-01-31 06:33:44
|
---|
29![DCMMSData Model (Database Level) Copyright © DORSCH Consult, NGWA Copyright © DC Water and Environment DCMMS Landmark DCMMSData Model (Database Level) Copyright © DORSCH Consult, NGWA Copyright © DC Water and Environment DCMMS Landmark](https://www.pdfsearch.io/img/9585717ae790e866a8ce20793be69916.jpg) | Add to Reading ListSource URL: dcmms.sourceforge.net.Language: English - Date: 2009-02-25 15:11:29
|
---|
30![Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT](https://www.pdfsearch.io/img/371ac867b5f439072c98fad7cb843eb4.jpg) | Add to Reading ListSource URL: lampwww.epfl.chLanguage: English - Date: 2014-03-18 17:06:31
|
---|