Covariance and contravariance - PDFSEARCH.IO - Document Search Engine

Covariance and contravariance
Results: 93

#	Item
1	Scalad: An Interactive Type-level Debugger Hubert Plociniczak École Polytechnique Fédérale de Lausanne {first.last}@epfl.ch Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Software engineering Computing Computer programming Type theory Data types Functional languages Procedural programming languages Cross-platform software Type inference Scala Covariance and contravariance Type system
2	Beltrami County Environmental Services Department Variance Application Check List 1. Completed Variance Application: Yes ___ Add to Reading List Source URL: www.co.beltrami.mn.us Language: English - Date: 2014-07-09 11:09:31 Zoning Urban planning Real estate Local government in the United States Land use Variance Covariance and contravariance Land lot Setback Septic tank
3	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.B-9 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-07 09:24:09 Computing Object-oriented programming Software engineering Computer programming Interface XC Covariance and contravariance Abstraction User interface MARIA XML
4	PDF Document Add to Reading List Source URL: comp-phys.univie.ac.at Language: English - Date: 2015-02-18 08:29:37 Dynamical systems Mathematical analysis Mathematics Theoretical physics Lyapunov exponent Oseledets theorem Lyapunov stability Chaos theory Tangent space Lyapunov time Lyapunov Covariance and contravariance of vectors
5	Town of Albion Variance Application Form Contact AB Secretary Ben Newell Name of Applicant: _____________________________________________________________ Mailing Address: _________________________________________________ Add to Reading List Source URL: www.albionme.com Language: English - Date: 2016-03-11 18:47:19 Zoning Local government in the United States Variance Real estate Real property law Land law Covariance and contravariance Economy Property
6	Taming the Wildcards: Combining Definition- and Use-Site Variance John Altidor Shan Shan Huang Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2011-03-18 06:53:14 Polymorphism Computing Software engineering Statistics Object-oriented programming Type theory Covariance and contravariance Wildcard Variance Scala Subtyping Normal distribution
7	Variance Application Hubbard County Environmental Services 301 Court Ave., Park Rapids, MNPhone: www.co.hubbard.mn.us/environmental.htm Add to Reading List Source URL: co.hubbard.mn.us Language: English - Date: 2016-08-01 09:59:00 Local government in the United States Variance Zoning Covariance and contravariance Patent application
8	Generating Customized Verifiers for Automatically Generated Code Ewen Denney Bernd Fischer Add to Reading List Source URL: ti.arc.nasa.gov Language: English Type theory Bioinformatics Annotation Reference Writing Schema Covariance and contravariance Prolog Type system
9	Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems∗ Olaf Owe Department of Informatics, University of Oslo, Norway June 8, 2016 Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2016-06-08 08:30:38 Object-oriented programming Inheritance Method Subtyping Liskov substitution principle Is-a Class Eiffel Monad Subroutine Covariance and contravariance
10	Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-05-09 14:09:08 Type theory Concurrent programming languages Object-oriented programming Polymorphism Data types Scala Covariance and contravariance Go Type system Type inference Subtyping Form