First Page | Document Content | |
---|---|---|
![]() Date: 2013-12-06 16:18:32Pattern matching Regular expressions Procedural programming languages Data types Type theory Subtype polymorphism TRE ALGOL 68 Luca Cardelli Software engineering Computing Computer programming | Add to Reading List |
![]() | Session Types Revisited Ornela Dardha Elena Giachino Davide SangiorgiDocID: 1gxoo - View Document |
![]() | ESV4Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core LanguageDocID: 1gch4 - View Document |
![]() | A Type System for Components? Ornela Dardha1 1 Elena Giachino1DocID: 1ga1B - View Document |
![]() | Tarski and Coq A. Assaf1,2 1 INRIA Paris-Rocquencourt (Deducteam) 2DocID: 1fTjd - View Document |
![]() | Semantic Subtyping for Objects and Classes Ornela Dardha1 Daniele Gorla2 Daniele Varacca3DocID: 1fBcj - View Document |