Stitch: the sound type-indexed type checker (functional pearl)-Reference-Cited by-同舟云学术

Stitch: the sound type-indexed type checker (functional pearl)

Published:2020-08-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell
language:
Short-container-title:

Author:

Eisenberg Richard A.¹

Affiliation:

1. Tweag I/O, France / Bryn Mawr College, USA

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference62 articles.

1. A type and scope safe universe of syntaxes with binding: their semantics and proofs

2. Type-and-scope safe programs and their proofs

3. Cayenne---a language with dependent types

4. Lennart Augustsson and Magnus Carlsson. 1999. An exercise in dependent types: A well-typed interpreter. ( 1999 ). htp://citeseerx.ist.psu. edu/viewdoc/download?doi=10.1.1.39.2895& rep=rep1&type=pdf Unpublished manuscript. Lennart Augustsson and Magnus Carlsson. 1999. An exercise in dependent types: A well-typed interpreter. ( 1999 ). htp://citeseerx.ist.psu. edu/viewdoc/download?doi=10.1.1.39.2895& rep=rep1&type=pdf Unpublished manuscript.

5. Strongly Typed Term Representations in Coq

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

1. 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

2. An existential crisis resolved: type inference for first-class existential types;Proceedings of the ACM on Programming Languages;2021-08-22

3. A type- and scope-safe universe of syntaxes with binding: their semantics and proofs;Journal of Functional Programming;2021