Author:
Nishizaki Shin-ya,Fujii Mizuki,Ikeda Ritsuya
Publisher
Springer Berlin Heidelberg
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. 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
2. Linear lambda calculus with non-linear first-class continuations;Proceedings of the 6th International Conference on Software and Computer Applications - ICSCA '17;2017