Actor model
The actor model is a mathematical model of concurrent computation whose universal primitive is the actor: an autonomous, isolated entity that owns private state and communicates with other actors only by…
Computer Science
Explore Computer Science through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Programming Languages
Articles that also belong to these categories. Counts cover all of Computer Science.
All articles (39)AI Hardware (10)AI History (8)Machine Learning (8)People (8)Programming Languages (8)AI Infrastructure (7)Artificial Intelligence (7)Mathematics (4)Algorithms (3)Statistics (3)AI Safety (2)AI Agents (1)AI Companies (1)AI Ethics (1)AI Inference (1)AI Research (1)AI for Science (1)Chinese AI (1)Computer Vision (1)Education AI (1)Google (1)Information Retrieval (1)Multimodal AI (1)Natural Language Processing (1)Reinforcement Learning (1)
Showing 1-8 of 8 articles
Common Lisp
Common Lisp is the ANSI-standardized dialect of the Lisp family and was, from the late 1980s through the early 1990s, the dominant programming language of symbolic AI research.
Homoiconicity
Homoiconicity is a property of a programming language in which the program itself is represented as an ordinary data structure of the language, so that code can be read, generated, and transformed at runtime…
Lambda Calculus
Lambda calculus (often written λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.
Lisp
Lisp (historically LISP, an acronym for "LISt Processor") is a family of programming languages, specified in 1958 by John McCarthy at the Massachusetts Institute of Technology
Multiple dispatch
Multiple dispatch (also called multimethods) is a programming-language feature in which the implementation of a function or method is selected at run time from the types of all of its arguments
Prolog
Prolog (a contraction of the French PROgrammation en LOGique) is a logic programming language, first implemented in 1972 by Alain Colmerauer's group at the Université d'Aix-Marseille, that is strongly…
Scheme
Scheme is a minimalist, multi-paradigm programming language and a dialect of Lisp, created in 1975 by Guy L. Steele Jr. and Gerald Jay Sussman at the MIT Artificial Intelligence Laboratory.