56,966 blogs · [ { "id": "01a087e1-4317-721a-a495-a1a42e6ccd18", "title": "Haskell: origins, evolution, and future", "url": "https://simon.peytonjones.org/abs-den/", "published_at": "2026-08-12T00:00:00+00:00" }, { "id": "01a087e1-4317-721a-a495-a1a42ecc0c8a", "title": "The Verse Language: Types, Semantics, and Verification", "url": "https://simon.peytonjones.org/oplss-26/", "published_at": "2026-06-29T00:00:00+00:00" }, { "id": "01a087e1-4317-721a-a495-a1a42f2be7f5", "title": "Join points in practice", "url": "https://simon.peytonjones.org/join-points-hs/", "published_at": "2025-10-16T00:00:00+00:00" }, { "id": "01a087e1-4317-721a-a495-a1a430284dc1", "title": "Inlining in the Glasgow Haskell Compiler: empirical investigation and improvement", "url": "https://simon.peytonjones.org/hollenbeck-inlining/", "published_at": "2025-07-25T00:00:00+00:00" }, { "id": "01a087e1-4317-721a-a495-a1a43105fab0", "title": "Dual-numbers reverse AD for functional array languages", "url": "https://simon.peytonjones.org/ad-arrays/", "published_at": "2025-07-18T00:00:00+00:00" }, { "id": "01a087e1-4317-721a-a495-a1a431d5f6d1", "title": "Bits with soul", "url": "https://simon.peytonjones.org/darwin-codes/", "published_at": "2025-01-24T00:00:00+00:00" }, { "id": "01a087e1-4317-721a-a495-a1a432ba7405", "title": "The Verse Calculus: a core calculus for functional logic programming", "url": "https://simon.peytonjones.org/verse-calculus/", "published_at": "2023-07-01T00:00:00+00:00" }, { "id": "01a087e1-4317-721a-a495-a1a43319caf6", "title": "Secrets of the GHC Typechecker in 100 Type Declarations", "url": "https://simon.peytonjones.org/secrets-of-typechecker/", "published_at": "2023-06-01T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/simon.peytonjones.org/posts