Deciding type equivalence in a language with singleton kinds

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

Volumn , Issue , 2000, Pages 214-227

  Stone, Christopher A ^a   Harper, Robert ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTABILITY AND DECIDABILITY; CONSTRAINT THEORY; PROGRAM COMPILERS;

LAMBDA CALCULUS; SINGLETON KINDS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0033685818     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/325694.325724     Document Type: Conference Paper

References (21)