From 8c6085f3b11435e79b9b8816711bc4905f132d30 Mon Sep 17 00:00:00 2001 From: Andreas Stadelmeier Date: Tue, 14 May 2024 13:31:54 +0200 Subject: [PATCH] Fix --- relatedwork.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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