Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
A refinement-type checker for standard ML
Home
Publications
A refinement-type checker for standard ML
A refinement-type checker for standard ML
RD
Rowan Davies
Rowan Davies
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1997
book chapter
Published by
Springer Science and Business Media LLC
p.
565-566
https://doi.org/10.1007/bfb0000499
Abstract
No abstract available
Keywords
STANDARD ML
REFINEMENT-TYPE CHECKER
Cited by 4 articles