Foundations of Type Inference for Modern Programming Languages

Project Information

TypeFoundry

Grant agreement ID: 101002277

DOI

10.3030/101002277

EC signature date 8 April 2021

Start date 1 October 2021

End date 30 September 2026

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 999 998,00

EU contribution

€ 1 999 998,00

Coordinated by

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

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (7)

Explicit Refinement Types

Author(s): Jad Elkhaleq Ghalayini, Neel Krishnaswami
Published in: Proceedings of the ACM on Programming Languages, Issue 7, 2024, Page(s) 187-214, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3607837

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

Author(s): Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew Fitzgibbon
Published in: Proceedings of the ACM on Programming Languages, Issue 6, 2023, Page(s) 1-30, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3498710

Fulminate: Testing CN Separation-Logic Specifications in C

Author(s): Rini Banerjee, Kayvan Memarian, Dhruv Makwana, Christopher Pulte, Neel Krishnaswami, Peter Sewell
Published in: Proceedings of the ACM on Programming Languages, Issue 9, 2025, Page(s) 1260-1292, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3704879

Focusing on Refinement Typing

Author(s): Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
Published in: ACM Transactions on Programming Languages and Systems, Issue 45, 2023, Page(s) 1-62, ISSN 0164-0925
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3610408

Bidirectional Typing

Author(s): Jana Dunfield, Neel Krishnaswami
Published in: ACM Computing Surveys, Issue 54, 2023, Page(s) 1-38, ISSN 0360-0300
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3450952

flap: A Deterministic Parser with Fused Lexing

Author(s): Jeremy Yallop Ningning Xie Neel Krishnaswami
Published in: Proceedings of the ACM on Programming Languages, Issue Volume 7, Issue PLDI, Article No.: 155, 2023, Page(s) 1194-1217, ISSN 2475-1421
Publisher: Association for Computing Machinery
DOI: 10.1145/3591269

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

Author(s): Christopher Pulte Dhruv C. Makwana Thomas Sewell Kayvan Memarian Peter Sewell Neel Krishnaswami
Published in: Proceedings of the ACM on Programming Languages, Issue Volume 7, Issue POPL, Article No.: 1, 2023, Page(s) 1-32, ISSN 2475-1421
Publisher: Association for Computing Machinery
DOI: 10.1145/3571194

Book chapters (1)

Variable binding and substitution for (nameless) dummies

Author(s): André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Published in: Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, Issue volume 13242, 2023, Page(s) 389-408
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-99253-8_20