18:28[PLDI24] Space-Efficient Polymorphic Gradual Typing, Mostly ParametricACM SIGPLAN113 viewsView & Download
15:54PP4, podcast part 5 Parametric polymorphism; the Hindley Milner systemSyntaks og semantik618 viewsView & Download
20:24Graduality and Parametricity - Together Again for the First TimeACM SIGPLAN281 viewsView & Download
0:11Simulating Model G neutral particle in a G gradient with python. G gradient = -1/5 --- no. 3bjd7986 viewsView & Download
3:45(ICML 2026) LAMP: Data-Efficient Weight-Space Models for Parameter-Controlled 3D Shape GenerationGhadi Nehme38 viewsView & Download