Subtyping - PDFSEARCH.IO - Document Search Engine

Subtyping
Results: 99

#	Item
11	Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Software engineering Computer programming Computing Type theory Data types Functional programming Subroutines Lambda calculus Subtyping Const Unification Type system
12	aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems Add to Reading List Source URL: d3s.mff.cuni.cz Language: English - Date: 2010-08-21 17:29:07 Computing Software engineering Object-oriented programming Data types Type theory Cross-platform software Java virtual machine Aicas Software development process Polymorphism Subtyping Java
13	Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computability theory Object-oriented programming Polymorphism Subtyping Type theory Theoretical computer science Characteristic function Lambda calculus Computing
14	Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2015-07-22 04:38:38 Software engineering Data types Computing Object-oriented programming Type theory Const Object Identifier Subtyping Pointing stick
15	Feature Maintenance Directory Version 3 October 2014 Add to Reading List Source URL: spatialservices.finance.nsw.gov.au Language: English - Date: 2014-10-28 01:02:51 Gazetteer Cartography Topographic map Topography Subtyping Domain name Software engineering Geography Computing
16	Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo Talk presented at the 25 years Simula 67 Anniversary Conferences, NordwijkerhoutJune 1992 and Oslo 22 June. Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computer programming Subroutines Data types Recursion Type theory Programming idioms Fold ALGOL 68 Subtyping Record Generator
17	Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computer programming Declarative programming Type theory Data types Functional programming Higher-order functions Object-oriented programming Subtyping Fold Map Function
18	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
19	Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics Add to Reading List Source URL: folk.uio.no Language: English - Date: 2006-03-17 08:01:43 Computer programming Software engineering Mathematics Recursion Programming idioms Computability theory Functions and mappings Subroutines Monad Primitive recursive function Function Subtyping
20	Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Data types Software engineering Object-oriented programming Computing Polymorphism Functional programming Type system Subtyping Symbol Uniqueness type

UPDATE