• DocumentCode
    2721843
  • Title

    Syntactic considerations on recursive types

  • Author

    Abadi, Martín ; Fiore, Marcelo P.

  • Author_Institution
    Digital Equipment Corp., USA
  • fYear
    1996
  • fDate
    27-30 Jul 1996
  • Firstpage
    242
  • Lastpage
    252
  • Abstract
    We study recursive types from a syntactic perspective. In particular, we compare the formulations of recursive types that are used in programming languages and formal systems. Our main tool is a new syntactic explanation of type expressions as functors. We also introduce a simple logic for programs with recursive types in which we carry out our proofs
  • Keywords
    formal logic; programming languages; programming theory; recursive functions; type theory; formal systems; programming languages; proofs; recursive types; simple logic; type expressions; Computer languages; Logic programming;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on
  • Conference_Location
    New Brunswick, NJ
  • ISSN
    1043-6871
  • Print_ISBN
    0-8186-7463-6
  • Type

    conf

  • DOI
    10.1109/LICS.1996.561324
  • Filename
    561324
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2721843