Author:
Fuh You-Chin,Mishra Prateek
Publisher
Springer Berlin Heidelberg
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Simplifying Subtyping Constraints: A Theory;Information and Computation;2001-11
2. Constraint Abstractions;Programs as Data Objects;2001
3. An Algebraic Characterization of Typability in ML with Subtyping;Lecture Notes in Computer Science;1999
4. Type and Effect Systems;Lecture Notes in Computer Science;1999
5. Flow logics for constraint based analysis;Lecture Notes in Computer Science;1998