In computing, ATS (Applied Type System) is a multi-paradigm, general-purpose, high-level, functional programming language. It is a dialect of the programming language ML, designed by Hongwei Xi to unify computer programming with formal specification. ATS has support for combining theorem proving with practical programming through the use of advanced type systems. A past version of The Computer Language Benchmarks Game has demonstrated that the performance of ATS is comparable to that of the languages C and C++.
The Academia de Lenguas Mayas de Guatemala, or ALMG (English: Guatemalan Academy of Mayan Languages) is a Guatemalan organisation that regulates the use of the 22 Mayan languages …
NSW School of Languages (previously the Open High School) is a public specialist coeducation secondary school, with speciality in teaching languages via distance education, locate…
SuperCollider is an environment and audio programming language released originally in 1996 by James McCartney for real-time audio synthesis and algorithmic composition.
Since then…
The Unified Modeling Language (UML) is a general-purpose, object-oriented, visual modeling language that provides a way to visualize the architecture and design of a system, simil…
Láadan (Láadan pronunciation: [ˈlɑ˦ɑˈdɑn] ) is a gynocentric constructed language created by Suzette Haden Elgin in 1982 to test the Sapir–Whorf hypothesis, specifically to determ…
The Institute for Logic, Language and Computation (ILLC) is a research institute of the University of Amsterdam, in which researchers from the Faculty of Science and the Faculty o…
