File tree 2 files changed +2
-2
lines changed 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -61,7 +61,7 @@ \subsection{Comparing Algorithms in the \haskell Implementation}
61
61
62
62
We consider five variants of the Haskell implementation.
63
63
\begin {itemize }
64
- \item \textbf {McIlroy } our implementation of \citet {DBLP:journals /jfp /McIlroy99 }.
64
+ \item \textbf {McIlroy } our implementation of \citet {DBLP:journals /jfp /McIlroy04 }.
65
65
\item The \textbf {seg } implementation uses the infinite list-based segmented
66
66
representation throughout (\cref {sec:segm-repr }).
67
67
\item The \textbf {segConv } implementation additionally
Original file line number Diff line number Diff line change @@ -170,7 +170,7 @@ \subsection{Brief Intermezzo on Formal Languages}
170
170
\subsection {McIlroy's Approach }
171
171
\label {sec:naive-approach }
172
172
173
- \citet {DBLP:journals /jfp /McIlroy99 } enumerates the words of a regular language as a
173
+ \citet {DBLP:journals /jfp /McIlroy04 } enumerates the words of a regular language as a
174
174
strictly increasingly ordered infinite stream using Haskell. A key insight is to use the
175
175
length-lexicographic ordering on words, which is defined by $ u \lleq v$ if $ |u|<|v|$ or
176
176
$ |u|=|v|$ and $ u\le v$ in the usual lexicographic ordering. Here is a definition in Haskell.\footnote {The type
You can’t perform that action at this time.
0 commit comments