Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Refinement types for ML
Home
Publications
Refinement types for ML
Refinement types for ML
TF
Tim Freeman
Tim Freeman
FP
Frank Pfenning
Frank Pfenning
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1991
conference paper
conference paper
Published by
Association for Computing Machinery (ACM)
https://doi.org/10.1145/113445.113468
Abstract
No abstract available
Cited by 199 articles