@incollection{WideraBeierle2000-SFP99,
author={M. Widera and C. Beierle},
title={How to Combine the Benefits of Strict and Soft Typing},
booktitle={Trends in Functional Programming},
publisher={Intellect},
editor={Greg Michaelson and Phil Trinder and Hans-Wolfgang Loidl},
year=2000
}