Mathematical structures in natural language semantics: Zawadowski’s contribution to linguistics.

Συγγραφείς: Chatzikyriakidis, Stergios, 0, Author, Cooper, Robin, 1947, Author

Συνεισφορές: Chatzikyriakidis, Stergios, 0, Author, Cooper, Robin, 1947, Author

Πηγή: Mathematical Structures in Computer Science. 36:1-12

Θεματικοί όροι: Natural Language Processing, Språkbehandling och datorlingvistik, Comparative Language Studies and Linguistics, Jämförande språkvetenskap och allmän lingvistik, type theory, set theory, dependent types, generalized quantifiers, anaphora continuations

Σύνδεσμος πρόσβασης: https://gup.ub.gu.se/publication/362640

More Pie for the Little Typer: Accessible, Extensible, and AI-Guided Proof Education

Συγγραφείς: Zhang, Qixiang, Ding, Feng, Li, Daoxin, Henz, Martin

Πηγή: Proceedings of the 2026 ACM SIGPLAN International Symposium on SPLASH-E. :13-23

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3841644.3842687

Type-Driven Tokenization for Brahmic Scripts: A Pearl

Συγγραφείς: Kapila, Sai Hemanth, Bagavathy, Rakshika

Πηγή: Proceedings of the 11th ACM SIGPLAN International Workshop on Type-Driven Development. :1-7

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3838790.3838791

On Eliminating the Impossible with Dependent Types: Choreographic Libraries with Proof-Carrying Located Values

Συγγραφείς: Daniel, Simon, Böhler, Timon, Richter, David, Weisenburger, Pascal, Mezini, Mira

Πηγή: Proceedings of the 11th ACM SIGPLAN International Workshop on Type-Driven Development. :1-11

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3838790.3838794

Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic

Συγγραφείς: Martínez, Guido, Köpcke, Bastian, Fiala, Jonáš, Ebner, Gabriel, Ramananandro, Tahina, Steuwer, Michel, Sorensen, Tyler, Swamy, Nikhil

Πηγή: Proceedings of the ACM on Programming Languages. 10(PLDI):830-854

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3808280

AdapTT: Functoriality for Dependent Type Casts

Συγγραφείς: Adjedj, Arthur, Lennon-Bertrand, Meven, Benjamin, Thibaut, Maillard, Kenji

Πηγή: Proceedings of the ACM on Programming Languages. 10(POPL):628-658

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3776664

Algorithmic Conversion with Surjective Pairing: A Syntactic and Untyped Approach

Συγγραφείς: Liu, Yiyun, Weirich, Stephanie

Πηγή: Proceedings of the ACM on Programming Languages. 10(POPL):865-894

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3776672

The Next Frontier for AI-Generated Kernels: Correctness

Συγγραφείς: Martínez, Guido, Sorensen, Tyler

Πηγή: Proceedings of the 2026 ACM SIGPLAN International Workshop on Principles of Agentic Engineering. :25-37

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3819802.3820580

On Recursion in Graded Modal Type Theory

Συγγραφείς: Eriksson, Oskar, 1997, Author, Abel, Andreas Martin, 1974, Author, Danielsson, Nils Anders, 1979, Author

Συνεισφορές: Eriksson, Oskar, 1997, Author, Abel, Andreas Martin, 1974, Author, Danielsson, Nils Anders, 1979, Author

Πηγή: Proceedings of the ACM on Programming Languages. 10(ICFP)

Θεματικοί όροι: Computer Sciences, Datavetenskap (datalogi), abstract machine, dependent types, formalization, graded modal type theory, linearity, quantitative type theory

Σύνδεσμος πρόσβασης: https://gup.ub.gu.se/publication/366536

Generic Reduction-Based Interpreters

Συγγραφείς: Bach, Casper

Πηγή: Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday. :166-179

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3759427.3760377

A Formalization of Opaque Definitions for a Dependent Type Theory

Συγγραφείς: Danielsson, Nils Anders, Geng, Eve

Πηγή: Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development. :39-51

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3759538.3759653

Unification Modulo Isomorphisms between Dependent Types for Type-Based Library Search

Συγγραφείς: Takimoto, Satoshi, Moriguchi, Sosuke, Watanabe, Takuo

Πηγή: Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development. :15-25

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3759538.3759651

PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs

Συγγραφείς: Ebner, Gabriel, Martínez, Guido, Rastogi, Aseem, Dardinier, Thibault, Frisella, Megan, Ramananandro, Tahina, Swamy, Nikhil

Πηγή: Proceedings of the ACM on Programming Languages. 9(PLDI):1516-1539

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3729311

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus

Συγγραφείς: Schaefer, Steven, Varner, Nathan, Azevedo de Amorim, Pedro Henrique, New, Max S.

Πηγή: Proceedings of the ACM on Programming Languages. 9(PLDI):773-796

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3729281

Progressful Interpreters for Efficient WebAssembly Mechanisation

Συγγραφείς: Rao, Xiaojia, Radziuk, Stefan, Watt, Conrad, Gardner, Philippa

Πηγή: Proceedings of the ACM on Programming Languages. 9(POPL):627-655

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3704858

A Dependent Type Theory for Meta-programming with Intensional Analysis

Συγγραφείς: Hu, Jason Z. S., Pientka, Brigitte

Πηγή: Proceedings of the ACM on Programming Languages. 9(POPL):416-445

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3704851

Consistency of a Dependent Calculus of Indistinguishability

Συγγραφείς: Liu, Yiyun, Chan, Jonathan, Weirich, Stephanie

Πηγή: Proceedings of the ACM on Programming Languages. 9(POPL):183-209

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3704843

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age

Συγγραφείς: Leißa, Roland, Ullrich, Marcel, Meyer, Joachim, Hack, Sebastian

Πηγή: Proceedings of the ACM on Programming Languages. 9(POPL):95-125

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3704840

Frex: Dependently Typed Algebraic Simplification

Συγγραφείς: Allais, Guillaume, Brady, Edwin, Corbyn, Nathan, Kammar, Ohad, Yallop, Jeremy

Πηγή: Proceedings of the ACM on Programming Languages. 9(ICFP):30-65

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3747506

Normalization by Evaluation for Non-cumulativity

Συγγραφείς: Jiang, Shengyi, Hu, Jason Z. S., Oliveira, Bruno C. d. S.

Πηγή: Proceedings of the ACM on Programming Languages. 9(ICFP):93-127

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3747508