semantic-domain.blogspot.com 13. 10. 2023The Ackermann-Péter Function in Gödel's T – semantic-domain.blogspot.com 21. 9. 2023Actually, We Will Read Your Thesis – semantic-domain.blogspot.com 21. 7. 2023Linear-time parser combinators – semantic-domain.blogspot.com 15. 11. 2022CN: Verifying Systems C Code with Separation-Logic Refinement Types – semantic-domain.blogspot.com 4. 11. 2022Two Papers about Refinement Types – semantic-domain.blogspot.com 13. 9. 2022The Golden Age of PL Research – semantic-domain.blogspot.com 17. 3. 2022Fold Considered Annoying – semantic-domain.blogspot.com 3. 3. 2022Simple Type Inference for System F – semantic-domain.blogspot.com 17. 1. 2022Static typing vs. Dynamic Typing vs. Dana Scott – semantic-domain.blogspot.com 31. 12. 2021What is a programming language? – semantic-domain.blogspot.com 1. 12. 2021Obliteratingly Fast Parser Combinators – semantic-domain.blogspot.com 17. 11. 2021POPL till you DROPL – semantic-domain.blogspot.com 28. 9. 2021Design Benchmarks – semantic-domain.blogspot.com 9. 7. 2021Postdoctoral opening in the TypeFoundry project – semantic-domain.blogspot.com 15. 2. 2021Five (and a Half) Derivatives in Language Theory – semantic-domain.blogspot.com 14. 12. 2020TypeFoundry: new ERC Consolidator Grant – semantic-domain.blogspot.com 2. 12. 2020Church Encodings, Inductive Types, and Relational Parametricity – semantic-domain.blogspot.com 19. 6. 2020PLDI 2020 Conference Report – semantic-domain.blogspot.com 13. 2. 2020Thought Experiment: An Introductory Compilers Class – semantic-domain.blogspot.com 30. 10. 2019Every Finite Automaton has a Corresponding Regular Expression – semantic-domain.blogspot.com 23. 8. 2019New Draft Paper: Survey on Bidirectional Typechecking – semantic-domain.blogspot.com 21. 8. 2019On the Relationship Between Static Analysis and Type Theory – semantic-domain.blogspot.com 12. 8. 2019Michael Arntzenius on the Future of Coding Podcast – semantic-domain.blogspot.com 11. 7. 2019All Comonads, All The Time – semantic-domain.blogspot.com 13. 5. 2019Implementing Inverse Bidirectional Typechecking – semantic-domain.blogspot.com 11. 5. 2019Inverting Bidirectional Typechecking – semantic-domain.blogspot.com 2. 4. 2019Some Paper Announcements – semantic-domain.blogspot.com 10. 8. 2018Polarity and bidirectional typechecking – semantic-domain.blogspot.com 6. 8. 2018Category Theory in PL research – semantic-domain.blogspot.com 3. 8. 2018The Worm Ouroboros – semantic-domain.blogspot.com 25. 7. 2018A Typed, Algebraic Approach to Parsing – semantic-domain.blogspot.com 24. 4. 2018Are functional programs easier to verify than imperative programs? – semantic-domain.blogspot.com 18. 9. 2016HOPE 2016 Talk Summaries – semantic-domain.blogspot.com 9. 5. 2016Löb's theorem is (almost) the Y combinator – semantic-domain.blogspot.com 6. 5. 2016Life Update: Moving to Cambridge – semantic-domain.blogspot.com 21. 4. 2016The Essence of Event-Driven Programming – semantic-domain.blogspot.com 19. 4. 2016Postdoctoral Position in Recursion, Guarded Recursion and Computational Effects – semantic-domain.blogspot.com 21. 3. 2016Agda is not a purely functional language – semantic-domain.blogspot.com 17. 3. 2016Datafun: A Functional Datalog – semantic-domain.blogspot.com 18. 11. 2015Error Handling in Menhir – semantic-domain.blogspot.com 31. 7. 2015FRP without Space Leaks – semantic-domain.blogspot.com 22. 7. 2015How to implement a spreadsheet – semantic-domain.blogspot.com 17. 3. 2015Abstract Binding Trees, an addendum – semantic-domain.blogspot.com 13. 3. 2015Abstract Binding Trees – semantic-domain.blogspot.com 2. 3. 2015New Draft: Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism and Indexed Types – semantic-domain.blogspot.com 26. 2. 2015Midlands Graduate School 2015 – semantic-domain.blogspot.com 12. 12. 2014Garbage collection and purity – semantic-domain.blogspot.com 9. 12. 2014Quote of the Day – semantic-domain.blogspot.com 13. 11. 2014Curry-Howard for GUIs: Or, User Interfaces via Linear Temporal, Classical Linear Logic – semantic-domain.blogspot.com 4. 11. 2014Integrating Linear and Dependent Types at POPL 2015 – semantic-domain.blogspot.com 20. 10. 2014Focusing is not Call-by-Push-Value – semantic-domain.blogspot.com
13. 10. 2023The Ackermann-Péter Function in Gödel's T – semantic-domain.blogspot.com 21. 9. 2023Actually, We Will Read Your Thesis – semantic-domain.blogspot.com 21. 7. 2023Linear-time parser combinators – semantic-domain.blogspot.com 15. 11. 2022CN: Verifying Systems C Code with Separation-Logic Refinement Types – semantic-domain.blogspot.com 4. 11. 2022Two Papers about Refinement Types – semantic-domain.blogspot.com 13. 9. 2022The Golden Age of PL Research – semantic-domain.blogspot.com 17. 3. 2022Fold Considered Annoying – semantic-domain.blogspot.com 3. 3. 2022Simple Type Inference for System F – semantic-domain.blogspot.com 17. 1. 2022Static typing vs. Dynamic Typing vs. Dana Scott – semantic-domain.blogspot.com 31. 12. 2021What is a programming language? – semantic-domain.blogspot.com 1. 12. 2021Obliteratingly Fast Parser Combinators – semantic-domain.blogspot.com 17. 11. 2021POPL till you DROPL – semantic-domain.blogspot.com 28. 9. 2021Design Benchmarks – semantic-domain.blogspot.com 9. 7. 2021Postdoctoral opening in the TypeFoundry project – semantic-domain.blogspot.com 15. 2. 2021Five (and a Half) Derivatives in Language Theory – semantic-domain.blogspot.com 14. 12. 2020TypeFoundry: new ERC Consolidator Grant – semantic-domain.blogspot.com 2. 12. 2020Church Encodings, Inductive Types, and Relational Parametricity – semantic-domain.blogspot.com 19. 6. 2020PLDI 2020 Conference Report – semantic-domain.blogspot.com 13. 2. 2020Thought Experiment: An Introductory Compilers Class – semantic-domain.blogspot.com 30. 10. 2019Every Finite Automaton has a Corresponding Regular Expression – semantic-domain.blogspot.com 23. 8. 2019New Draft Paper: Survey on Bidirectional Typechecking – semantic-domain.blogspot.com 21. 8. 2019On the Relationship Between Static Analysis and Type Theory – semantic-domain.blogspot.com 12. 8. 2019Michael Arntzenius on the Future of Coding Podcast – semantic-domain.blogspot.com 11. 7. 2019All Comonads, All The Time – semantic-domain.blogspot.com 13. 5. 2019Implementing Inverse Bidirectional Typechecking – semantic-domain.blogspot.com 11. 5. 2019Inverting Bidirectional Typechecking – semantic-domain.blogspot.com 2. 4. 2019Some Paper Announcements – semantic-domain.blogspot.com 10. 8. 2018Polarity and bidirectional typechecking – semantic-domain.blogspot.com 6. 8. 2018Category Theory in PL research – semantic-domain.blogspot.com 3. 8. 2018The Worm Ouroboros – semantic-domain.blogspot.com 25. 7. 2018A Typed, Algebraic Approach to Parsing – semantic-domain.blogspot.com 24. 4. 2018Are functional programs easier to verify than imperative programs? – semantic-domain.blogspot.com 18. 9. 2016HOPE 2016 Talk Summaries – semantic-domain.blogspot.com 9. 5. 2016Löb's theorem is (almost) the Y combinator – semantic-domain.blogspot.com 6. 5. 2016Life Update: Moving to Cambridge – semantic-domain.blogspot.com 21. 4. 2016The Essence of Event-Driven Programming – semantic-domain.blogspot.com 19. 4. 2016Postdoctoral Position in Recursion, Guarded Recursion and Computational Effects – semantic-domain.blogspot.com 21. 3. 2016Agda is not a purely functional language – semantic-domain.blogspot.com 17. 3. 2016Datafun: A Functional Datalog – semantic-domain.blogspot.com 18. 11. 2015Error Handling in Menhir – semantic-domain.blogspot.com 31. 7. 2015FRP without Space Leaks – semantic-domain.blogspot.com 22. 7. 2015How to implement a spreadsheet – semantic-domain.blogspot.com 17. 3. 2015Abstract Binding Trees, an addendum – semantic-domain.blogspot.com 13. 3. 2015Abstract Binding Trees – semantic-domain.blogspot.com 2. 3. 2015New Draft: Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism and Indexed Types – semantic-domain.blogspot.com 26. 2. 2015Midlands Graduate School 2015 – semantic-domain.blogspot.com 12. 12. 2014Garbage collection and purity – semantic-domain.blogspot.com 9. 12. 2014Quote of the Day – semantic-domain.blogspot.com 13. 11. 2014Curry-Howard for GUIs: Or, User Interfaces via Linear Temporal, Classical Linear Logic – semantic-domain.blogspot.com 4. 11. 2014Integrating Linear and Dependent Types at POPL 2015 – semantic-domain.blogspot.com 20. 10. 2014Focusing is not Call-by-Push-Value – semantic-domain.blogspot.com