Copattern matching and first-class observations in OCaml, with a macro-Reference-Cited by-同舟云学术

Copattern matching and first-class observations in OCaml, with a macro

Published:2017-10-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming
language:
Short-container-title:

Author:

Laforgue Paul¹,Régis-Gianas Yann²

Affiliation:

1. Univ Paris Diderot, Paris, France and Northeastern University

2. Univ Paris Diderot, Paris, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3131851.3131869

Reference17 articles.

1. Copatterns

2. Wellfounded recursion with copatterns

3. The game of life;Conway John;Scientific American,1970

4. The Coq development team. 2009. The Coq proof assistant reference manual. LogiCal Project. http://coq.inria.fr/doc/ The Coq development team. 2009. The Coq proof assistant reference manual. LogiCal Project. http://coq.inria.fr/doc/

5. Conal Eliott. 2008. Sequences streams and segments. (2008). http://conal.net/blog/posts/sequences-streams-and-segments Conal Eliott. 2008. Sequences streams and segments. (2008). http://conal.net/blog/posts/sequences-streams-and-segments

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

1. Classical (co)recursion: Mechanics;Journal of Functional Programming;2023

2. Elaborating dependent (co)pattern matching: No pattern left behind;Journal of Functional Programming;2020

3. Decomposition diversity with symmetric data and codata;Proceedings of the ACM on Programming Languages;2020-01

4. Codata in Action;Programming Languages and Systems;2019

5. A case study in programming coinductive proofs: Howe’s method;Mathematical Structures in Computer Science;2018-10-31