Partial type inference for untyped functional programs
Author:
Gomard Carsten K.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Enhanced type inference for binding-time analysis;Acta Universitatis Sapientiae, Informatica;2020-12-01
2. Source-tracking unification;Information and Computation;2005-09
3. Soft typing;ACM SIGPLAN Notices;2004-04
4. Environment classifiers;ACM SIGPLAN Notices;2003-01-15
5. Incremental Inference of Partial Types;Lecture Notes in Computer Science;2001