[TYPES/announce] Postdoc offer: Generative Programming with LMS/Scala

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] EPFL Lausanne Programming Methods Group Prof. Martin Odersky For the project "Exploiting Domain Parallelism with Polymorphic Language Embeddings and Rewritings" (DOPPLER), which

[TYPES/announce] PostDoc and Ph.D. Student Positions in the Scala Group

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Post-doctoral and Ph.D. Student Positions in the Scala Group EPFL Lausanne Prof. Martin Odersky Do you want to work in an academic environment on a cutting edge programming language with

Re: [TYPES/announce] Two phase reviewing for POPL; a response

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I am very much in favor of strongly encouraging the PC to increase the number of accepted papers. I'd tend to go to parallel sessions to accommodate the increased number of talks. In additio