Author:
Blume Matthias,Acar Umut A.,Chae Wonseok
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Appel, A.W., MacQueen, D.B.: Standard ML of New Jersey. In: Third International Symp. on Prog. Lang. Implementation and Logic Programming, pp. 1–13 ( August 1991)
2. Benton, N., Buchlovsky, P.: Semantics of an effect analysis for exceptions. In: TLDI 2007, pp. 15–26. ACM, New York (2007)
3. Benton, N., Kennedy, A.: Exceptional syntax. J. Funct. Program. 11(4), 395–410 (2001)
4. Blume, M., Acar, U.A., Chae, W.: Extensible programming with first-class cases. In: ICFP 2006: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, pp. 239–250. ACM, New York (2006)
5. Blume, M., Acar, U.A., Chae, W.: Exception handlers as extensible cases. U.Chicago, Computer Sci. Tech. Report TR-2008-03 (February 2008)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The history of Standard ML;Proceedings of the ACM on Programming Languages;2020-06-12
2. Higher-Order Program Verification via HFL Model Checking;Programming Languages and Systems;2018
3. Set-theoretic types for polymorphic variants;ACM SIGPLAN Notices;2016-12-05
4. Liberating effects with rows and handlers;Proceedings of the 1st International Workshop on Type-Driven Development;2016-09-18
5. Set-theoretic types for polymorphic variants;Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming;2016-09-04