Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Simple
Original
Articles by
Brigitte Pientka
Deconstructed Proto-Quipper: A Rational Reconstruction
22 October 2025 by
Ryan Kavanagh
and
others
Programming Languages
Deconstructed Proto-Quipper: A Rational Reconstruction
22 October 2025 by
Ryan Kavanagh
and
others
Programming Languages
Deconstructed Proto-Quipper: A Rational Reconstruction
22 October 2025 by
Ryan Kavanagh
and
others
Programming Languages
Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
1 November 2024 by
Junyoung Jang
and
Brigitte Pientka
Programming Languages
,
Logic in Computer Science
Modernizing SMT-Based Type Error Localization
16 August 2024 by
Max Kopinsky
and
others
Programming Languages
DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
8 July 2024 by
Jason Z. S. Hu
and
Brigitte Pientka
Logic in Computer Science
,
Programming Languages
SAT-DIFF: A Tree Diffing Framework Using SAT Solving
6 April 2024 by
Chuqin Geng
and
others
Programming Languages
,
Software Engineering
Message-Observing Sessions
7 March 2024 by
Ryan Kavanagh
and
Brigitte Pientka
Programming Languages
Layered Modal Type Theories
29 February 2024 by
Jason Z. S. Hu
and
Brigitte Pientka
Logic in Computer Science
,
Programming Languages
Adjoint Natural Deduction (Extended Version)
2 February 2024 by
Junyoung Jang
and
others
Logic in Computer Science
,
Programming Languages
Contextual Refinement Types
17 November 2023 by
Antoine Gaulin
and
Brigitte Pientka
at
McGill University
Programming Languages
Semi-Automation of Meta-Theoretic Proofs in Beluga
17 November 2023 by
Johanna Schwartzentruber
and
Brigitte Pientka
Programming Languages
,
Logic in Computer Science
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity
21 September 2023 by
Chuta Sano
and
others
Programming Languages
Can ChatGPT Pass An Introductory Level Functional Language Programming Course?
4 May 2023 by
Chuqin Geng
and
others
Computers and Society
,
Artificial Intelligence
A Categorical Normalization Proof for the Modal Lambda-Calculus
5 February 2023 by
Jason Z. S. Hu
and
Brigitte Pientka
Programming Languages
,
Logic in Computer Science
Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students
6 January 2023 by
Chuqin Geng
and
others
Computers and Society
Novice Type Error Diagnosis with Natural Language Models
7 October 2022 by
Chuqin Geng
and
others
Programming Languages
,
Machine Learning
An Investigation of Kripke-style Modal Type Theories
17 June 2022 by
Jason Z. S. Hu
and
Brigitte Pientka
Logic in Computer Science
,
Programming Languages
A Category Theoretic View of Contextual Types: from Simple Types to Dependent Types
8 June 2022 by
Jason Z. S. Hu
and
others
Logic in Computer Science
,
Programming Languages
Moebius: Metaprogramming using Contextual Types -- The stage where System F can pattern match on itself (Long Version)
15 November 2021 by
Junyoung Jang
and
others
Programming Languages
Rainbow smelt population responses to species invasions and change in environmental condition
13 May 2021 by
R. Bruel
and
others
at
University of Vermont
Ecology
A Type Theory for Defining Logics and Proofs
7 May 2019 by
Brigitte Pientka
and
others
Logic in Computer Science
,
Programming Languages
Cocon: Computation in Contextual Type Theory
10 January 2019 by
Brigitte Pientka
and
others
at
McGill University
Programming Languages
Index-Stratified Types (Extended Version)
1 May 2018 by
Rohan Jacob-Rao
and
others
Programming Languages
A Case Study on Logical Relations using Contextual Types
29 July 2015 by
Andrew Cave
and
Brigitte Pientka
at
McGill University
Logic in Computer Science
,
Programming Languages
An Open Challenge Problem Repository for Systems Supporting Binders
29 July 2015 by
Amy Felty
and
others
at
University of Ottawa
Logic in Computer Science
,
Programming Languages
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks
20 March 2015 by
Amy Felty
and
others
Logic in Computer Science
Multi-level Contextual Type Theory
1 November 2011 by
Mathieu Boespflug
and
Brigitte Pientka
at
McGill University
Logic in Computer Science
,
Programming Languages
Explicit Substitutions for Contextual Type Theory
14 September 2010 by
Andreas Abel
and
Brigitte Pientka
at
McGill University
Logic in Computer Science
,
Programming Languages
Articles by Brigitte Pientka | Synthical
