Which Simple Types Have a Unique Inhabitant?
ACM SIGPLAN Notices - United States
doi 10.1145/2858949.2784757
Full Text
Open PDFAbstract
Available in full text
Categories
Date
December 18, 2015
Authors
Publisher
Association for Computing Machinery (ACM)