recent posts

type sort icontitleauthorlast post
StoryOn compositionality Charles Stewart2018-10-23 17:45
StoryThe Little Typer Anton van Straaten2018-12-21 18:48
StorySelective Functors Z-Bo2019-03-05 18:39
Story"Three Things I Wish I Knew When I Started Designing Languages" Charles Stewart2019-05-14 00:54
StorySeven Sketches in Compositionality: An Invitation to Applied Category Theory Andris Birkmanis2019-05-24 22:34
StoryTensor Considered Harmful Z-Bo2019-11-09 02:27
StoryApplied Category Theory - The Emerging Science of Compositionality Manuel J. Simoni2019-09-10 22:22
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2020-02-14 09:08