OpenAlex
A Core Calculus for Scala Type Checking
Work