VDict - Definition of total function

search result for total function in Computing (FOLDOC) dictionary

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

specialisation AND formal argument function application free variable languages of choice order-embedding inverse lambda abstraction map lazy evaluation derived type call-by-need ANSI C delta reduction bound variable Bird-Meertens Formalism Keyed-Hashing Message Authentication unfold/fold DLUR/DLUS Ratatosk Advanced Function Presentation colour palette hash coding monad tail-strict eta conversion NAND call-by-reference bottom-unique FP assignment problem droid image listless cycle of reincarnation Skel-ML termination analysis tupling lambda lifting Liskov substitution principle head-strict lexical scope referential transparency axiomatic semantics functional programming feedback totally ordered set constant applicative form pnambic TCO fully lazy lambda lifting totally ordered Gofer J eager evaluation partial evaluation Windows 1 Certificate Authority Top-Down Model transitive asset management total ordering Liana lambda-calculus brightness ordering polymorphism route loser Zilog Z280 quine reflexive occurs check broadband Finite State Machine centum call second ACF/NCP Russell's Paradox HSL-FX

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