56,966 blogs · [ { "id": "01a08c66-6d08-7273-b4ab-777682dcc228", "title": "Compiler Engineering for Substructural Languages I: Day Convolution for\nCovers", "url": "https://zanzix.github.io/posts/6-promonoidal-covers.html", "published_at": "2025-02-17T00:00:00+00:00" }, { "id": "01a08c66-6d08-7273-b4ab-77768311b4f9", "title": "Compiler Engineering for Substructural Languages I: The Problem with\nPolymorphism", "url": "https://zanzix.github.io/posts/5-substructural-polymorphism.html", "published_at": "2025-02-14T00:00:00+00:00" }, { "id": "01a08c66-6d08-7273-b4ab-7776837eb2da", "title": "Well-Typed Substructural Languages", "url": "https://zanzix.github.io/posts/4-substructural.html", "published_at": "2024-08-26T00:00:00+00:00" }, { "id": "01a08c66-6d08-7273-b4ab-777683a1545e", "title": "Introduction to Recursion Schemes with Idris", "url": "https://zanzix.github.io/posts/3-rec-idris.html", "published_at": "2024-04-04T00:00:00+00:00" }, { "id": "01a08c66-6d08-7273-b4ab-7776844a55f0", "title": "From Lambda Calculus to Bicartesian Closed Categories", "url": "https://zanzix.github.io/posts/2-stlc-idris.html", "published_at": "2023-09-23T00:00:00+00:00" }, { "id": "01a08c66-6d08-7273-b4ab-77768529f183", "title": "Lambda Calculus and Bicartesian Closed Categories", "url": "https://zanzix.github.io/posts/1-bcc.html", "published_at": "2023-08-25T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/zanzix.github.io/posts