학술논문
Simple unification-based type inference for GADTs
Document Type
Article
Author
Source
In: ACM SIGPLAN Notices . (ACM SIGPLAN Notices, September 2006, 41(9):50-61)
Subject
Language
English
ISSN
03621340