VDict - Definition of recursive type

search result for recursive type in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

recursive descent parser recursive type tail recursion recursion fix Ponder termination analysis constructed type generic type variable subtype type inference conversion to iteration principal type recursive definition Run-Time Type Information higher-order macro strength reduction implicit type conversion algebraic data type Peano arithmetic tail recursion optimisation type type scheme polymorphic lambda-calculus discriminated union type assignment abstract data type functor type-ahead typed lambda-calculus XSB D-type injection partial evaluation Standard ML instantiation derived type aggregate type union weak typing Quest explicit type conversion file type semiconductor enumerated type tuple sound 431A REFAL RMAG sum of products type strong typing Hungarian Notation s///CLU mutually recursive Towers of Hanoi recursive Burge's Language schematic type variable data type Boolean Persistent Functional Language polymorphism GRAAL General Recursion Theorem serial port TMG reflexive domain Document Type Definition infinity reduction strategy pattern matching KRC monad nslookup codomain Interchange File Format scanf Seiko RC-4000

First < Previous 1 2 3 4 5 6 Next > Last