Author:
Nielson Hanne Riis,Nielson Flemming
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Efficient Type- and Control-Flow Analysis for System F;Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages;2014-10
2. What Is a Pure Functional?;Automata, Languages and Programming;2010
3. Extracting a data flow analyser in constructive logic;Theoretical Computer Science;2005-09
4. Extracting a Data Flow Analyser in Constructive Logic;Programming Languages and Systems;2004
5. Bidirectional data flow analysis for type inferencing;Computer Languages, Systems & Structures;2003-04