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.
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 Tue Nov 12 19:48:15 2024 CET.