Author:
Ishio Chiaki,Asai Kenichi
Publisher
Springer International Publishing
Reference19 articles.
1. Lecture Notes in Computer Science;T Altenkirch,1999
2. Asai, K., Uehara, C.: Selective CPS transformation for shift and reset. In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018), pp. 40–52 (2018)
3. Biernacki, D., Polesiuk, P.: Logical relations for coherence of effect subtyping. Log. Methods Comput. Sci. 14(1), 1–28 (2018)
4. Chlipala, A.: Parametric higher-order abstract syntax for mechanized semantics. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 2008), pp. 143–156, September 2008
5. Chlipala, A.: Certified Programming with Dependent Types. MIT Press, Cambridge (2013)