Author:
Matsumoto Shohei,Nishizaki Shin-ya
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Static Code Analysis Using Refinement Types based on Design by Contract;Proceedings of the 2020 9th International Conference on Software and Computer Applications;2020-02-18
2. ML Polymorphism of Linear Lambda Calculus with First-class Continuations;Proceedings of the 2019 8th International Conference on Software and Computer Applications;2019-02-19
3. Linear lambda calculus with non-linear first-class continuations;Proceedings of the 6th International Conference on Software and Computer Applications - ICSCA '17;2017