andreas.rossberg

Andreas Rossberg
post-doctoral researcher ::
Max Planck Institute for Software Systems ::
Type Systems and Functional Programming Group

Research Interests

type systems :: module systems :: functional languages :: object-oriented languages :: compilers :: runtime systems :: concurrency :: program semantics :: mechanized meta-theory :: broken beats

Contact

Max Planck Institute for Software Systems ::
Stuhlsatzenhausweg 85 :: 66123 Saarbrücken :: Germany

--------

Office- Room 307 :: Martin-Luther-Str. 12 :: Saarbrücken

--------

Fon- +49.681.9325.687 :: Fax- +49.681.9303.699

--------

Web- www.mpi-sws.org/~rossberg :: Mail- rossberg@mpi-sws.org

New Papers

F-ing Modules
Andreas Rossberg, Claudio Russo, Derek Dreyer :: TLDI 2010
with Coq proof scripts

--------

A Relational Modal Logic for Higher-Order Stateful ADTs
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal :: POPL 2010

--------

Non-Parametric Parametricity
Georg Neis, Derek Dreyer, Andreas Rossberg :: ICFP 2009
my presentation at ICFP can be viewed online

--------

more...

Note

Welcome to my homepage. Please note that it is only here for professional purposes. I will not bother you with poems, my favorite recipes, or a blog about my bathroom experiences. Thank you for your attention.