Functional programming (Computer science) Congresses 7 Functional programming languages 3 Parallel programming (Computer science) 2 Automatic theorem proving 1 Computer architecture 1 Computer programming 1 Computer simulation 1 Graph grammars 1 LISP (Computer program language) 1 Lambda calculus 1 Logic, Symbolic and mathematical 1 ML (Computer program language) 1 Programming languages (Electronic computers) 1 Semantics 1 Type theory 1