@techreport{2012-Gobi-LanguageHigherorder,
  author		= "{Gobi}, Attila and {Shkaravska}, Olha and {Eekelen}, Marko van",
  title			= "{A higher--order size system for a higher--order functional language}",
  number		= "ICIS--R12005",
  month			= "July",
  institution		= "Radboud University Nijmegen",
  year			= "2012",
  research_group	= "ds",
  class			= "Report"
}