Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Martin Odersky
Miniphases: Compilation Using Modular and Efficient Tree Transformations
ScalaDyno
Improving the Interoperation Between Generics Translations
A Core Calculus for Scala Type Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Event-Based Programming Without Inversion of Control
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Inference With Constrained Types
Theory and Practice of Object Systems
Call by Name, Assignment, and the Lambda Calculus
Compiling Structural Types on the JVM
