https://ahubers.github.io/ https://ahubers.github.io/cv/ https://ahubers.github.io/news/ https://ahubers.github.io/notes/ https://ahubers.github.io/publications/ https://ahubers.github.io/artifacts/ https://ahubers.github.io/teaching/ https://ahubers.github.io/old-io/Pure-Functional-Encodings-of-the-Expression-Problem.pdf 2026-02-21T19:13:17+00:00 https://ahubers.github.io/old-io/comp.pdf 2026-02-21T19:13:17+00:00 https://ahubers.github.io/old-io/dc-recursion.pdf 2026-02-21T19:13:17+00:00 https://ahubers.github.io/old-io/higher.pdf 2026-02-21T19:13:17+00:00 https://ahubers.github.io/old-io/ 2026-02-21T19:13:17+00:00 https://ahubers.github.io/old-io/pfft/about.html 2026-02-21T19:13:17+00:00 https://ahubers.github.io/old-io/pip.pdf 2026-02-21T19:13:17+00:00 https://ahubers.github.io/old-io/researchAgenda.pdf 2026-02-21T19:13:17+00:00