Author:
Martínez Guido,Ahman Danel,Dumitrescu Victor,Giannarakis Nick,Hawblitzel Chris,Hriţcu Cătălin,Narasimhamurthy Monal,Paraskevopoulou Zoe,Pit-Claudel Clément,Protzenko Jonathan,Ramananandro Tahina,Rastogi Aseem,Swamy Nikhil
Publisher
Springer International Publishing
Reference64 articles.
1. Ahman, D., et al.: Dijkstra monads for free. In: POPL (2017).
https://doi.org/10.1145/3009837.3009878
2. Ahman, D., Fournet, C., Hriţcu, C., Maillard, K., Rastogi, A., Swamy, N.: Recalling a witness: foundations and applications of monotonic state. PACMPL 2(POPL), 65:1–65:30 (2018).
https://arxiv.org/abs/1707.02466
3. Lecture Notes in Computer Science;A Anand,2018
4. Appel, A.W.: Tactics for separation logic. Early Draft (2006).
https://www.cs.princeton.edu/~appel/papers/septacs.pdf
5. Awodey, S., Bauer, A.: Propositions as [Types]. J. Log. Comput. 14(4), 447–471 (2004).
https://doi.org/10.1093/logcom/14.4.447
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献