Type inference for set theory

Author: Turner¹ R.

Source: Theoretical Computer Science, Volume 266, Number 1, 6 September 2001 , pp. 951-974(24)

Publisher: Elsevier

Keywords: [Mathematical Subject Codes] primary 05C38; [Mathematical Subject Codes] 15A15; [Mathematical Subject Codes] secondary 05A15; [Mathematical Subject Codes] 15A18; Set theory; Type inference; Specification

Language: English

Document Type: Research article

DOI: http://dx.doi.org/10.1016/S0304-3975(01)00123-2

Affiliations: 1: Department of Computing Science, University of Essex, Wivenhoe Park, CO4 3SQ, Colchester, UK

Publication date: 2001-09-06

• In this: publication
• By this: publisher
• In this Subject: Computer Science ,  Mathematics and Statistics
• By this author: Turner¹ R.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers