<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9
                        http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd"
    xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">

<url>
<loc>http://michaeldadams.org/contact.html</loc>
<changefreq>daily</changefreq>
<lastmod>2025-07-28T02:39:33-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/google1dd0902882e712e0.html</loc>
<changefreq>daily</changefreq>
<lastmod>2012-07-28T07:06:25-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/google695ccb9002c83557.html</loc>
<changefreq>daily</changefreq>
<lastmod>2012-07-28T05:01:49-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/</loc>
<changefreq>daily</changefreq>
<lastmod>2025-06-04T13:56:34-04:00</lastmod>
<priority>1.0</priority>
</url>

<url>
<loc>http://michaeldadams.org/y_key_fadbce571ef2b5f0.html</loc>
<changefreq>daily</changefreq>
<lastmod>2010-10-06T12:44:14-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/</loc>
<changefreq>daily</changefreq>
<lastmod>2020-05-16T03:14:00-04:00</lastmod>
<priority>0.9</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/allocation-polyvariance-2/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:36-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/allocation-polyvariance/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:37-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/demand-cfa/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:40-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/derivatives2/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:36-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/disambiguating-grammars/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:38-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/efficient_equality/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:35-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/erdos/</loc>
<changefreq>daily</changefreq>
<lastmod>2012-09-02T00:22:01-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/escape_technique/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:29-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/fast_addition_on_masked_integers/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:41-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/fast_flow_sensitive_cfa/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:42-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/first_class_patterns/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:33-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/genealogy/</loc>
<changefreq>daily</changefreq>
<lastmod>2012-08-31T19:48:28-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/good/</loc>
<changefreq>daily</changefreq>
<lastmod>2013-10-30T15:39:50-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/hygiene/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:30-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/layout_parsing/</loc>
<changefreq>daily</changefreq>
<lastmod>2024-09-28T06:58:55-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/layout_parsing_2/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:42-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/liberate-abstract-garbage-collection/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:32-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/p4f/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:31-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/parsing-with-zippers/</loc>
<changefreq>daily</changefreq>
<lastmod>2026-03-04T09:40:45-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/pattern_matcher_for_minikanren/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:39-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/phd/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:19:45-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/ptrans/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:40-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/representation_transparent_matrix_algorithms/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:57:59-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/restricting-grammars-with-tree-automata/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:32-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/scrap_your_zippers/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:41-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/seven_at_one/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:33-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/syb-opt-scp/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:38-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/syb-opt/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:34-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/papers/tyb/</loc>
<changefreq>daily</changefreq>
<lastmod>2022-11-10T12:16:35-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/</loc>
<changefreq>daily</changefreq>
<lastmod>2024-08-12T07:44:13-04:00</lastmod>
<priority>0.9</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/backup/</loc>
<changefreq>daily</changefreq>
<lastmod>2012-08-31T19:48:28-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/bib-scrape/</loc>
<changefreq>daily</changefreq>
<lastmod>2013-05-30T00:27:26-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/color/blacktest-example.html</loc>
<changefreq>daily</changefreq>
<lastmod>2012-07-27T23:09:42-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/color/blacktest.html</loc>
<changefreq>daily</changefreq>
<lastmod>2012-07-27T23:09:42-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/color/</loc>
<changefreq>daily</changefreq>
<lastmod>2012-08-31T19:48:28-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/color/whitetest.html</loc>
<changefreq>daily</changefreq>
<lastmod>2012-07-27T23:09:42-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/haskell-pdf-presenter/</loc>
<changefreq>daily</changefreq>
<lastmod>2013-11-18T18:00:17-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/password/</loc>
<changefreq>daily</changefreq>
<lastmod>2016-08-11T15:01:45-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/startpage/startpage.html</loc>
<changefreq>daily</changefreq>
<lastmod>2016-06-16T10:16:08-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/tiro/CONFIG.html</loc>
<changefreq>daily</changefreq>
<lastmod>2012-08-31T19:48:28-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/tiro/INSTALL.html</loc>
<changefreq>daily</changefreq>
<lastmod>2012-08-31T19:48:28-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/tiro/QUICK_START.html</loc>
<changefreq>daily</changefreq>
<lastmod>2012-08-31T19:48:28-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/tiro/</loc>
<changefreq>daily</changefreq>
<lastmod>2012-08-31T19:48:28-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/unicode/</loc>
<changefreq>daily</changefreq>
<lastmod>2012-08-31T19:48:28-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/projects/unicode2tex/</loc>
<changefreq>daily</changefreq>
<lastmod>2013-11-08T07:21:24-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/public/</loc>
<changefreq>daily</changefreq>
<lastmod>2013-02-12T03:39:12-04:00</lastmod>
<priority>0.9</priority>
</url>

<url>
<loc>http://michaeldadams.org/teaching/</loc>
<changefreq>daily</changefreq>
<lastmod>2012-09-02T00:22:01-04:00</lastmod>
<priority>0.9</priority>
</url>

<url>
<loc>http://michaeldadams.org/teaching/sftp/</loc>
<changefreq>daily</changefreq>
<lastmod>2012-08-31T19:48:28-04:00</lastmod>
<priority>0.8</priority>
</url>

<url>
<loc>http://michaeldadams.org/hiring/</loc>
<changefreq>daily</changefreq>
<lastmod>2025-06-02T15:33:55-04:00</lastmod>
<priority>0.9</priority>
</url>

</urlset>
