Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
andreas rossberg
[go: Go Back, main page]

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 ::
Room 623 :: Building E.1.4 :: Stuhlsatzenhausweg 85 :: 66123 Saarbrücken :: Germany

--------

Fon- +49.681.9325.687 :: Fax- +49.681.9325.299

--------

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

New Papers

State-Dependent Representation Independence
Amal Ahmed, Derek Dreyer, Andreas Rossberg :: POPL 2009

--------

Mixin' Up the ML Module System
Derek Dreyer, Andreas Rossberg :: ICFP 2008 :: with Prototype implementation

--------

Mechanizing the Metatheory of a Language With Linear Resources and Context Effects (Abstract)
Daniel Lee, Derek Dreyer, Andreas Rossberg :: WMM 2008

--------

Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions
Andreas Rossberg :: MFPS 2008

Upcoming Events

2009 ACM-SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2009)
January 24, 2009 :: Savannah, Georgia, USA

--------

4th Computer Science Symposium in Russia (CSR 2009)
August 19-23, 2009 :: Novosibirsk, Russia

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.