Author:
Nielson Flemming,Nielson Hanne Riis
Cited by
57 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On the cost semantics for spreadsheets with sheet-defined functions;Journal of Computer Languages;2022-04
2. Trace-based control-flow analysis;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
3. Data flow refinement type inference;Proceedings of the ACM on Programming Languages;2021-01-04
4. Type- and Control-Flow Directed Defunctionalization;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02
5. Demand Control-Flow Analysis;Lecture Notes in Computer Science;2019