Dotty Linker: Precise Types Bring Performance by Dmitry Petrashko