Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Lambda calculus --- Combinatory logic --- Functional programming languages --- Lambda calculus. --- Combinatory logic. --- Functional programming languages. --- Calculus, Lambda --- Logic, Symbolic and mathematical --- Programming languages (Electronic computers) --- Logic, Combinatory --- Nonclassical mathematical logic --- Logique mathématique --- Logique générale --- Logique combinatoire --- Lambda-calculus

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Functional programming languages --- Compiling (Electronic computers) --- 681.3*D32 --- 681.3*D34 --- Programming languages (Electronic computers) --- Automatic programming (Computer science) --- Electronic data processing --- Assembling (Electronic computers) --- Macro processors --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*D34 Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Compiling (electronic computers)