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

constructor algebraic data type injection constructed type derived type tuple polymorphic lambda-calculus instantiation functor type inference codomain function pattern matching partial function generic type variable total function C++tail recursion modulo cons monad destructor type typed lambda-calculus lazy list polymorphism tn3270 Liskov substitution principle higher-order function Cantor FL fix Boolean hash function standard semantics curried function Russell's Paradox subtype principal type occurs check Run-Time Type Information linear function strength reduction bracket abstraction implicit type conversion one-way hash function least fixed point Liana inline argument recursive type trap-door function axiomatic semantics cproto applicative order reduction metric space space leak one-way function Church integer Advanced Communication Function/Network Control Program Haskell interpolation type scheme abstraction NOR McCulloch-Pitts neuron m2 recursion refutable GNU superoptimiser projection discriminated union LUCID linear argument Mu type assignment ZAPP descent function Gypsy abstract data type primitive type-ahead

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