15 citations · 74 across the 20 of their papers we have counts for
4 papers · 1 filter
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity
Chuta Sano, Ryan Kavanagh, Brigitte Pientka
Session types employ a linear type system that ensures that communication channels cannot be implicitly copied or discarded. As a result, many mechanizations of these systems requi…
Can ChatGPT Pass An Introductory Level Functional Language Programming Course?
Chuqin Geng, Yihan Zhang, Brigitte Pientka +1
The recent introduction of ChatGPT has drawn significant attention from both industry and academia due to its impressive capabilities in solving a diverse range of tasks, including…
Layered Modal Type Theories
Jason Z. S. Hu, Brigitte Pientka
We introduce layers to modal type theories, which subsequently enables type theories for pattern matching on code in meta-programming and clean and straightforward semantics.
Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students
Chuqin Geng, Wenwen Xu, Yingjie Xu +2
Instructors and students alike are often focused on the grade in programming assignments as a key measure of how well a student is mastering the material and whether a student is s…