stan/Ecoop2024_TIforWildFJ
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix

Browse Source
This commit is contained in:
Andreas Stadelmeier 2024-03-07 10:00:10 +01:00
parent 5055364de5
commit 9daf5ce8ef
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
introduction.tex
View File

@ -247,7 +247,6 @@ input is e.m(e);
\begin{recap}\textbf{TI for FGJ without Wildcards:} \begin{recap}\textbf{TI for FGJ without Wildcards:}
- usually the type of e must be subtypes of the method parameters - usually the type of e must be subtypes of the method parameters
- in case of a polymorphic method: type placeholders resemble type parameters - in case of a polymorphic method: type placeholders resemble type parameters
\end{itemize}
\end{recap} \end{recap}
involving wildcards: involving wildcards:
- depending on the type of e a capture conversion must be applied first - depending on the type of e a capture conversion must be applied first