Author:
Weirich Stephanie,Casinghino Chris
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Altenkirch, T., McBride, C.: Generic programming within dependently typed programming. In: Proceedings of the IFIP TC2 Working Conference on Generic Programming (2003)
2. Augustsson, L.: Cayenne a language with dependent types. In: Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, ICFP 1998, pp. 239–250. ACM, New York (1998) ISBN 1-58113-024-4,
http://doi.acm.org/10.1145/289423.289451
, doi:10.1145/289423.289451
3. Marcin, B., Peter, D., Patrik, J.: Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing 10(4), 265–289 (2003)
4. Cardelli, L.: A polymorphic lambda calculus with Type:Type. Research Report 10, DEC Systems Research Center (1986)
5. Chakravarty, M.M.T., Keller, G., Peyton Jones, S.: Associated type synonyms. In: ICFP 2005: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, pp. 241–253. ACM, New York (2005)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Defunctionalization with Dependent Types;Proceedings of the ACM on Programming Languages;2023-06-06