Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks
Conference proceeding (August 2022)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Conference proceeding (August 2022)
Conference proceeding (July 2020)
Article in Proceedings of the ACM on Programming Languages (January 2019)