Merkliste 
 1 Ergebnisse 
 
1

Explaining type errors in polymorphic languages:

Beaven, Mike ; Stansifer, Ryan
ACM Letters on Programming Languages and Systems.  2 (1993)  1-4 - p. 17-30 , 1993