recent posts

type sort icontitleauthorlast post
StoryApplied Category Theory - The Emerging Science of Compositionality Manuel J. Simoni2019-09-10 22:22
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2021-08-17 17:18
StoryApplications of Blockchain to Programming Language Theory Z-Bo2020-04-23 14:47
StoryThe Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy Manuel J. Simoni2020-08-25 22:44
StoryBuilt to Last Ehud Lamm2020-12-17 03:14
StoryGoogle Brain's Jax and Flax Z-Bo2021-01-15 15:01
StoryLAMBDA: The ultimate Excel worksheet function bashyal2021-04-01 21:52
StoryCoq will be renamed Ohad Kammar2021-05-10 14:44
StoryGoogle announces Logica: organizing your data queries, making them universally reusable and fun Z-Bo2021-09-24 17:33
StoryIntroducing PathQuery, Google's Graph Query Language Z-Bo2021-07-27 13:34