Foundations of Type Inference for Modern Programming Languages

Informacje na temat projektu

TypeFoundry

Identyfikator umowy o grant: 101002277

DOI

10.3030/101002277

Data podpisania przez KE 8 Kwietnia 2021

Data rozpoczęcia 1 Października 2021

Data zakończenia 30 Września 2026

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 999 998,00

Wkład UE

€ 1 999 998,00

Koordynowany przez

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

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (7)

Explicit Refinement Types

Autorzy: Jad Elkhaleq Ghalayini, Neel Krishnaswami
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 7, 2024, Strona(/y) 187-214, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3607837

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

Autorzy: Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew Fitzgibbon
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 6, 2023, Strona(/y) 1-30, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3498710

Fulminate: Testing CN Separation-Logic Specifications in C

Autorzy: Rini Banerjee, Kayvan Memarian, Dhruv Makwana, Christopher Pulte, Neel Krishnaswami, Peter Sewell
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 9, 2025, Strona(/y) 1260-1292, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3704879

Focusing on Refinement Typing

Autorzy: Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
Opublikowane w: ACM Transactions on Programming Languages and Systems, Numer 45, 2023, Strona(/y) 1-62, ISSN 0164-0925
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3610408

Bidirectional Typing

Autorzy: Jana Dunfield, Neel Krishnaswami
Opublikowane w: ACM Computing Surveys, Numer 54, 2023, Strona(/y) 1-38, ISSN 0360-0300
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3450952

flap: A Deterministic Parser with Fused Lexing

Autorzy: Jeremy Yallop Ningning Xie Neel Krishnaswami
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer Volume 7, Numer PLDI, Article No.: 155, 2023, Strona(/y) 1194-1217, ISSN 2475-1421
Wydawca: Association for Computing Machinery
DOI: 10.1145/3591269

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

Autorzy: Christopher Pulte Dhruv C. Makwana Thomas Sewell Kayvan Memarian Peter Sewell Neel Krishnaswami
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer Volume 7, Numer POPL, Article No.: 1, 2023, Strona(/y) 1-32, ISSN 2475-1421
Wydawca: Association for Computing Machinery
DOI: 10.1145/3571194

Book chapters (1)

Variable binding and substitution for (nameless) dummies

Autorzy: André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Opublikowane w: Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, Numer volume 13242, 2023, Strona(/y) 389-408
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-99253-8_20