VDict - Definition of formal argument

search result for formal argument in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

Program Design Language dictionary flame algebraic structure acceptance testing John McCarthy symbolic logic penis war knowledge base Gottlob Frege Rapidly Extensible Language, English exponential SFLV SIPLAN safety-critical system higher-order function paradox backward analysis EULER AND POLYGOTH query B-Method Internet-Draft let floating Calculus of Communicating Systems Nuprl A Language for Attributed Definitions FLIP Vienna Definition Language fuzzy logic Larch Imperial Software Technology protocol linear function Joy Request For Comments higher-order macro strength reduction infinite automaton tee source code finger singleton variable Vienna Development Method overloading black art relational language XPL eta conversion evaluator POOL2 continuation passing style programming language combinator domain injection Head Normal Form reduction modular arithmetic fix Unixism lambda lifting function head-strict call-with-current-continuation retrocomputing dual Berkeley Network name capture axiomatic semantics idempotent printf Duff's device TOS symbolic mathematics free variable abstract machine cdr ML

First < Previous 1 2 3 Next > Last