Type Classes for Lightweight Substructural Types

Article, Preprint English OPEN
Gan, Edward; Tov, Jesse A.; Morrisett, Greg;
(2015)
  • Publisher: Open Publishing Association
  • Journal: Electronic Proceedings in Theoretical Computer Science (issn: 2075-2180)
  • Publisher copyright policies & self-archiving
  • Related identifiers: doi: 10.4204/EPTCS.176.4
  • Subject: Computer Science - Programming Languages | Mathematics | Electronic computers. Computer science | D.3.3 | QA1-939 | QA75.5-76.95
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS

Linear and substructural types are powerful tools, but adding them to standard functional programming languages often means introducing extra annotations and typing machinery. We propose a lightweight substructural type system design that recasts the structural rules of... View more
Share - Bookmark