TYPOL

<language> A specialised logic programming language.

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

Last updated: 1994-10-31

Try this search on Wikipedia, OneLook, Google

Nearby terms: type scheme « typo « typographical error « TYPOL » typo squatter » tyt » TZ


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.