Type providers pro TypeScript ; Type providers for TypeScript - Roztočil, Ondřej; Petříček, Tomáš; Bednárek, David (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)