Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Foundations of Type Inference for Modern Programming Languages

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

Explicit Refinement Types (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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

Variable binding and substitution for (nameless) dummies (opens in new window)

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0