C-SHORe-Reference-Cited by-同舟云学术

C-SHORe

Published:2013-09-25 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
language:
Short-container-title:

Author:

Broadbent Christopher¹,Carayol Arnaud²,Hague Matthew³,Serre Olivier⁴

Affiliation:

1. LIAFA, Universite Paris Diderot -- Paris 7 & CNRS & University of Tokyo & Technische Universitat Munchen, Paris, Tokyo, Munich, Germany

2. LIGM, Universite Paris-Est & CNRS, Paris, France

3. Royal Holloway University of London & LIGM, Universite Paris-Est & LIAFA, Universite Paris Diderot -- Paris 7 & CNRS, London, United Kingdom

4. LIAFA, Universite Paris Diderot -- Paris 7 & CNRS, Paris, France

Publisher

ACM

Link

Reference36 articles.

2. Parties rationnelles du groupe libre. Comptes-Rendus de l'Acamdemie des Sciences de Paris;Benois M.;Série A,1969

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

1. Collapsible Pushdown Parity Games;ACM Transactions on Computational Logic;2021-06-24

2. 10 Years of the Higher-Order Model Checking Project (Extended Abstract);Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07

3. Lazy Abstraction for Higher-Order Program Verification;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03

4. Linearity in higher-order recursion schemes;Proceedings of the ACM on Programming Languages;2018-01

5. Higher-order constrained horn clauses for verification;Proceedings of the ACM on Programming Languages;2018-01