monads
71Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… …
72Arcology — This article is about self contained habitations. For the study of buried human past, see Archaeology. The Shimizu Mega City Pyramid hyperstructure or megacity as featured on the Discovery Channel s Extreme Engineering programs Arcology, a… …
73Maurice Merleau-Ponty — Full name Maurice Merleau Ponty Born 14 March 1908 Died 4 May 1961 Era 20th century philosophy …
74Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… …
75Referential transparency (computer science) — Referential transparency and referential opaqueness are properties of parts of computer programs. An expression is said to be referentially transparent if it can be replaced with its value without changing the program (in other words, yielding a… …
76Aryan race — This article is about the racial theory. For the full range of meanings of Aryan , see Aryan. For other uses, see Aryan (disambiguation). Aryanism redirects here. For the Christian theology, see Arianism …
77J (programming language) — Not to be confused with the J++ or J# programming languages. Infobox programming language name = J paradigm = array, functional, function level, tacit year = 1990 designer = Ken Iverson Roger Hui developer = JSoftware latest release version =… …
78Preprocessor — In computer science, a preprocessor is a program that processes its input data to produce output that is used as input to another program. The output is said to be a preprocessed form of the input data, which is often used by some subsequent… …
79Clean (programming language) — Clean Paradigm(s) functional Appeared in 1987 Designed by Software Technology Research Group of Radboud University Nijmegen Stable release …
80Uniqueness type — In computing, a unique type guarantees that an object is used in a single threaded way, with at most a single reference to it. If a value has a unique type, a function applied to it can be made to update the value in place in the object code. In… …
