@techreport{RR-04-15,
  title = "Semantics and Type Checking of Dependently-Typed Lazy Functional Programs",
  author = "Yorck H\"{u}nke",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "July",
  number = "RR-04-15",
}