Items where Author is "Rossberg, Andreas"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article
Number of items: 5.

Conference or Workshop Item (A Paper)

Dreyer, Derek and Neis, Georg and Rossberg, Andreas and Birkedal, Lars
(2010) A relational modal logic for higher-order stateful ADTs.
In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010.
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

Article

Rossberg, Andreas and Russo, Claudio V and Dreyer, Derek
(2014) F-ing modules.
J. Funct. Program., 24 (5). pp. 529-607.

Rossberg, Andreas and Dreyer, Derek
(2013) Mixin' Up the ML Module System.
ACM Trans. Program. Lang. Syst., 35 (1). 2:1–2:84.

Rossberg, Andreas and Dreyer, Derek
(2013) Mixin' Up the ML Module System.
ACM Trans. Program. Lang. Syst., 35 (1). 2:1–2:84.

Neis, Georg and Dreyer, Derek and Rossberg, Andreas
(2011) Non-parametric parametricity.
J. Funct. Program., 21 (4-5). 497–562.

This list was generated on Mon Apr 15 16:05:39 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.