Andreas Rossberg

Bringing the web up to speed with WebAssembly

Andreas Haas, Andreas Rossberg, Derek L. Schuff et al. · 2017 · 510 citations · Full text

Computing, Computer Systems, Information Technology +8

State-dependent representation independence

Amal Ahmed, Derek Dreyer, Andreas Rossberg · 2009 · 181 citations

Computing, Computer Science, Formal Methods +13

Bringing the web up to speed with WebAssembly

Andreas Haas, Andreas Rossberg, Derek L. Schuff et al. · ACM SIGPLAN Notices · 2017 · 141 citations

Computing, Computer Systems, Information Technology +8

A relational modal logic for higher-order stateful ADTs

Derek Dreyer, Georg Neis, Andreas Rossberg et al. · 2010 · 57 citations

Computing, Computer Science, Logic +15

F-ing modules

Andreas Rossberg, Claudio Russo, Derek Dreyer · Journal of Functional Programming · 2014 · 50 citations · Full text

Computing, Computer Science, Programming Languages +13