VDict - Definition of partial function

search result for partial function in Computing (FOLDOC) dictionary

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

idempotent standard semantics FL memo function AND formal argument free variable order-embedding inverse lambda abstraction map derived type powerdomain call-by-need ANSI C delta reduction bound variable Bird-Meertens Formalism Keyed-Hashing Message Authentication unfold/fold DLUR/DLUS Ratatosk Advanced Function Presentation hash coding monad tail-strict eta conversion NAND call-by-reference bottom-unique FP assignment problem droid image listless PRML PDELAN cycle of reincarnation Skel-ML termination analysis tupling lambda lifting Hyperstrict Partial Differential Equation LANguage partially ordered set Liskov substitution principle lower set head-strict FX-90 cpo lexical scope autoprojector referential transparency axiomatic semantics functional programming SALEM feedback incremental analysis constant applicative form pnambic PER Scott domain transitive General Recursion Theorem total ordering boundedly complete Gofer J pre-order optimising compiler eager evaluation ordering complete Certificate Authority embedding wiggles fuzzy logic algebraic reflexive constant folding

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