Browse Graduate Dissertations and Theses at Illinois by Author "Pyo, Changwoo"

  • Pyo, Changwoo (1990)
    This thesis develops a polymorphic type system for logic programs. Our approach is semantically oriented. We define a type language with precise semantics. Type inference rules are derived from the semantics of the type ...


    application/pdfPDF (4MB)Restricted to U of Illinois