One-sided random context grammars Alexander MedunaPetr Zemek Original Article 25 February 2011 Pages: 149 - 163
MAT learners for tree series: an abstract data type and two realizations Frank DrewesJohanna HögbergAndreas Maletti Original Article 18 March 2011 Pages: 165 - 189
Refined typing to localize the impact of forced strictness on free theorems Daniel SeidelJanis Voigtländer Original Article 16 April 2011 Pages: 191 - 211