caa a22 4500 44586964X CHVBK 20180317145507.0 cr unu---uuuuu 170323e20110501xx s 000 0 eng 10.1007/s00236-011-0136-9 doi (NATIONALLICENCE)springer-10.1007/s00236-011-0136-9 Refined typing to localize the impact of forced strictness on free theorems [Elektronische Daten] [Daniel Seidel, Janis Voigtländer] Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functional programming languages, they can be used with very few preconditions. Unfortunately, in the presence of selective strictness, as provided in languages like Haskell, their original strength is reduced. In this paper we present an approach for overcoming this weakness in specific situations. Employing a refined type system which tracks the use of enforced strict evaluation, we rule out unnecessary restrictions that otherwise emerge. Additionally, we provide (and implement) an algorithm determining all refined types for a given term. Springer-Verlag, 2011 Seidel Daniel Institute for Computer Science, University of Bonn, Römerstraße 164, 53117, Bonn, Germany aut Voigtländer Janis Institute for Computer Science, University of Bonn, Römerstraße 164, 53117, Bonn, Germany aut Acta Informatica Springer-Verlag 48/3(2011-05-01), 191-211 0001-5903 48:3<191 2011 48 236 https://doi.org/10.1007/s00236-011-0136-9 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s00236-011-0136-9 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Seidel Daniel Institute for Computer Science, University of Bonn, Römerstraße 164, 53117, Bonn, Germany aut NATIONALLICENCE 700 1- Voigtländer Janis Institute for Computer Science, University of Bonn, Römerstraße 164, 53117, Bonn, Germany aut NATIONALLICENCE 773 0- Acta Informatica Springer-Verlag 48/3(2011-05-01), 191-211 0001-5903 48:3<191 2011 48 236 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer