Author:
Altenkirch Thorsten,Danielsson Nils Anders,Löh Andres,Oury Nicolas
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Altenkirch, T., Oury, N.: ΠΣ: A core language for dependently typed programming. Draft (2008)
2. Altenkirch, T., McBride, C., McKinna, J.: Why dependent types matter. Draft (2005)
3. Altenkirch, T., McBride, C., Swierstra, W.: Observational equality, now! In: Proceedings of the 2007 workshop on Programming languages meets program verification, pp. 57–68 (2007)
4. Augustsson, L.: Cayenne — a language with dependent types. In: Proceedings of the third ACM SIGPLAN international conference on Functional programming, pp. 239–250 (1998)
5. Chapman, J., Altenkirch, T., McBride, C.: Epigram reloaded: A standalone typechecker for ETT. In: Trends in Functional Programming, vol. 6. Intellect (2006)
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Dependently Typed Language with Dynamic Equality;Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development;2023-08-30
2. Bidirectional Typing;ACM Computing Surveys;2022-06-30
3. A dependently typed calculus with polymorphic subtyping;Science of Computer Programming;2021-08
4. Dependent type systems as macros;Proceedings of the ACM on Programming Languages;2020-01
5. Inductive types deconstructed: the calculus of united constructions;Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2019;2019