Adresses English version – SOSI standard 4.0 Adresses English version – SOSI standard 4.0 Adresses

Source URL: kartverket.no

• Data types
• Primitive types
• C++
• Reference
• Subtyping
• Integer
• String

Was ist Subtyping? Naiver Algorithmus Constraintbasierter Algorithmus

Source URL: www21.in.tum.de

Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen

Source URL: www.olejohandahl.info

• Type theory
• Data types
• Object-oriented programming
• Model theory
• Polymorphism
• Subtyping
• Type system
• FO
• Generic programming
• Functional predicate
• -recursive function
• Function

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 ()

Source URL: i.cs.hku.hk

• Object-oriented programming
• Type theory
• Data types
• Scala
• Algebra over a field
• Combinatory logic
• Factory
• Subtyping
• Is-a
• Polymorphism
• Von Neumann algebra
• Type system

Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems∗ Olaf Owe Department of Informatics, University of Oslo, Norway June 8, 2016

Source URL: heim.ifi.uio.no

• Object-oriented programming
• Inheritance
• Method
• Subtyping
• Liskov substitution principle
• Is-a
• Class
• Eiffel
• Monad
• Subroutine
• Covariance and contravariance

Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0

Source URL: kartverket.no

• Data types
• Object-oriented programming
• Type theory
• Object
• Identifier
• Subtyping
• Const

Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk

Source URL: www.doc.ic.ac.uk

• Type theory
• Concurrent programming languages
• Object-oriented programming
• Polymorphism
• Data types
• Scala
• Covariance and contravariance
• Go
• Type system
• Type inference
• Subtyping
• Form

Motivation Context Encoding

Source URL: places08.di.fc.ul.pt

• Type theory
• Data types
• Procedural programming languages
• Polymorphism
• Cross-platform software
• Subtyping
• Type system
• Go
• -calculus
• System F
• ALGOL 68
• Cons

DCMMSData Model (Database Level) Copyright © DORSCH Consult, NGWA Copyright © DC Water and Environment DCMMS Landmark

Source URL: dcmms.sourceforge.net.

• Piping
• Plumbing
• Bathrooms
• Building engineering
• Type theory
• Pipe
• DN
• Piping and plumbing fitting
• Type conversion
• Subtyping

Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT

Source URL: lampwww.epfl.ch

• Type theory
• Polymorphism
• Data types
• Object-oriented programming
• Dependently typed programming
• Covariance and contravariance
• Higher-order abstract syntax
• Lambda calculus
• Const
• Subtyping
• Scala
• Generalized algebraic data type