diff --git a/relatedwork.tex b/relatedwork.tex index 32c9368..b00b6bb 100644 --- a/relatedwork.tex +++ b/relatedwork.tex @@ -54,7 +54,7 @@ finite set of maximal types (for more details see Section refines this approach by moving to a constraint-based algorithm and by considering lambda expressions and Scale-like function types. -Pluemicke has a different approach to introduce wildcards in \cite{Plue09_1}. He +Pluemicke has a different approach to introduce wildcards in \cite{plue09_1}. He allows wildcards as any subsitution for type variables and disclaim the capture conversion. Instead he extended the subtyping ordering such that for $\theta \sub \theta' \sub \theta''$ holds