Tagged union - PDFSEARCH.IO - Document Search Engine

Tagged union
Results: 24

#	Item
1	Programovací jazyky F# a OCaml Chapter 3. Composing primitive types into data Data types Add to Reading List Source URL: tomasp.net Language: English - Date: 2016-08-19 17:17:35 Functional languages Data types Object-oriented programming languages C++ Procedural programming languages OCaml Caml Const Tagged union Higher-order function C++ classes ALGOL 68
2	Union Types for Semistructured Data Peter Buneman Benjamin Pierce University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Data types Type theory Type system Subtyping Union type Tagged union Pattern matching Monad ML Product type Type conversion Record
3	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 i Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:31 Software engineering Computer programming Programming language theory Type theory Data types Functional languages Functional programming Procedural programming languages Standard ML Algebraic data type Tagged union Unification
4	Generating member functions and operators by tagged fields in a C++ Zal´an Sz˝ugyi Gergely Kl´ar Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2014-11-17 01:53:47 C++ C++ classes C++11 Template Generic programming Struct Functional Union Variadic template Software engineering Computing Computer programming
5	A Generic Deriving Mechanism for Haskell Jos´e Pedro Magalh˜aes1 Atze Dijkstra1 Johan Jeuring1,2 Add to Reading List Source URL: dreixel.net Language: English - Date: 2014-11-04 15:52:18 Data types Type theory Functional programming Glasgow Haskell Compiler Generic programming Map Tagged union Monad Software engineering Computing Computer programming
6	Type Dispatch for Named Hierarchical Types ∗ Neal Glew Cornell University 7 April 1999 Abstract Type dispatch constructs are an important feature of many programming languages. Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:40 Procedural programming languages Tagged union Type theory ALGOL 68 Truncated dodecahedron Denotational semantics Programming language theory Computing Software engineering
7	1 Using Redundancies to Find Errors Yichen Xie and Dawson Engler Computer Systems Laboratory Stanford University Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2003-07-10 05:43:54 Data types Type theory Primitive types Software bugs Procedural programming languages Pointer Null C Tagged union Computing Software engineering Computer programming
8	Type Dispatch for Named Hierarchical Types ∗ Neal Glew Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-23 09:53:29 Tagged union Computing Type safety Programming language semantics Functional languages Type theory Programming language theory Software engineering
9	Types and Static Semantic Analysis COMS W4115 Data Types Are Data Types Necessary? Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-02-21 10:48:52 Data types C programming language C++ Type theory Pointer ALGOL 68 Struct C++ classes Tagged union Software engineering Computer programming Computing
10	Contents Algebraic ABCs Summary Add to Reading List Source URL: www.acooke.org Language: English - Date: 2011-05-19 07:49:35 Object-oriented programming Data types Type theory Subroutines Functional programming Type system Python Foreach loop Tagged union Software engineering Computing Computer programming