Author:
Accattoli Beniamino,Barras Bruno
Publisher
Springer International Publishing
Reference39 articles.
1. Abadi, M., Cardelli, L., Curien, P.L., Lévy, J.J.: Explicit substitutions. J. Funct. Program. 1(4), 375–416 (1991)
2. Accattoli, B.: An abstract factorization theorem for explicit substitutions. In: RTA, pp. 6–21 (2012)
3. Accattoli, B.: COCA HOLA (2016). https://sites.google.com/site/beniaminoaccattoli/coca-hola
4. Accattoli, B.: The complexity of abstract machines. In: WPTE@FSCD 2016, pp. 1–15 (2016)
5. Lecture Notes in Computer Science;B Accattoli,2016
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Types by Need;Programming Languages and Systems;2019