Subtyping

Results: 99



#Item
11Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

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
12aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems

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
13Characteristic 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

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
14Software engineering / Data types / Computing / Object-oriented programming / Type theory / Const / Object / Identifier / Subtyping / Pointing stick

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
15Feature Maintenance Directory Version 3 October 2014

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
16Value 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.

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
17Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics

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
18Taming the Wildcards: Combining Definition- and Use-Site Variance John Altidor Shan Shan Huang

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
19Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics

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
20Modelling 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,

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