Cited By
View all- Gaulin APientka B(2023)Contextual Refinement TypesElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.396.2396(4-19)Online publication date: 17-Nov-2023
- Murase YNishiwaki YIgarashi A(2023)Contextual Modal Type Theory with Polymorphic ContextsProgramming Languages and Systems10.1007/978-3-031-30044-8_11(281-308)Online publication date: 22-Apr-2023
- Zyuzin NNanevski A(2021)Contextual modal types for algebraic effects and handlersProceedings of the ACM on Programming Languages10.1145/34735805:ICFP(1-29)Online publication date: 19-Aug-2021
- Show More Cited By