Relational parametricity and units of measure

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1997, Pages 442-455

  Kennedy, Andrew J ^a  

^a Persimmon IT Inc   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE; THEOREM PROVING;

RELATIONAL PARAMETRICITY; SEMANTICS; UNITS OF MEASURE;

COMPUTATIONAL LINGUISTICS;

EID: 0030697730     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/263699.263761     Document Type: Conference Paper

References (16)