Home
Welcome to my blog!
Recent Posts
-
Information Aware Type Systems and Telescopic Constraint Trees - January 19, 2025
Tags: information awareness (1), msfp2020 (1), talks (1), telescopic constraint trees (1) -
Clockwise is not the Only Mode - December 15, 2021
Tags: logic programming (1), modes (1), type systems (1) -
Notation and Glyphs - October 7, 2021
Tags: accessibility (2), notation (2) -
Typing Rules, Notation and Variables - September 30, 2021
Tags: accessibility (2), notation (2) -
Hello World - September 18, 2021
Tags: hello world (1), meta (1)
