@techreport{2007-Eekelen-SizeAwarePolynomial,
  author		= "{Shkaravska}, Olha and {Eekelen}, Marko van ",
  title			= "{Static inference of polynomial size--aware types}",
  number		= "ICIS--R07028",
  month			= "November",
  institution		= "Radboud University Nijmegen",
  year			= "2007",
  code			= "icis.ICIS-R07028",
  research_group	= "sos",
  class			= "Report"
}