Type Description Language

Results: 54



#Item
1English language / Commonwealth Family / English-Speaking Union / Debate / English-Speaking Union Scotland

THE ENGLISH-SPEAKING UNION Job Description Job Title: Contract type: Hours of work:

Add to Reading List

Source URL: www.esu.org

Language: English
2Computing / Web services / Health informatics / Standards organizations / Health Level 7 / Web Services Description Language / DICOM / MIME / Integrating the Healthcare Enterprise / Enumerated type / Email

Integrating the Healthcare Enterprise 5 IT Infrastructure Technical Framework

Add to Reading List

Source URL: www.ihe.net

Language: English - Date: 2011-08-19 11:26:39
3Remote procedure call / Inter-process communication / Apache Avro / IDL / Interface description language / JSON / Common Object Request Broker Architecture / Protocol Buffers / Array data type / Apache Thrift / Comparison of data serialization formats

Apache Avro# 1.8.1 IDL Table of contents 1 Introduction........................................................................................................................2

Add to Reading List

Source URL: avro.apache.org

Language: English - Date: 2016-05-21 18:02:26
4Markup languages / Technical communication / XML schema / Schematron / RELAX NG / Document type definition / Document Definition Markup Language / Makoto Murata / Document Structure Description / XDR Schema / XML validation / Oxygen XML Editor

Introduction to XML Schema Languages Deborah Aleyne Lapeyre Mulberry Technologies, Inc.

Add to Reading List

Source URL: www.xmlphilly.org

Language: English - Date: 2013-09-26 16:22:25
5Type theory / Logic in computer science / Lambda calculus / Dependently typed programming / Subroutines / Combinatory logic / Higher-order abstract syntax / Twelf / Dependent type / Parameter / Logical framework / Fixed-point combinator

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

Add to Reading List

Source URL: www.itu.dk

Language: English - Date: 2008-06-03 10:17:56
6Computer programming / Enumerated type / Type theory / Enumeration / Record / C / Web Services Description Language / This / Computing / Software engineering / Data types

Luminate Web Services Release 1.25 Version 1.25 of Luminate Web Services is now available. Version 1.25 is a patch to address bugs, to improve support for calendar events and groups, and to upgrade obsolete dependencies.

Add to Reading List

Source URL: open.convio.com

Language: English - Date: 2015-06-12 16:52:52
7Functional languages / Cross-platform software / Lisp programming language / Procedural programming languages / Data types / Eval / Lisp / OCaml / Type system / Computing / Software engineering / Computer programming

The Design and Implementation of BER MetaOCaml System Description http://okmij.org/ftp/ML/MetaOCaml.html

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2014-06-05 20:02:39
8XML / XML Schema / Markup languages / Technical communication / Web services / Web Services Description Language / XML Schema Language comparison / Document Type Definition / Web standards / Computing / World Wide Web Consortium

README_HydraExpress4.6.0.txt ===================================================================== (c) CopyrightRogue Wave Software, Inc. All Rights Reserved. Rogue Wave is a registered trademark of Rogue Wave

Add to Reading List

Source URL: docs.roguewave.com

Language: English - Date: 2014-09-16 18:46:11
9Type theory / Data types / Functional languages / Formal methods / Theoretical computer science / Dependent type / Lambda calculus / Type system / Generalized algebraic data type / Programming language theory / Software engineering / Computing

Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2014-07-10 05:47:26
UPDATE