home
research
photography
random
Technical writings and investigations
research
Aug 21, 2024
Qualifying the Extensibility of Language Frameworks
Dec 21, 2023
Dependent Types for Parallel Operations - Proof of Concept