[oopsla'25] Polymorphic Records For Dynamic Languages
Synopsis
Polymorphic Records for Dynamic Languages (Video, OOPSLA1 2025) Giuseppe Castagna and Loïc Peyrot (CNRS - Université ...
You Might Also Like
![[POPL'24] Polymorphic Type Inference for Dynamic Languages](https://i.ytimg.com/vi/dYJ9DB5ySwU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDk17iYyNY0DiryI1Q5jY_BwZb_qA)
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAYzUmKDb_N1vMdIwVKLHFh_Gjp5Q)
![[OOPSLA'25] (TOPLAS) Type-Safe Compilation of Dynamic Inheritance via Merging](https://i.ytimg.com/vi/B9-Lr_UYUcI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBM4P7dCtpfEg4r3a-cO13Ffl5Ogg)
![[OOPSLA'25] On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs](https://i.ytimg.com/vi/P1TtdQj3ILw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBGyE7cT0XmU4yjPq0dycNK-8WWlA)
![[OOPSLA'25] Float Self-Tagging](https://i.ytimg.com/vi/9xSZe1xsNfc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBAlJ9YQNdg89PmS1LJUEKaQxxWUw)
![[OOPSLA'25] The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…)](https://i.ytimg.com/vi/Z7SxbzFo55U/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLC3jyYizCx75hgT40jUmBm6GJkqyQ)
![[OOPSLA'25] Fuzzing C++ Compilers via Type-Driven Mutation](https://i.ytimg.com/vi/je8uYrTNfys/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDyKOYx4QJcXPJe2yMWnBT8X2_SNA)
![[OOPSLA'25] On Abstraction Refinement for Bayesian Program Analysis](https://i.ytimg.com/vi/Fvd6W1gGZ_g/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDzvYrOYmKx2Dj5Jt6N9p_Dr1I7oA)
![[OOPSLA'25] Language-Parametric Reference Synthesis](https://i.ytimg.com/vi/5joB1gy_0cU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCA43z1UsclngJ707SzSFp3hedNXw)
![[OOPSLA'25] Choreographic Quick Changes: First-Class Location (Set) Polymorphism](https://i.ytimg.com/vi/z7ilMVAyi60/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBGwa1OmBXPVsg8rCCnwAJgjK4VCw)
![[OOPSLA'25] Quantified Underapproximation via Labeled Bunches](https://i.ytimg.com/vi/l5phK55JEqw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA3d-7ErdC1zYNRC17-V-UilQdreg)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.