VDict - Definition of type constructor function

search result for type constructor function in Computing (FOLDOC) dictionary

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

fixed point function key homogeneous full laziness Infinite Impulse Response Gofer continuous function D-type combinator currying tail recursion message digest function graph reduction Iterated Function System memoized function memoised function nullary data mart strict characteristic function Axiom of Choice TELOS call-with-current-continuation International Function Point Users Group truth table aggregate type effective computable function complete key union Ponder Advanced Function Printing back-propagation idempotent memo function weak typing specialisation AND environment variable Quest formal argument function application free variable explicit type conversion file type order-embedding inverse semiconductor lambda abstraction map enumerated type sound lazy evaluation call-by-need 431A ANSI C delta reduction bound variable monitor dumb terminal sum of products type strong typing Bird-Meertens Formalism Hungarian Notation Keyed-Hashing Message Authentication s///unfold/fold DLUR/DLUS CLU Ratatosk Multipop-68 Advanced Function Presentation hash coding tail-strict eta conversion Opal NAND call-by-reference bottom-unique schematic type variable

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