Choose an application

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

Programming --- Electronic digital computers --- Functional programming languages --- Programmation des ordinateurs --- Langages de programmation fonctionnels --- Functional programming (Computer science) --- 681.3*D11 --- 681.3*D32 --- 681.3*F41 --- 681.3*I25 --- Applicative (functional) programming --- 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) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- Programming languages (Electronic computers) --- Computer programming --- 681.3*I25 Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 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) --- 681.3*D11 Applicative (functional) programming --- Computer programming. --- Langages de programmation