@incollection{WideraBeierle99-ATPS99,
author={M. Widera and C. Beierle},
title={Combining Strict and Soft Typing in Functional Programming},
booktitle={Informatik'99 -- Informatik \"{u}berwindet Grenzen},
publisher={Springer-Verlag},
editor={K. Beiersd\"{o}rfer and G. Engels and W. Sch\"{a}fer},
year=1999,
pages={350--359}		  
}