Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
1	Session Types Revisited Ornela Dardha Elena Giachino Davide Sangiorgi Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2013-12-29 19:43:45 Applied mathematics Theoretical computer science Data types Polymorphism Lambda calculus Π-calculus Type system Subtype polymorphism System F Mathematics Type theory Software engineering
2	ESV4Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language Add to Reading List Source URL: www.etsi.org Language: English - Date: 2015-06-01 09:05:08 Data types C++ Type theory Computer languages Procedural programming languages TTCN-3 TTCN Type system Subtype polymorphism Software engineering Computing Computer programming
3	A Type System for Components? Ornela Dardha1 1 Elena Giachino1 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-11-21 06:03:26 Mathematics Programming language theory Object-oriented programming Polymorphism Program analysis Type system Symbol Structure Subtype polymorphism Type theory Data types Software engineering
4	Tarski and Coq A. Assaf1,2 1 INRIA Paris-Rocquencourt (Deducteam) 2 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-01-08 08:10:54 Polymorphism Subtype polymorphism Computing Type theory Software engineering Object-oriented programming
5	Semantic Subtyping for Objects and Classes Ornela Dardha1 Daniele Gorla2 Daniele Varacca3 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-11-21 05:56:58 Data types Object-oriented programming Programming language theory Subtype polymorphism Type system Polymorphism E Inheritance Lambda calculus Software engineering Type theory Computing
6	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:39 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
7	Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization Heather Miller Philipp Haller Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2013-08-13 10:04:52 Type theory Object-oriented programming Data types Polymorphism Persistence Subtype polymorphism Scala Serialization Covariance and contravariance Software engineering Computing Computer programming
8	Object Oriented Programming CSCI-GASpring 2012 Sample Final Exam Questions 1. True/False. Circle the appropriate choice on this sheet. (a) T F Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2012-05-08 23:54:12 Data types Object-oriented programming Type theory Polymorphism Java programming language Subtype polymorphism Const-correctness Generics in Java Generic programming Software engineering Computing Computer programming
9	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:12 Models of computation Type theory Data types Programming language implementation Logic in computer science Denotational semantics Partial evaluation Programming language Subtype polymorphism Software engineering Computing Programming language theory
10	This template contains styles for simple text documents Add to Reading List Source URL: www.ada-europe.org Language: English - Date: 2014-11-17 15:25:58 Cross-platform software Data types Object-oriented programming Polymorphism Type theory Semicolon Subtype polymorphism C Ada Software engineering Computing Computer programming