Media Summary: Broadcasted live on Twitch -- Watch live at Bean: A Language for Backward Error Analysis (Video, Partial Evaluation, Whole-Program Compilation (Video,
Broadcasted live on Twitch -- Watch live at Bean: A Language for Backward Error Analysis (Video, Partial Evaluation, Whole-Program Compilation (Video, LambdAle 2019 Keynote by Simon Peyton Jones.
![[PLDI'25] Practical Type Inference with Levels](https://i.ytimg.com/vi/u85Cv1oKdV4/mqdefault.jpg)
Practical Type Inference
![[PLDI'25] Principal Type Inference under a Prefix: A Fresh Look at Static Overloading](https://i.ytimg.com/vi/24tjmglOalE/mqdefault.jpg)
Principal
![[PLDI'25] Type-Constrained Code Generation with Language Models](https://i.ytimg.com/vi/DaE0wRnRil0/mqdefault.jpg)
Type
Broadcasted live on Twitch -- Watch live at https://www.twitch.tv/edwardzyang.
![[PLDI 2026] Flatirons 3 - PLDI Research Papers (Jun 19th)](https://i.ytimg.com/vi/0aWz8UULK-s/mqdefault.jpg)
https://pldi26.sigplan.org/program/program-
![[RocqPL'26] Scalable Type Inference for Intrinsically-Typed Binders](https://i.ytimg.com/vi/_QPY3yR-jFY/mqdefault.jpg)
Scalable
![[PLDI'25] Bean: A Language for Backward Error Analysis](https://i.ytimg.com/vi/z4UZg6yJxRE/mqdefault.jpg)
Bean: A Language for Backward Error Analysis (Video,
![[PLDI 2026] Flatirons 4 - PLDI Research Papers (Jun 19th)](https://i.ytimg.com/vi/RpyRhSqk3g0/mqdefault.jpg)
https://pldi26.sigplan.org/program/program-
![[PLDI'25] Partial Evaluation, Whole-Program Compilation](https://i.ytimg.com/vi/S3ByUa1L5TM/mqdefault.jpg)
Partial Evaluation, Whole-Program Compilation (Video,
![[PLDI'25] Programming by Navigation](https://i.ytimg.com/vi/H_F6epzaeBE/mqdefault.jpg)
Programming by Navigation (Video,
LambdAle 2019 Keynote by Simon Peyton Jones.
Understanding
![[PLDI 2026] Flatirons 2 - PLDI Research Papers (Jun 19th)](https://i.ytimg.com/vi/nJgFTh4NTkw/mqdefault.jpg)
https://pldi26.sigplan.org/program/program-