Foundations of Type Inference for Modern Programming Languages

Información del proyecto

TypeFoundry

Identificador del acuerdo de subvención: 101002277

DOI

10.3030/101002277

Fecha de la firma de la CE 8 Abril 2021

Fecha de inicio 1 Octubre 2021

Fecha de finalización 30 Septiembre 2026

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 999 998,00

Aportación de la UE

€ 1 999 998,00

Coordinado por

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

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Peer reviewed articles (7)

Explicit Refinement Types

Autores: Jad Elkhaleq Ghalayini, Neel Krishnaswami
Publicado en: Proceedings of the ACM on Programming Languages, Edición 7, 2024, Página(s) 187-214, ISSN 2475-1421
Editor: ACM
DOI: 10.1145/3607837

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

Autores: Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew Fitzgibbon
Publicado en: Proceedings of the ACM on Programming Languages, Edición 6, 2023, Página(s) 1-30, ISSN 2475-1421
Editor: ACM
DOI: 10.1145/3498710

Fulminate: Testing CN Separation-Logic Specifications in C

Autores: Rini Banerjee, Kayvan Memarian, Dhruv Makwana, Christopher Pulte, Neel Krishnaswami, Peter Sewell
Publicado en: Proceedings of the ACM on Programming Languages, Edición 9, 2025, Página(s) 1260-1292, ISSN 2475-1421
Editor: ACM
DOI: 10.1145/3704879

Focusing on Refinement Typing

Autores: Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
Publicado en: ACM Transactions on Programming Languages and Systems, Edición 45, 2023, Página(s) 1-62, ISSN 0164-0925
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3610408

Bidirectional Typing

Autores: Jana Dunfield, Neel Krishnaswami
Publicado en: ACM Computing Surveys, Edición 54, 2023, Página(s) 1-38, ISSN 0360-0300
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3450952

flap: A Deterministic Parser with Fused Lexing

Autores: Jeremy Yallop Ningning Xie Neel Krishnaswami
Publicado en: Proceedings of the ACM on Programming Languages, Edición Volume 7, Edición PLDI, Article No.: 155, 2023, Página(s) 1194-1217, ISSN 2475-1421
Editor: Association for Computing Machinery
DOI: 10.1145/3591269

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

Autores: Christopher Pulte Dhruv C. Makwana Thomas Sewell Kayvan Memarian Peter Sewell Neel Krishnaswami
Publicado en: Proceedings of the ACM on Programming Languages, Edición Volume 7, Edición POPL, Article No.: 1, 2023, Página(s) 1-32, ISSN 2475-1421
Editor: Association for Computing Machinery
DOI: 10.1145/3571194

Book chapters (1)

Variable binding and substitution for (nameless) dummies

Autores: André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Publicado en: Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, Edición volume 13242, 2023, Página(s) 389-408
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-99253-8_20