@TechReport{grosch95,
  author = 	 {Franz-Josef Grosch},
  title = 	 {No Type Stamps and No Structure Stamps --- A Referentially Transparent Higher-Order Module Language},
  institution =  {Technische Universitaet Braunschweig},
  year = 	 1995,
  number =	 {Informatik-Bericht 95-05},
  month =	 {July}
}