1
0
mirror of https://github.com/dhil/phd-dissertation synced 2026-03-13 11:08:25 +00:00

Merge branch 'master' of github.com:dhil/phd-dissertation

This commit is contained in:
2022-10-12 23:56:05 +01:00

View File

@@ -21514,7 +21514,7 @@ $\BergerCount$ program alluded to in Section~\ref{sec:pure-counting},
in order to fill out our overall picture of the relationship between
language expressivity and potential program efficiency.
\paragraph{Relation to prior work} This appendix imported from
\paragraph{Relation to prior work} This appendix is imported from
Appendix D of \citet{HillerstromLL20a}. The code snippets in this
appendix are based on an implementation of Berger count in SML/NJ
written by John Longley. I have transcribed the code snippets, and in