VDict - Definition of abstract types

search result for abstract types in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

abstract interpretation Ada 95 Pebble abstraction Categorical Abstract Machine Language Quest MIME type Zuse algebraic data type abstract machine Second-Order Lambda-calculus ASpecT Emerald B-Method Scratchpad I derived type Objective CAML data abstraction Algebraic Specification Language type inference file type abstract syntax enumerated type G tagged types OBJ F-code Abstract Machine Notation type RTL/2 lclint abstract syntax tree Abstract Windowing Toolkit WAM polymorphism ALGOL 68 abstract class Zed LOOPN class knowledge representation C-BC union concrete syntax Amber syntax directed translation Library of Efficient Data types and Algorithms typed lambda-calculus PROgrammed Graph REwriting Systems tuple SQL generic type variable Object Management Group Abstract Syntax Notation 1 weak typing standard semantics Persistent Functional Language ALGOL 60 linear type Formal Description Technique domain theory nslookup Ponder ABC ASDL EQLOG LEDA OATH Fun WPOP framework temporal logic Miranda AWT ADT ASN.1 X.208 S-K reduction machine X.409 reify

First < Previous 1 2 3 4 Next > Last