GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness-Reference-Cited by-同舟云学术

GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness

Published:2015-08-29 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
language:
Short-container-title:

Author:

Karachalias Georgios¹,Schrijvers Tom²,Vytiniotis Dimitrios³,Jones Simon Peyton³

Affiliation:

1. Ghent University, Belgium

2. KU Leuven, Belgium

3. Microsoft Research, UK

Publisher

ACM

Link

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

Reference40 articles.

1. Programming and reasoning with algebraic effects and dependent types

2. Idris, a general-purpose dependently typed programming language: Design and implementation

3. K. Claessen M. Johansson D. Rosén and N. Smallbone . Automating inductive proofs using theory exploration . In M. P. Bonacina editor CADE volume 7898 of Lecture Notes in Computer Science pages 392– 406 . Springer 2013. 10.1007/978-3-642-38574-2_27 K. Claessen M. Johansson D. Rosén and N. Smallbone. Automating inductive proofs using theory exploration. In M. P. Bonacina editor CADE volume 7898 of Lecture Notes in Computer Science pages 392–406. Springer 2013. 10.1007/978-3-642-38574-2_27

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

1. Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types;Proceedings of the ACM on Programming Languages;2023-08-30

2. Live Pattern Matching with Typed Holes;Proceedings of the ACM on Programming Languages;2023-04-06

3. A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning;Proceedings of the ACM on Programming Languages;2022-10-31

4. Verification of Program Transformations with Inductive Refinement Types;ACM Transactions on Software Engineering and Methodology;2021-01-31

5. Eliminating bugs with dependent Haskell (experience report);Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell;2020-08-09