Jesper Cockx's Blog

Jesper Cockx - Introduction to Coinduction in Agda Part 1: Coinductive Programming Jesper Cockx Home Blog Papers Talks Teaching Links Introduction to Coinduction in Agda Part 1: Coinductive Programming Posted by Jesper on January 22, 2026 This week I am s…

Jesper Cockx - Going Vegan, or How I Ran All Out Of Excuses Jesper Cockx Home Blog Papers Talks Teaching Links Going Vegan, or How I Ran All Out Of Excuses Posted by Jesper on January 3, 2026 It’s been clear to me for a while now that our diet can have a…

Jesper Cockx - The good places to submit your papers Jesper Cockx Home Blog Papers Talks Teaching Links The good places to submit your papers Posted by Jesper on December 19, 2025 This week, the ACM made the monumental(ly stupid) decision to replace the a…

Jesper Cockx - Reflective journaling prompts Jesper Cockx Home Blog Papers Talks Teaching Links Reflective journaling prompts Posted by Jesper on September 15, 2024 This is a post about the practice of reflective journaling.

Jesper Cockx - On erasure annotations and agda2hs Jesper Cockx Home Blog Papers Talks Teaching Links On erasure annotations and agda2hs Posted by Jesper on July 30, 2024 As I wrote in a previous blog post, agda2hs is a tool for producing verified and read…

