VDict - Definition of higher order function

search result for higher order function in Computing (FOLDOC) dictionary

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

higher-order macro higher-order function least fixed point HOL Church integer abstraction FL polymorphic lambda-calculus map fix Bird-Meertens Formalism order-embedding applicative order reduction Ratatosk FP functional Skel-ML Lambda Prolog BABEL interpolation OBJ inline fully lazy lambda lifting lazy evaluation LUCID filter function combinator Gofer first-order pattern matching hash function 6.001 key Quest partial function first-order logic injection linear function strength reduction compiler referential transparency LNF bracket abstraction total function one-way hash function CHOCS lambda lifting traversal argument trap-door function cproto reduction metric space space leak one-way function client-server TrafoLa F-Logic Fresh constant applicative form Forsythe NOR McCulloch-Pitts neuron recursion GNU superoptimiser projection codomain PI ASL+linear argument Mu Object Role Modeling Cantor ZAPP Cube descent function functional programming Isabelle constructor

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