Typol
language
A specialised logic programming language.
[“TYPOL: A Formalism to Implement Natural Semantics”, T. Despeyroux, RR 94, INRIA, 1988].
(1994-10-31)
Read Also:
- Typological
noun 1. the doctrine or study of types or prefigurative symbols, especially in scriptural literature. 2. a systematic classification or study of types. 3. symbolism. 4. Linguistics. the study and classification of languages according to structural features, especially patterns of phonology, morphology, and syntax, without reference to their histories. noun 1. (mainly Christian theol) the […]
- Type-founder
noun 1. a person engaged in the making of metallic types for printers. type founder noun 1. a person who casts metallic printer’s type
- Typeface
noun 1. face (defs 19b, c). noun 1. another name for face (sense 17) text The style or design of a font. Other independent parameters are size, boldness (thickness of lines), and obliqueness (a sheer transformation applied to the characters, not to be confused with a specifically designed italic font). (1996-08-02)
- Typedprolog
language A strongly typed logic programming language. (1995-03-25)
- Typo squatter
World-Wide Web A domain squatter who registers a domain name that is a common typographical error for a popular web site so that people will visit their site accidentally, e.g. (http://goggle.com/) for (http://google.com/). (2007-07-13)