Blog

Hi. I'm a computer science student interested in programming language theory, metaprogramming and mathematics. With this blog, I aim to write concise posts regarding concept, techniques and ideas that a(slightly) younger version of myself would have found in his zone of proximal development.

1. W-types, fixed points and infinite structures

2. An explanation of higher order unification

3. Algebraic dynamic programming

4. Γ ⊢ formal logic and type systems

5. Getting Agda code export to work for my blog

6. Guile scheme's syntax parameters

7. Implementing algebraic effects through typeclass prolog

8. Implementing `async`-`await` syntax using delimited continuations

9. Dataset preprocessing with Guix scripts

10. Type level programming in julia

11. Interfaces in C using `container_of`

12. Well scoped lambda terms

Author: Justin Veilleux