Acta Informatica manuscript No. (will be inserted by the editor) Refined Typing to Localize the Impact of Forced Strictness on Free Theorems ⋆ (2011)

by Daniel Seidel , Janis Voigtländer