Carnegie Mellon University
Browse

Systems of polymorphic type assignment in LF

Download (1.04 MB)
journal contribution
posted on 2000-06-01, 00:00 authored by Robert Harper
Abstract: "Several formulations of type assignment of the Damas-Milner language are studied, with a view toward their formalization in the logical framework LF, and the suitability of these encodings for direct execution by the logic programming language Elf."

History

Date

2000-06-01

Usage metrics

    Categories

    Keywords

    Logic programming.Programming languages (Electronic computers)Information and Computing Sciences not elsewhere classified

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC