Brigitte Pientka
McGill University
H-index: 24
North America-Canada
Top articles of Brigitte Pientka
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
SAT-DIFF: A Tree Diffing Framework Using SAT Solving | arXiv preprint arXiv:2404.04731 | Chuqin Geng Haolin Ye Yihan Zhang Brigitte Pientka Xujie Si | 2024/4/6 |
Layered Modal Type Theory: Where Meta-programming Meets Intensional Analysis | Jason ZS Hu Brigitte Pientka | 2024/4/5 | |
Adjoint Natural Deduction (Extended Version) | arXiv preprint arXiv:2402.01428 | Junyoung Jang Sophia Roshal Frank Pfenning Brigitte Pientka | 2024/2/2 |
Message-Observing Sessions | Proceedings of the ACM on Programming Languages | Ryan Kavanagh Brigitte Pientka | 2024/4/29 |
DeLaM: A Dependent Layered Modal Type Theory for Meta-programming | arXiv preprint arXiv:2404.17065 | Jason ZS Hu Brigitte Pientka | 2024/4/25 |
Contextual Refinement Types | arXiv preprint arXiv:2311.10577 | Antoine Gaulin Brigitte Pientka | 2023/11/17 |
Normalization by evaluation for modal dependent type theory | Journal of Functional Programming | JASON ZS HU JUNYOUNG JANG BRIGITTE PIENTKA | 2023/1 |
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity | Proceedings of the ACM on Programming Languages | Chuta Sano Ryan Kavanagh Brigitte Pientka | 2023/10/16 |
Automated Deduction–CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings | Brigitte Pientka Cesare Tinelli | 2023 | |
Layered Modal Type Theories | arXiv preprint arXiv:2305.06548 | Jason ZS Hu Brigitte Pientka | 2023/5/11 |
Can chatgpt pass an introductory level functional language programming course? | arXiv preprint arXiv:2305.02230 | Chuqin Geng Zhang Yihan Brigitte Pientka Xujie Si | 2023/4/29 |
The Westin St. Francis, San Francisco, CA Pacific APA Meeting April 5–6, 2023 | The Bulletin of Symbolic Logic | Silvia De Toffoli Patrick J Ryan Dirk Schlimm Tomas Petricek Brigitte Pientka | 2023/12 |
Identifying different student clusters in functional programming assignments: From quick learners to struggling students | Chuqin Geng Wenwen Xu Yingjie Xu Brigitte Pientka Xujie Si | 2023/3/2 | |
Semi-Automation of Meta-Theoretic Proofs in Beluga | arXiv preprint arXiv:2311.10439 | Johanna Schwartzentruber Brigitte Pientka | 2023/11/17 |
A categorical normalization proof for the modal lambda-calculus | Electronic Notes in Theoretical Informatics and Computer Science | Jason ZS Hu Brigitte Pientka | 2023/2/22 |
Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself | Proceedings of the ACM on Programming Languages | Junyoung Jang Samuel Gélineau Stefan Monnier Brigitte Pientka | 2022/1/11 |
Mœbius: Metaprogramming using Contextual Types | JUNYOUNG JANG STEFAN MONNIER BRIGITTE PIENTKA | 2022 | |
Novice Type Error Diagnosis with Natural Language Models | Chuqin Geng Haolin Ye Yixuan Li Tianyu Han Brigitte Pientka | 2022/11/25 | |
A category theoretic view of contextual types: from simple types to dependent types | ACM Transactions on Computational Logic | Jason ZS Hu Brigitte Pientka Ulrich Schöpp | 2022/10/20 |
An Investigation of Kripke-style Modal Type Theories | arXiv preprint arXiv:2206.07823 | Jason ZS Hu Brigitte Pientka | 2022/6/15 |