Merkliste 
 1 Ergebnisse 
 
1

Refactoring using type constraints:

Tip, Frank ; Fuhrer, Robert M. ; Kieżun, Adam...
ACM Transactions on Programming Languages and Systems.  33 (2011)  3 - p. 1-47 , 2011