Author:
Altenkirch Thorsten,Danielsson Nils Anders,Kraus Nicolai
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Altenkirch, T., Kaposi, A.: Type theory in type theory using quotient inductive types. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, pp. 18–29 (2016). doi:10.1145/2837614.2837638
2. Altenkirch, T., Capriotti, P., Dijkstra, G., Nordvall Forsberg, F.: Quotient inductive-inductive types. Preprint arXiv:1612.02346v1 [cs.LO] (2016)
3. Altenkirch, T., Danielsson, N.A., Kraus, N.: Code related to the paper “Partiality, revisited: The partiality monad as a quotient inductive-inductive type” (2017). Agda code, http://www.cse.chalmers.se/~nad/
4. Awodey, S., Gambino, N., Sojakova, K.: Inductive types in homotopy type theory. In: 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 95–104 (2012). doi:10.1109/LICS.2012.21
5. Lecture Notes in Computer Science;N Benton,2009
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Metalanguage for Cost-Aware Denotational Semantics;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Two-level type theory and applications;Mathematical Structures in Computer Science;2023-05-30
3. Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq;Proceedings of the ACM on Programming Languages;2023-01-09
4. A totally predictable outcome: an investigation of traversals of infinite structures;Proceedings of the 15th ACM SIGPLAN International Haskell Symposium;2022-09-06
5. Streams of Approximations, Equivalence of Recursive Effectful Programs;Lecture Notes in Computer Science;2022