Source : Free On-Line Dictionary of Computing

TYPOL
     
        A specialised {logic programming} language.
     
        ["TYPOL: A Formalism to Implement Natural Semantics",
        T. Despeyroux, RR 94, INRIA, 1988].
     
        (1994-10-31)