Jesper Cockx - Functional Programming in the Netherlands Jesper Cockx Home Blog Papers Talks Teaching Links Functional Programming in the Netherlands Posted by Jesper on July 17, 2024 Back in January of this year, I had the honor of hosting the `FP Dag’ –…

Jesper Cockx - A love letter to TTRPGs Jesper Cockx Home Blog Papers Talks Teaching Links A love letter to TTRPGs Posted by Jesper on June 30, 2024 While I mentioned my passion for tabletop role-playing games (TTRPGs) a few times before on this blog, I ne…

Jesper Cockx - Agda Core: The Dream and the Reality Jesper Cockx Home Blog Papers Talks Teaching Links Agda Core: The Dream and the Reality Posted by Jesper on May 11, 2024 One important purpose of a type system (and especially a dependent type system) is…

Jesper Cockx - Ten Thinkers Who Shaped My Worldview Jesper Cockx Home Blog Papers Talks Teaching Links Ten Thinkers Who Shaped My Worldview Posted by Jesper on March 10, 2024 I believe it is our responsibility as world citizens to help building a better w…

Jesper Cockx - 6 Reasons in favor of a core language, and 5 against Jesper Cockx Home Blog Papers Talks Teaching Links 6 Reasons in favor of a core language, and 5 against Posted by Jesper on February 10, 2024 As a person who has worked quite a bit on Agd…

Jesper Cockx - Ten improvements to Agda's implementation Jesper Cockx Home Blog Papers Talks Teaching Links Ten improvements to Agda's implementation Posted by Jesper on January 1, 2024 Happy 2024!

Jesper Cockx - An Invitation to Mindfulness Jesper Cockx Home Blog Papers Talks Teaching Links An Invitation to Mindfulness Posted by Jesper on September 24, 2023 If you are anything like me, you often crave for a bit of peace and clarity in your busy str…

Jesper Cockx - Ten common writing issues in student papers Jesper Cockx Home Blog Papers Talks Teaching Links Ten common writing issues in student papers Posted by Jesper on August 1, 2023 Good writing is important, and it takes time to get it right.

Jesper Cockx - I'm Autistic, and that's okay Jesper Cockx Home Blog Papers Talks Teaching Links I'm Autistic, and that's okay Posted by Jesper on April 22, 2023 I don’t expect this will be a surprise to people who know me, but at the same time I have never

Jesper Cockx - Don't worry (about writing Haskell), be happy (writing Agda instead)!

Jesper Cockx - 1001 Representations of Syntax with Binding Jesper Cockx Home Blog Papers Talks Teaching Links 1001 Representations of Syntax with Binding Posted by Jesper on November 4, 2021 As a compiler developer or programming language researcher, one…

Jesper Cockx - EuroProofNet: the European research network on digital proofs Jesper Cockx Home Blog Papers Talks Teaching Links EuroProofNet: the European research network on digital proofs Posted by Jesper on October 15, 2021 EuroProofNet is the European…

Jesper Cockx - WITS '21: First International Workshop on the Implementation of Type Systems Jesper Cockx Home Blog Papers Talks Teaching Links WITS '21: First International Workshop on the Implementation of Type Systems Posted by Jesper on October 15, 2021

Jesper Cockx - The Taming of the Rew Jesper Cockx Home Blog Papers Talks Teaching Links The Taming of the Rew Posted by Jesper on January 7, 2021 Back in 2019, I wrote two posts about user-definable rewrite rules in Agda (which have since then been rewrit…

Jesper Cockx - My challenge for you in 2021: Do the most good you can Jesper Cockx Home Blog Papers Talks Teaching Links My challenge for you in 2021: Do the most good you can Posted by Jesper on December 24, 2020 (Deze post is ook vertaald naar het neder…

Jesper Cockx - Mijn uitdaging voor jou in 2021: Doe zoveel goed als je kan Jesper Cockx Home Blog Papers Talks Teaching Links Mijn uitdaging voor jou in 2021: Doe zoveel goed als je kan Posted by Jesper on December 24, 2020 (This post is also available in…

Jesper Cockx - An introduction to property-based testing with QuickCheck Jesper Cockx Home Blog Papers Talks Teaching Links An introduction to property-based testing with QuickCheck Posted by Jesper on December 17, 2020 In February, I will be teaching a n…

Jesper Cockx - NWO Veni Grant on A Trustworthy and Extensible Core Language for Agda Jesper Cockx Home Blog Papers Talks Teaching Links NWO Veni Grant on A Trustworthy and Extensible Core Language for Agda Posted by Jesper on November 11, 2020 I’m very gl…

Jesper Cockx - Announcement: I'm moving to Delft!

Jesper Cockx - Rewriting type theory Jesper Cockx Home Blog Papers Talks Teaching Links Rewriting type theory Posted by Jesper on October 30, 2019 MathJax is awesome!

Jesper Cockx - Hack your type theory with rewrite rules Jesper Cockx Home Blog Papers Talks Teaching Links Hack your type theory with rewrite rules Posted by Jesper on October 21, 2019 This is the first in a series of three blog posts on rewrite rules in…

Jesper Cockx - Formalize all the things (in Agda) Jesper Cockx Home Blog Papers Talks Teaching Links Formalize all the things (in Agda) Posted by Jesper on October 4, 2019 I quite often hear from people that they are interested in learning Agda, and that’s

Jesper Cockx - EUTYPES '19 Summer School in Ohrid Jesper Cockx Home Blog Papers Talks Teaching Links EUTYPES '19 Summer School in Ohrid Posted by Jesper on September 13, 2019 I gave a course about Correct-by-Construction Programming in Agda at the EUTYPES…

Jesper Cockx - Writing Agda blog posts in literate markdown Jesper Cockx Home Blog Papers Talks Teaching Links Writing Agda blog posts in literate markdown Posted by Jesper on July 9, 2019 So you got to admit all the cool kids are doing it nowadays: writi…

Jesper Cockx - Elaborating Dependent (Co)pattern Matching Jesper Cockx Home Blog Papers Talks Teaching Links Elaborating Dependent (Co)pattern Matching Posted by Jesper on September 22, 2018 It has been a while since my last (and first) post, so here is a…

Jesper Cockx - The Agda's New Sorts Jesper Cockx Home Blog Papers Talks Teaching Links The Agda's New Sorts Posted by Jesper on May 3, 2018 In the last few weeks, Sandro Stucki has given a couple of excellent presentations on pure type systems (pts’s) at…