TYPOL




<language> A specialised logic programming language.

["TYPOL: A Formalism to Implement Natural Semantics", T. Despeyroux, RR 94, INRIA, 1988].



< Previous Terms Terms Containing TYPOL Next Terms >
typeface
type inference
type scheme
typo
typographical error
 TYPOL
 tyt
TZ
tz
ua
UAN