Author:
Downen Paul,Ariola Zena M.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Abel, A., Pientka, B., Thibodeau, D., Setzer, A.: Copatterns: programming infinite structures by observations. In: POPL 2013 (2013)
2. Ariola, Z.M., Herbelin, H., Saurin, A.: Classical call-by-need and duality. In: Ong, L. (ed.) TLCA 2011. LNCS, vol. 6690, pp. 27–44. Springer, Heidelberg (2011)
3. Curien, P.-L., Herbelin, H.: The duality of computation. In: International Conference on Functional Programming, pp. 233–243 (2000)
4. IFIP AICT;P.-L. Curien,2010
5. Filinski, A.: Declarative Continuations and Categorical Duality. Master thesis, DIKU, Danmark (August 1989)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Grokking the Sequent Calculus (Functional Pearl);Proceedings of the ACM on Programming Languages;2024-08-15
2. Introduction and elimination, left and right;Proceedings of the ACM on Programming Languages;2022-08-29
3. Codata in Action;Programming Languages and Systems;2019
4. Uniform Strong Normalization for Multi-discipline Calculi;Rewriting Logic and Its Applications;2018
5. A tutorial on computational classical logic and the sequent calculus;Journal of Functional Programming;2018