https://paulhe.com/2019/02/28/first-post.html 2019-02-28T00:00:00-05:00 https://paulhe.com/2019/02/28/second-post.html 2019-02-28T00:00:00-05:00 https://paulhe.com/2019/03/06/first-post.html 2020-08-18T00:00:00-04:00 https://paulhe.com/2019/04/17/coinduction.html 2019-10-23T00:00:00-04:00 https://paulhe.com/2019/10/23/weak-weeks.html 2019-10-23T00:00:00-04:00 https://paulhe.com/2021/11/10/cv-failures.html 2026-03-29T00:00:00-04:00 https://paulhe.com/2022/12/28/mathematics-or-science.html 2022-12-28T00:00:00-05:00 https://paulhe.com/2024/07/30/dissertatiometer.html 2024-07-30T00:00:00-04:00 https://paulhe.com/2025/05/16/french-quarter.html 2025-05-21T00:00:00-04:00 https://paulhe.com/blog.html https://paulhe.com/dissertatiometer.html 2024-07-30T00:00:00-04:00 https://paulhe.com/ 2026-03-09T00:00:00-04:00 https://paulhe.com/pubs.html 2025-11-13T00:00:00-05:00 https://paulhe.com/calendar.html https://paulhe.com/assets/Bahen-4thFloor.pdf 2026-03-29T15:21:20-04:00 https://paulhe.com/assets/checkpointquiz-poster.pdf 2026-03-29T15:21:20-04:00 https://paulhe.com/assets/ctrees-jfp.pdf 2026-03-29T15:21:20-04:00 https://paulhe.com/assets/ctrees-popl.pdf 2026-03-29T15:21:20-04:00 https://paulhe.com/assets/gpaco.pdf 2026-03-29T15:21:20-04:00 https://paulhe.com/assets/itrees.pdf 2026-03-29T15:21:20-04:00 https://paulhe.com/assets/noninterference.pdf 2026-03-29T15:21:20-04:00 https://paulhe.com/assets/simple-dot-oopsla.pdf 2026-03-29T15:21:20-04:00 https://paulhe.com/assets/spec-extraction-oopsla.pdf 2026-03-29T15:21:20-04:00 https://paulhe.com/assets/thesis.pdf 2026-03-29T15:21:20-04:00 https://paulhe.com/assets/word-equations-rp.pdf 2026-03-29T15:21:20-04:00