E-LIB Suche - Ergebnisse für: Pientka, Brigitte

1

Layered Modal Type Theory: Where Meta-programming Meets Int..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Hu, Jason Z. S. ; Pientka, Brigitte - p. 52-82 , 2024

Link: https://doi.org/10.1007/..

2

Proceedings of the 13th ACM SIGPLAN International Conferenc..:

Timany, Amin ; Traytel, Dmitriy ; Pientka, Brigitte. , 2024

Link: https://dl.acm.org/doi/1..

3

Message-Observing Sessions:

Kavanagh, Ryan ; Pientka, Brigitte
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 1351-1379 , 2024

Link: https://doi.org/10.1145/..

4

Proceedings of the 12th ACM SIGPLAN International Conferenc..:

Krebbers, Robbert ; Traytel, Dmitriy ; Pientka, Brigitte. , 2023

Link: https://dl.acm.org/doi/1..

5

Mechanizing Session-Types using a Structural View: Enforcin..:

Sano, Chuta ; Kavanagh, Ryan ; Pientka, Brigitte
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 374-399 , 2023

Link: https://doi.org/10.1145/..

6

Identifying Different Student Clusters in Functional Progra..:

, In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1,

Geng, Chuqin ; Xu, Wenwen ; Xu, Yingjie.. - p. 750-756 , 2023

Link: https://dl.acm.org/doi/1..

7

Normalization by evaluation for modal dependent type theory:

HU, JASON Z. S. ; JANG, JUNYOUNG ; PIENTKA, BRIGITTE
Journal of Functional Programming. 33 (2023) - p. , 2023

Link: https://doi.org/10.1017/..

8

A Categorical Normalization Proof for the Modal Lambda-Calc..:

Hu, Jason Z. S. ; Pientka, Brigitte
Electronic Notes in Theoretical Informatics and Computer Science. 1 - Proceedings of (2023) - p. , 2023

Link: https://doi.org/10.46298..

9

A Category Theoretic View of Contextual Types: From Simple ..:

Hu, Jason Z. S. ; Pientka, Brigitte ; Schöpp, Ulrich
ACM Transactions on Computational Logic. 23 (2022) 4 - p. 1-36 , 2022

Link: https://doi.org/10.1145/..

10

Mœbius: metaprogramming using contextual types: the stage w..:

Jang, Junyoung ; Gélineau, Samuel ; Monnier, Stefan.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-27 , 2022

Link: https://dl.acm.org/doi/1..

11

Novice Type Error Diagnosis with Natural Language Models:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Geng, Chuqin ; Ye, Haolin ; Li, Yixuan... - p. 196-214 , 2022

Link: https://doi.org/10.1007/..

12

Mœbius: metaprogramming using contextual types: the stage w..:

Jang, Junyoung ; Gélineau, Samuel ; Monnier, Stefan.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-27 , 2022

Link: https://doi.org/10.1145/..

13

Harpoon: Mechanizing Metatheory Interactively: (System Desc..:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,

Errington, Jacob ; Jang, Junyoung ; Pientka, Brigitte - p. 636-648 , 2021

Link: https://doi.org/10.1007/..

14

Data Collection for the Learn-OCaml Programming Platform ..:

, In: Proceedings of the 52nd ACM Technical Symposium on Computer Science Education,

Ceci, Alana ; Tavante, Hanneli C. A. ; Pientka, Brigitte. - p. 1341 ff. , 2021

Link: https://dl.acm.org/doi/1..

15

Semantical Analysis of Contextual Types:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Pientka, Brigitte ; Schöpp, Ulrich - p. 502-521 , 2020

Link: https://doi.org/10.1007/..