Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Foundations of Type Inference for Modern Programming Languages

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

Explicit Refinement Types (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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

Variable binding and substitution for (nameless) dummies (se abrirá en una nueva ventana)

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

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0