Higher-Order Dynamic Pattern Unification for Dependent Types and Records-Reference-Cited by-同舟云学术

Higher-Order Dynamic Pattern Unification for Dependent Types and Records

Published:2011 Issue: Volume: Page:10-26
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Abel Andreas,Pientka Brigitte

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21691-6_5

Reference19 articles.

1. Cervesato, I., Pfenning, F.: A linear spine calculus. Journal of Logic and Computation 13(5), 639–688 (2003)

2. Dowek, G., Hardin, T., Kirchner, C., Pfenning, F.: Unification via explicit substitutions: The case of higher-order patterns. In: Joint International Conference Logic Programming, pp. 259–273. MIT Press, Cambridge (1996)

3. Duggan, D.: Unification with extended patterns. Theoretical Computer Science 206(1-2), 1–50 (1998)

4. Elliott, C.: Extensions and Applications of Higher-Order Unification. PhD thesis, School of Computer Science, Carnegie Mellon University (1990)

5. Lecture Notes in Computer Science;R. Fettig,1996

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Functions-as-constructors higher-order unification: extended pattern unification;Annals of Mathematics and Artificial Intelligence;2021-09-30

2. A dependently typed calculus with polymorphic subtyping;Science of Computer Programming;2021-08

3. The taming of the rew: a type theory with computational assumptions;Proceedings of the ACM on Programming Languages;2021-01-04

4. Elaboration with first-class implicit function types;Proceedings of the ACM on Programming Languages;2020-08-02

5. Kind inference for datatypes;Proceedings of the ACM on Programming Languages;2020-01