A refinement-type checker for standard ML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1349, Issue , 1997, Pages 565-566

  Davies, Rowan ^a  

^a Carnegie Mellon University Department of Computer Science ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84947926474     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0000499     Document Type: Conference Paper

References (0)