41554 blogs · [ { "id": "01a087dd-ffcd-713b-ac04-3b9401f8234a", "title": "QTCat: Queer and Trans People in Category Theory", "url": "https://semantic-domain.blogspot.com/2026/06/qtcat-queer-and-trans-people-in.html", "published_at": "2026-06-08T09:48:28+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15ef3064cc5", "title": "Bidirectional Typechecking That Does Not Stop", "url": "https://semantic-domain.blogspot.com/2026/05/bidirectional-typechecking-that-does.html", "published_at": "2026-05-13T19:18:24+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15ef3e0fa7c", "title": "Finally...", "url": "https://semantic-domain.blogspot.com/2025/01/finally.html", "published_at": "2025-01-02T21:15:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15ef4d33505", "title": "How to Read Papers", "url": "https://semantic-domain.blogspot.com/2024/12/how-to-read-papers.html", "published_at": "2024-12-16T10:10:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15ef5d05c56", "title": "The Ackermann-Péter Function in Gödel's T", "url": "https://semantic-domain.blogspot.com/2023/10/the-ackermann-peter-function-in-godels-t.html", "published_at": "2023-10-13T10:01:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15ef6b23ab0", "title": "Actually, We Will Read Your Thesis", "url": "https://semantic-domain.blogspot.com/2023/09/actually-we-will-read-your-thesis.html", "published_at": "2023-09-21T16:21:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15ef7813295", "title": "Linear-time parser combinators", "url": "https://semantic-domain.blogspot.com/2023/07/linear-time-parser-combinators.html", "published_at": "2023-07-21T16:17:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15ef8084e5e", "title": "CN: Verifying Systems C Code with Separation-Logic Refinement Types", "url": "https://semantic-domain.blogspot.com/2022/11/cn-verifying-systems-c-code-with.html", "published_at": "2022-11-15T16:04:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15ef874bc09", "title": "Two Papers about Refinement Types", "url": "https://semantic-domain.blogspot.com/2022/11/two-papers-about-refinement-types.html", "published_at": "2022-11-04T17:56:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15ef94f2352", "title": "The Golden Age of PL Research", "url": "https://semantic-domain.blogspot.com/2022/09/the-golden-age-of-pl-research.html", "published_at": "2022-09-13T16:41:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15ef9f1fdfb", "title": "Fold Considered Annoying", "url": "https://semantic-domain.blogspot.com/2022/03/fold-considered-annoying.html", "published_at": "2022-03-17T17:53:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15efab54070", "title": "Simple Type Inference for System F", "url": "https://semantic-domain.blogspot.com/2022/03/simple-type-inference-for-system-f.html", "published_at": "2022-03-03T17:19:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15efbb2cc5f", "title": "Static typing vs. Dynamic Typing vs. Dana Scott", "url": "https://semantic-domain.blogspot.com/2022/01/static-typing-vs-dynamic-typing-vs-dana.html", "published_at": "2022-01-17T13:30:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15efc2a07b6", "title": "What is a programming language?", "url": "https://semantic-domain.blogspot.com/2021/12/what-is-programming-language.html", "published_at": "2021-12-31T07:51:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15efc7703a6", "title": "Obliteratingly Fast Parser Combinators", "url": "https://semantic-domain.blogspot.com/2021/12/obliteratingly-fast-parser-combinators.html", "published_at": "2021-12-01T14:11:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15efcd19615", "title": "POPL till you DROPL", "url": "https://semantic-domain.blogspot.com/2021/11/popl-till-you-dropl.html", "published_at": "2021-11-17T12:18:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15efd55148a", "title": "Design Benchmarks", "url": "https://semantic-domain.blogspot.com/2021/09/design-benchmarks.html", "published_at": "2021-09-28T12:36:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15efe0b350b", "title": "Postdoctoral opening in the TypeFoundry project", "url": "https://semantic-domain.blogspot.com/2021/07/postdoctoral-opening-in-typefoundry.html", "published_at": "2021-07-08T22:54:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15efe5ef3cc", "title": "Five (and a Half) Derivatives in Language Theory", "url": "https://semantic-domain.blogspot.com/2021/02/five-and-half-derivatives-in-language.html", "published_at": "2021-02-15T22:24:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15efe98b69a", "title": "TypeFoundry: new ERC Consolidator Grant", "url": "https://semantic-domain.blogspot.com/2020/12/typefoundry-new-erc-consolidator-grant.html", "published_at": "2020-12-14T13:30:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15eff8d99b0", "title": "Church Encodings, Inductive Types, and Relational Parametricity", "url": "https://semantic-domain.blogspot.com/2020/12/church-encodings-are-inductive-types.html", "published_at": "2020-12-02T22:05:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15effc5b9cc", "title": "PLDI 2020 Conference Report", "url": "https://semantic-domain.blogspot.com/2020/06/pldi-2020-conference-report.html", "published_at": "2020-06-19T21:51:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15f001915b5", "title": "Thought Experiment: An Introductory Compilers Class", "url": "https://semantic-domain.blogspot.com/2020/02/thought-experiment-introductory.html", "published_at": "2020-02-13T22:56:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15f00ada722", "title": "Every Finite Automaton has a Corresponding Regular Expression", "url": "https://semantic-domain.blogspot.com/2019/10/every-finite-automaton-has.html", "published_at": "2019-10-30T10:07:00+00:00" }, { "id": "01a087dd-ffce-70e1-8c6e-a15f014f8b21", "title": "New Draft Paper: Survey on Bidirectional Typechecking", "url": "https://semantic-domain.blogspot.com/2019/08/new-draft-paper-survey-on-bidirectional.html", "published_at": "2019-08-23T10:17:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8bce0a45f", "title": "On the Relationship Between Static Analysis and Type Theory", "url": "https://semantic-domain.blogspot.com/2019/08/on-relationship-between-static-analysis.html", "published_at": "2019-08-21T13:42:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8bd6565e9", "title": "Michael Arntzenius on the Future of Coding Podcast", "url": "https://semantic-domain.blogspot.com/2019/08/michael-arntzenius-on-future-of-coding.html", "published_at": "2019-08-12T12:26:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8be021571", "title": "All Comonads, All The Time", "url": "https://semantic-domain.blogspot.com/2019/07/all-comonads-all-time.html", "published_at": "2019-07-11T15:15:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8be22dba3", "title": "Implementing Inverse Bidirectional Typechecking", "url": "https://semantic-domain.blogspot.com/2019/05/implementing-inverse-bidirectional.html", "published_at": "2019-05-13T16:18:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8be690fea", "title": "Inverting Bidirectional Typechecking", "url": "https://semantic-domain.blogspot.com/2019/05/inverting-bidirectional-typechecking.html", "published_at": "2019-05-10T22:45:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8be88f8ff", "title": "Some Paper Announcements", "url": "https://semantic-domain.blogspot.com/2019/04/some-paper-announcements.html", "published_at": "2019-04-02T15:04:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8bf5ed58f", "title": "Polarity and bidirectional typechecking", "url": "https://semantic-domain.blogspot.com/2018/08/polarity-and-bidirectional-typechecking.html", "published_at": "2018-08-10T14:41:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c02f21d9", "title": "Category Theory in PL research", "url": "https://semantic-domain.blogspot.com/2018/08/category-theory-in-pl-research.html", "published_at": "2018-08-06T15:05:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c0efe999", "title": "The Worm Ouroboros", "url": "https://semantic-domain.blogspot.com/2018/08/the-worm-ouroboros.html", "published_at": "2018-08-03T10:19:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c1d43184", "title": "A Typed, Algebraic Approach to Parsing", "url": "https://semantic-domain.blogspot.com/2018/07/a-typed-algebraic-approach-to-parsing.html", "published_at": "2018-07-25T14:19:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c29b2b9c", "title": "Are functional programs easier to verify than imperative programs?", "url": "https://semantic-domain.blogspot.com/2018/04/are-functional-programs-easier-to.html", "published_at": "2018-04-24T16:34:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c349a151", "title": "HOPE 2016 Talk Summaries", "url": "https://semantic-domain.blogspot.com/2016/09/hope-2016-talk-summaries.html", "published_at": "2016-09-18T14:05:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c3acf72a", "title": "Löb's theorem is (almost) the Y combinator", "url": "https://semantic-domain.blogspot.com/2016/05/lobs-theorem-is-almost-y-combinator.html", "published_at": "2016-05-09T09:55:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c4473702", "title": "Life Update: Moving to Cambridge", "url": "https://semantic-domain.blogspot.com/2016/05/life-update-moving-to-cambridge_98.html", "published_at": "2016-05-06T13:48:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c512c289", "title": "The Essence of Event-Driven Programming", "url": "https://semantic-domain.blogspot.com/2016/04/the-essence-of-event-driven-programming.html", "published_at": "2016-04-21T11:25:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c5ee9127", "title": "Postdoctoral Position in Recursion, Guarded Recursion and Computational Effects", "url": "https://semantic-domain.blogspot.com/2016/04/postdoctoral-position-in-recursion.html", "published_at": "2016-04-19T13:21:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c67cd48b", "title": "Agda is not a purely functional language", "url": "https://semantic-domain.blogspot.com/2016/03/agda-is-not-purely-functional-language.html", "published_at": "2016-03-21T16:39:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c7084514", "title": "Datafun: A Functional Datalog", "url": "https://semantic-domain.blogspot.com/2016/03/datafun-functional-datalog.html", "published_at": "2016-03-17T16:46:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c712ff90", "title": "Error Handling in Menhir", "url": "https://semantic-domain.blogspot.com/2015/11/error-handling-in-menhir.html", "published_at": "2015-11-18T10:42:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c7f1b7b5", "title": "FRP without Space Leaks", "url": "https://semantic-domain.blogspot.com/2015/07/higher-order-functional-reactive.html", "published_at": "2015-07-31T10:50:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c8c5f1bc", "title": "How to implement a spreadsheet", "url": "https://semantic-domain.blogspot.com/2015/07/how-to-implement-spreadsheet.html", "published_at": "2015-07-22T13:35:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c91e8b0f", "title": "Abstract Binding Trees, an addendum", "url": "https://semantic-domain.blogspot.com/2015/03/abstract-binding-trees-addendum.html", "published_at": "2015-03-17T17:09:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8c9aeebba", "title": "Abstract Binding Trees", "url": "https://semantic-domain.blogspot.com/2015/03/abstract-binding-trees.html", "published_at": "2015-03-13T15:26:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8ca28e7fd", "title": "New Draft: Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism and Indexed Types", "url": "https://semantic-domain.blogspot.com/2015/03/new-draft-sound-and-complete.html", "published_at": "2015-03-02T15:13:00+00:00" }, { "id": "01a0cabe-3c68-70a1-959b-fbd8ca702c3b", "title": "Midlands Graduate School 2015", "url": "https://semantic-domain.blogspot.com/2015/02/midlands-graduate-school-2015_26.html", "published_at": "2015-02-26T17:35:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3be78c77d", "title": "Garbage collection and purity", "url": "https://semantic-domain.blogspot.com/2014/12/garbage-collection-and-totality.html", "published_at": "2014-12-12T11:54:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3befb4f22", "title": "Quote of the Day", "url": "https://semantic-domain.blogspot.com/2014/12/quote-of-day.html", "published_at": "2014-12-09T13:53:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3bf7a0c26", "title": "Curry-Howard for GUIs: Or, User Interfaces via Linear Temporal, Classical Linear Logic", "url": "https://semantic-domain.blogspot.com/2014/11/curry-howard-for-guis-or-user.html", "published_at": "2014-11-13T14:40:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3bf84d538", "title": "Integrating Linear and Dependent Types at POPL 2015", "url": "https://semantic-domain.blogspot.com/2014/11/integrating-linear-and-dependent-types.html", "published_at": "2014-11-04T16:01:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c03d6db1", "title": "Focusing is not Call-by-Push-Value", "url": "https://semantic-domain.blogspot.com/2014/10/focusing-is-not-call-by-push-value.html", "published_at": "2014-10-20T14:43:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c061461e", "title": "Two Drafts on Dependent Types", "url": "https://semantic-domain.blogspot.com/2014/07/two-drafts-on-dependent-types.html", "published_at": "2014-07-09T20:18:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c0e1f85f", "title": "PhD opportunities at the University of Birmingham", "url": "https://semantic-domain.blogspot.com/2014/07/phd-opportunities-at-university-of.html", "published_at": "2014-07-01T09:38:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c0e5fb6c", "title": "Gödel's Ontological Argument", "url": "https://semantic-domain.blogspot.com/2014/06/g-ontological-argument.html", "published_at": "2014-06-19T16:36:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c1c5d62c", "title": "From DPLL(T) to Sequent Calculus", "url": "https://semantic-domain.blogspot.com/2014/06/from-dpllt-to-sequent-calculus.html", "published_at": "2014-06-11T14:19:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c20fa752", "title": "Papers I'm reading", "url": "https://semantic-domain.blogspot.com/2014/03/papers-im-reading.html", "published_at": "2014-03-24T15:16:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c29b90c7", "title": "2014 Midlands Graduate School", "url": "https://semantic-domain.blogspot.com/2014/03/2014-midlands-graduate-school.html", "published_at": "2014-03-07T12:40:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c365b83f", "title": "Retiring a joke", "url": "https://semantic-domain.blogspot.com/2014/02/retiring-joke.html", "published_at": "2014-02-03T14:14:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c377818d", "title": "OBT 2014", "url": "https://semantic-domain.blogspot.com/2014/01/obt-2014.html", "published_at": "2014-01-25T23:36:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c3f57117", "title": "PhD Opportunities at the University of Birmingham", "url": "https://semantic-domain.blogspot.com/2013/12/phd-opportunities-at-university-of.html", "published_at": "2013-12-20T12:06:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c4f0d80b", "title": "Antimirov Derivatives for Regular Expressions", "url": "https://semantic-domain.blogspot.com/2013/11/antimirov-derivatives-for-regular.html", "published_at": "2013-11-07T12:32:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c5cf5d9a", "title": "What Declarative Languages Are", "url": "https://semantic-domain.blogspot.com/2013/07/what-declarative-languages-are.html", "published_at": "2013-07-23T11:26:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c65ec1fe", "title": "Internalizing Parametricity at CSL 2013", "url": "https://semantic-domain.blogspot.com/2013/06/internalizing-parametricity-at-csl-2013.html", "published_at": "2013-06-19T13:08:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c6cf31ed", "title": "Papers at ICFP 2013", "url": "https://semantic-domain.blogspot.com/2013/06/papers-at-icfp-2013.html", "published_at": "2013-06-10T18:43:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c7bd3326", "title": "Strong Normalization without Logical Relations", "url": "https://semantic-domain.blogspot.com/2013/05/strong-normalization-without-logical.html", "published_at": "2013-05-07T10:17:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c82b7910", "title": "John C. Reynolds, June 1, 1935 - April 28, 2013", "url": "https://semantic-domain.blogspot.com/2013/04/john-c-reynolds-june-1-1935-april-28.html", "published_at": "2013-04-29T11:54:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c88c5803", "title": "Thanks to Olle Fredriksson", "url": "https://semantic-domain.blogspot.com/2013/04/thanks-to-olle-fredriksson.html", "published_at": "2013-04-10T19:41:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c89b0a18", "title": "Spring Things", "url": "https://semantic-domain.blogspot.com/2013/04/spring-things.html", "published_at": "2013-04-04T08:40:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3c977ec64", "title": "Interview with John Reynolds", "url": "https://semantic-domain.blogspot.com/2013/03/interview-with-john-reynolds.html", "published_at": "2013-03-07T08:56:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3ca06deab", "title": "Total Functional Programming in a Partial Impure Language", "url": "https://semantic-domain.blogspot.com/2012/12/total-functional-programming-in-partial.html", "published_at": "2012-12-03T14:21:00+00:00" }, { "id": "01a0cabe-c49f-73f9-8fc0-b6e3cad9b68b", "title": "The Geometry of Interaction, as an OCaml program", "url": "https://semantic-domain.blogspot.com/2012/11/in-this-post-ill-show-how-to-turn.html", "published_at": "2012-11-28T14:42:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8ab32809", "title": "Polymorphism and limit-colimit coincidence in reactive languages", "url": "https://semantic-domain.blogspot.com/2012/11/polymorphism-and-limit-colimit.html", "published_at": "2012-11-21T10:23:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8afdc402", "title": "When it rains, it pours", "url": "https://semantic-domain.blogspot.com/2012/11/when-it-rains-it-pours.html", "published_at": "2012-11-20T11:47:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8b5b9ad8", "title": "New Draft: Simple and Efficient Higher-Order Reactive Programming", "url": "https://semantic-domain.blogspot.com/2012/11/new-draft-simple-and-efficient-higher.html", "published_at": "2012-11-14T13:03:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8c144334", "title": "An astonishing isomorphism", "url": "https://semantic-domain.blogspot.com/2012/08/an-astonishing-isomorphism.html", "published_at": "2012-08-27T14:24:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8cb6ebc3", "title": "A Computational Lambda Calculus for Applicative Functors", "url": "https://semantic-domain.blogspot.com/2012/08/a-computational-lambda-calculus-for.html", "published_at": "2012-08-23T07:35:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8d22e2c1", "title": "An ML implementation of match compilation", "url": "https://semantic-domain.blogspot.com/2012/08/an-ml-implementation-of-match.html", "published_at": "2012-08-09T06:35:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8d30d281", "title": "Pattern compilation made easy", "url": "https://semantic-domain.blogspot.com/2012/08/pattern-compilation-made-easy.html", "published_at": "2012-08-06T08:36:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8d38cc2b", "title": "Category Theory for Computing Science now free for download!", "url": "https://semantic-domain.blogspot.com/2012/08/category-theory-for-computing-science.html", "published_at": "2012-08-03T06:30:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8da162e7", "title": "A Relationally Parametric Model of the Calculus of Constructions", "url": "https://semantic-domain.blogspot.com/2012/07/relationally-parametric-model-of.html", "published_at": "2012-07-12T08:13:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8e69ca33", "title": "Superficially Substructural Types at ICFP 2012!", "url": "https://semantic-domain.blogspot.com/2012/05/superficially-substructural-types-at.html", "published_at": "2012-05-30T12:31:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8e772fe4", "title": "Djikstra's Shunting Yard Algorithm", "url": "https://semantic-domain.blogspot.com/2012/04/djikstras-shunting-yard-algorithm.html", "published_at": "2012-04-30T05:56:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8f479857", "title": "Superficially Substructural Logic", "url": "https://semantic-domain.blogspot.com/2012/03/superficially-substructural-logic.html", "published_at": "2012-03-13T10:05:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8f56bbd0", "title": "Michael Dummett", "url": "https://semantic-domain.blogspot.com/2012/01/michael-dummett.html", "published_at": "2012-01-05T17:17:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8f7b1440", "title": "Adding Equations to System F, at ESOP 2012", "url": "https://semantic-domain.blogspot.com/2011/12/adding-equations-to-system-f-at-esop.html", "published_at": "2011-12-19T14:04:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d8ff9dc36", "title": "Updata", "url": "https://semantic-domain.blogspot.com/2011/11/updata.html", "published_at": "2011-11-15T08:37:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d90e02241", "title": "Adding Equations to System F", "url": "https://semantic-domain.blogspot.com/2011/10/adding-equations-to-system-f.html", "published_at": "2011-10-17T13:02:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d9134bb37", "title": "Higher-Order Functional Reactive Programming in Bounded Space", "url": "https://semantic-domain.blogspot.com/2011/10/higher-order-functional-reactive.html", "published_at": "2011-10-04T07:09:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d918569a4", "title": "Radical predicativism", "url": "https://semantic-domain.blogspot.com/2011/09/radical-predicativism.html", "published_at": "2011-09-29T08:13:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d91b938e2", "title": "The most surprising paper at ICFP", "url": "https://semantic-domain.blogspot.com/2011/09/most-surprising-paper-at-icfp.html", "published_at": "2011-09-28T07:46:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d91e37539", "title": "Functional Programming, Program Transformations, and Compiler Construction", "url": "https://semantic-domain.blogspot.com/2011/08/functional-programming-program.html", "published_at": "2011-08-09T06:42:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d929b576b", "title": "A new lambda calculus for bunched implications", "url": "https://semantic-domain.blogspot.com/2011/07/new-lambda-calculus-for-bunched.html", "published_at": "2011-07-27T15:45:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d934e3b78", "title": "Functional Programming as a Particular Use of Modules", "url": "https://semantic-domain.blogspot.com/2011/07/purely-functional-programming-as.html", "published_at": "2011-07-26T15:34:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d93512d9f", "title": "Termination of guarded recursion", "url": "https://semantic-domain.blogspot.com/2011/07/termination-of-guarded-recursion.html", "published_at": "2011-07-20T13:35:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d935ed1f9", "title": "Semantics of a weak delay modality", "url": "https://semantic-domain.blogspot.com/2011/07/semantics-of-weak-delay-modality.html", "published_at": "2011-07-15T08:46:00+00:00" }, { "id": "01a0cabf-3cd2-7123-9bdd-da9d93c990b2", "title": "Guarded recursion with a weaker-than-Nakano guard modality", "url": "https://semantic-domain.blogspot.com/2011/07/guarded-recursion-with-weaker-than.html", "published_at": "2011-07-13T15:49:00+00:00" } ] posts Claim your blog
Back to semantic-domain.blogspot.com
Blog · corpus.blog/blogs/semantic-domain.blogspot.com/posts

semantic-domain.blogspot.com

semantic-domain.blogspot.com

2026

2025

2024

2023

2022

2021

2020

2019

2018

2016

2015

2014

2013

2012

2011