diff --git a/paper/gtt.tex b/paper/gtt.tex index 48d802acca74dafa41309cfc4395ebb818f10b9c..92c0b72343f28e2a55ba3cc8a38fa66e61dbcdc2 100644 --- a/paper/gtt.tex +++ b/paper/gtt.tex @@ -374,7 +374,7 @@ body of the function. % For instance, if the variable $x$ is guaranteed to only be instantiated with numbers, then the programmer is free to replace $0$ -with $x - x$ or vice-versa +with $x - x$ or vice-versa. % However, if $x$ can be instantiated with a closure, then $x - x$ will raise a runtime type error while $0$ will succeed, violating the @@ -9759,7 +9759,7 @@ structure~\cite{ahman+16fiberedeffects}. \newpage -\paragraph{Acknowledgements} +\paragraph{Acknowledgments} We thank Gabriel?, Sam TH?, Ron?, MSFP people? FSCD people? for helpful discussions about this work. We thank the anonymous reviewers for