First Page | Document Content | |
---|---|---|
![]() Date: 2011-05-19 07:49:35Object-oriented programming Data types Type theory Subroutines Functional programming Type system Python Foreach loop Tagged union Software engineering Computing Computer programming | Add to Reading List |
![]() | Programovací jazyky F# a OCaml Chapter 3. Composing primitive types into data Data typesDocID: 1p68M - View Document |
![]() | Union Types for Semistructured Data Peter Buneman Benjamin Pierce University of PennsylvaniaDocID: 1oU2n - View Document |
![]() | 1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their iDocID: 1maki - View Document |
![]() | Generating member functions and operators by tagged fields in a C++ Zal´an Sz˝ugyi Gergely Kl´arDocID: 18rMN - View Document |
![]() | A Generic Deriving Mechanism for Haskell Jos´e Pedro Magalh˜aes1 Atze Dijkstra1 Johan Jeuring1,2DocID: 13wFC - View Document |