Archive of papers - Martin Odersky Scala and its Foundations Functional Nets GJ and Pizza Type Systems Functional Programming Theory Functional Programming and State Concurrent Programming Constraint Solving and Applications Technical Reports On Scala and its Foundations: Fighting Bit Rot with Types (Experience Report: Scala Collections), Martin Odersky, Adriaan Moors Proc. FSTTCS 2009 Event-Based