Principal Type Inference under a Prefix
Daan Leijen, Wenjia Ye
PLDI’25 | June 2025
A Fresh Look at Static Overloading. See also the accompanying technical report.
June 18, 2025 –
June 20, 2025
Microsoft at PLDI 2025
Korean Standard Time (UTC +9)
Lieu: Seoul, South Korea
Publications
-
-
-
Dynamic Region Ownership for Concurrency Safety
Fridtjof Peer Stoldt, Brandt Bucher, Sylvan Clebsch, Matthew Johnson, Matthew J. Parkinson, Guido Van Rossum, Eric Snow, Tobias Wrigstad
PACMPL | June 2025, Vol 9(PLDI)
-
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
2025 Programming Language Design and Implementation | June 2025
Accepted for publication, to appear
-
-
-
Principal Type Inference under a Prefix (TR)
Daan Leijen, Wenjia Ye
MSR-TR-2024-34 | September 2024
Publié par Microsoft
A Fresh Look at Static Overloading. Updated 2025-05-19, v7. Extended version of the PLDI'25 paper.
-
-
-
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Federico Cassano, John Gouwar, F. Lucchetti, Claire Schlesinger, Carolyn Jane Anderson, Michael Greenberg, Abhinav Jangda, Arjun Guha
PLDI 2025 | August 2023
-
-
-
Principal Type Inference under a Prefix
Daan Leijen, Wenjia Ye
PLDI’25 | June 2025
A Fresh Look at Static Overloading. See also the accompanying technical report.
-
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
2025 Programming Language Design and Implementation | June 2025
Accepted for publication, to appear
-
Dynamic Region Ownership for Concurrency Safety
Fridtjof Peer Stoldt, Brandt Bucher, Sylvan Clebsch, Matthew Johnson, Matthew J. Parkinson, Guido Van Rossum, Eric Snow, Tobias Wrigstad
PACMPL | June 2025, Vol 9(PLDI)
-
Principal Type Inference under a Prefix (TR)
Daan Leijen, Wenjia Ye
MSR-TR-2024-34 | September 2024
Publié par Microsoft
A Fresh Look at Static Overloading. Updated 2025-05-19, v7. Extended version of the PLDI'25 paper.
-
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Federico Cassano, John Gouwar, F. Lucchetti, Claire Schlesinger, Carolyn Jane Anderson, Michael Greenberg, Abhinav Jangda, Arjun Guha
PLDI 2025 | August 2023
-
-
-
Principal Type Inference under a Prefix
Daan Leijen, Wenjia Ye
PLDI’25 | June 2025
A Fresh Look at Static Overloading. See also the accompanying technical report.
-
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
2025 Programming Language Design and Implementation | June 2025
Accepted for publication, to appear
-
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Federico Cassano, John Gouwar, F. Lucchetti, Claire Schlesinger, Carolyn Jane Anderson, Michael Greenberg, Abhinav Jangda, Arjun Guha
PLDI 2025 | August 2023
-
-
-
Dynamic Region Ownership for Concurrency Safety
Fridtjof Peer Stoldt, Brandt Bucher, Sylvan Clebsch, Matthew Johnson, Matthew J. Parkinson, Guido Van Rossum, Eric Snow, Tobias Wrigstad
PACMPL | June 2025, Vol 9(PLDI)
-
-
-
Principal Type Inference under a Prefix (TR)
Daan Leijen, Wenjia Ye
MSR-TR-2024-34 | September 2024
Publié par Microsoft
A Fresh Look at Static Overloading. Updated 2025-05-19, v7. Extended version of the PLDI'25 paper.
-