@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" }