Jekyll2026-04-13T02:53:35+00:00https://www.harrisongrodin.com/feed.xmlblankAmortized Analysis as a Cost-Aware Abstraction Function2025-05-14T00:00:00+00:002025-05-14T00:00:00+00:00https://www.harrisongrodin.com/blog/2025/amortized-abstractionPoly-morphic effect handlers2024-01-03T00:00:00+00:002024-01-03T00:00:00+00:00https://www.harrisongrodin.com/blog/2024/poly-morphic-effect-handlersRecursive Types via Domain Theory2023-01-10T00:00:00+00:002023-01-10T00:00:00+00:00https://www.harrisongrodin.com/blog/2023/recursive-typesSerializing to JSON in SML/NJ2020-05-29T00:00:00+00:002020-05-29T00:00:00+00:00https://www.harrisongrodin.com/blog/2020/smlnj-json