Joachim Tilsted Kristensen

I am unconditionally exited about all things in Computer Science and particularly enthusiastic about programming language theory. Additionally, I really love electrically amplified bass guitar {^_^}.


URLs for Joachim Tilsted Kristensen

No URLs found.


Events for Joachim Tilsted Kristensen

Ohh my, I wrote some type signatures in some files at https://github.com/jtkristensen/agda-exercises/tree/main/bornHack2021, but I forgot to write the programs to go with them. Perhaps a keen hacker, such as your self, will be up for the task?

  • We will solve some Agda programming problems on together.
  • I will accept suggested solutions at the blackboard, and you will provide… Read more

    Schedule:

    • Monday, Aug 23rd, 2021, 09:00 (CEST) - Monday, Aug 23rd, 2021, 12:00 (CEST)

Inspired by Niels Serups inspirational talk about unspectacular personal failures, here is one about my first excursion into the relm of dependently typed programming.

When learning about dependent types, one is often presented with cannonical examples such as a list that is parameterized with its lenght. However, dependent types turn out to be quite useful for inferring properties about terms. An exapmle of such a property is coarsest grid needed to notate a rhythmic pattern in a dru… Read more


Schedule:

  • Sunday, Aug 22nd, 2021, 17:00 (CEST) - Sunday, Aug 22nd, 2021, 18:00 (CEST)