Foundations of Type Inference for Modern Programming Languages

Informazioni relative al progetto

TypeFoundry

ID dell’accordo di sovvenzione: 101002277

DOI

10.3030/101002277

Data della firma CE 8 Aprile 2021

Data di avvio 1 Ottobre 2021

Data di completamento 30 Settembre 2026

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 1 999 998,00

Contributo UE

€ 1 999 998,00

Coordinato da

THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (7)

Explicit Refinement Types

Autori: Jad Elkhaleq Ghalayini, Neel Krishnaswami
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 7, 2024, Pagina/e 187-214, ISSN 2475-1421
Editore: ACM
DOI: 10.1145/3607837

Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation

Autori: Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew Fitzgibbon
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 6, 2023, Pagina/e 1-30, ISSN 2475-1421
Editore: ACM
DOI: 10.1145/3498710

Fulminate: Testing CN Separation-Logic Specifications in C

Autori: Rini Banerjee, Kayvan Memarian, Dhruv Makwana, Christopher Pulte, Neel Krishnaswami, Peter Sewell
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 9, 2025, Pagina/e 1260-1292, ISSN 2475-1421
Editore: ACM
DOI: 10.1145/3704879

Focusing on Refinement Typing

Autori: Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
Pubblicato in: ACM Transactions on Programming Languages and Systems, Numero 45, 2023, Pagina/e 1-62, ISSN 0164-0925
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3610408

Bidirectional Typing

Autori: Jana Dunfield, Neel Krishnaswami
Pubblicato in: ACM Computing Surveys, Numero 54, 2023, Pagina/e 1-38, ISSN 0360-0300
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3450952

flap: A Deterministic Parser with Fused Lexing

Autori: Jeremy Yallop Ningning Xie Neel Krishnaswami
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero Volume 7, Numero PLDI, Article No.: 155, 2023, Pagina/e 1194-1217, ISSN 2475-1421
Editore: Association for Computing Machinery
DOI: 10.1145/3591269

CN: Verifying Systems C Code with Separation-Logic Refinement Types

Autori: Christopher Pulte Dhruv C. Makwana Thomas Sewell Kayvan Memarian Peter Sewell Neel Krishnaswami
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero Volume 7, Numero POPL, Article No.: 1, 2023, Pagina/e 1-32, ISSN 2475-1421
Editore: Association for Computing Machinery
DOI: 10.1145/3571194

Book chapters (1)

Variable binding and substitution for (nameless) dummies

Autori: André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Pubblicato in: Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, Numero volume 13242, 2023, Pagina/e 389-408
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-99253-8_20