Foundations of Type Inference for Modern Programming Languages

Projektinformationen

TypeFoundry

ID Finanzhilfevereinbarung: 101002277

DOI 10.3030/101002277

EK-Unterschriftsdatum 8 April 2021

Startdatum 1 Oktober 2021

Enddatum 30 September 2026

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten € 1 999 998,00

EU-Beitrag € 1 999 998,00

Koordiniert durch

THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
Vereinigtes Königreich

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Fachlich begutachtete Artikel (7)

Explicit Refinement Types

Autoren: Jad Elkhaleq Ghalayini, Neel Krishnaswami
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 7, 2024, Seite(n) 187-214, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3607837

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

Autoren: Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew Fitzgibbon
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 6, 2023, Seite(n) 1-30, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3498710

Fulminate: Testing CN Separation-Logic Specifications in C

Autoren: Rini Banerjee, Kayvan Memarian, Dhruv Makwana, Christopher Pulte, Neel Krishnaswami, Peter Sewell
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 9, 2025, Seite(n) 1260-1292, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3704879

Focusing on Refinement Typing

Autoren: Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
Veröffentlicht in: ACM Transactions on Programming Languages and Systems, Ausgabe 45, 2023, Seite(n) 1-62, ISSN 0164-0925
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3610408

Bidirectional Typing

Autoren: Jana Dunfield, Neel Krishnaswami
Veröffentlicht in: ACM Computing Surveys, Ausgabe 54, 2023, Seite(n) 1-38, ISSN 0360-0300
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3450952

flap: A Deterministic Parser with Fused Lexing

Autoren: Jeremy Yallop Ningning Xie Neel Krishnaswami
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe Volume 7, Ausgabe PLDI, Article No.: 155, 2023, Seite(n) 1194-1217, ISSN 2475-1421
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3591269

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

Autoren: Christopher Pulte Dhruv C. Makwana Thomas Sewell Kayvan Memarian Peter Sewell Neel Krishnaswami
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe Volume 7, Ausgabe POPL, Article No.: 1, 2023, Seite(n) 1-32, ISSN 2475-1421
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3571194

Buchkapitel (1)

Variable binding and substitution for (nameless) dummies

Autoren: André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Veröffentlicht in: Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, Ausgabe volume 13242, 2023, Seite(n) 389-408
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-99253-8_20