@techreport{WideraBeierle98_InfBericht240,
author={M. Widera and C. Beierle},            
title={A complete type system for functional languages},
institution={FernUniversit\"{a}t Hagen},
year=1998,
month=sep,
type={Informatik Berichte},
number=240}