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.
2025年6月18日 –
2025年6月20日
Microsoft at PLDI 2025
Korean Standard Time (UTC +9)
地点： Seoul, South Korea
论文与出版物
-
-
-
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, 第 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
作者：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, 第 9 卷(PLDI)
-
Principal Type Inference under a Prefix (TR)
Daan Leijen, Wenjia Ye
MSR-TR-2024-34 | September 2024
作者：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, 第 9 卷(PLDI)
-
-
-
Principal Type Inference under a Prefix (TR)
Daan Leijen, Wenjia Ye
MSR-TR-2024-34 | September 2024
作者：Microsoft
A Fresh Look at Static Overloading. Updated 2025-05-19, v7. Extended version of the PLDI'25 paper.
-