VDict - Definition of function languages

search result for function languages in Computing (FOLDOC) dictionary

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

guard continuous function Jean E. Sammet currying fascist tail recursion SETL2 typed lambda-calculus ABC Eli Compiler Construction System message digest function software law fix MAXIMOP graph reduction Iterated Function System CAFE memoized function memoised function domain theory nullary STING strict characteristic function functional database Axiom of Choice call-with-current-continuation Finite State Machine TEMPO International Function Point Users Group truth table effective computable function complete key Advanced Function Printing back-propagation tail recursion modulo cons bitwise idempotent languages of choice standard semantics FL memo function L0 specialisation AND low-level language equals initialise David Turner dynamic translation free variable call-by-name order-embedding inverse for values of lambda abstraction map rl lazy evaluation call-by-need visual programming environment Bertrand instruction scheduling GEORGE ANSI C delta reduction bound variable Bird-Meertens Formalism relational language POPLOG Scheme-to-C Keyed-Hashing Message Authentication keyword unfold/fold DLUR/DLUS two-valued logic Ratatosk .NET framework Advanced Function Presentation

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