recent posts

type sort icontitleauthorlast post
Storyp5.js Ehud Lamm2017-07-11 19:18
StoryThe Syntax and Semantics of Quantitative Type Theory naasking2017-07-26 18:34
StoryProject Snowflake: Non-blocking safe manual memory management in .NET naasking2017-09-13 20:37
StoryImplementing Algebraic Effects in C naasking2017-08-20 17:24
StoryHappy Birthday, dear Lambda: 17 is good edition Ehud Lamm2017-08-18 06:51
StoryReview of Graham Hutton's Programming in Haskell, 2e Ehud Lamm2017-08-17 18:24
StoryGraydon Hoare: What next for compiled languages? Ehud Lamm2018-04-06 02:24
StoryProceedings of the ACM on Programming Languages Ehud Lamm2017-09-06 06:36
StoryICFP 2017 live streaming Ehud Lamm2017-09-04 08:54
StoryA unified approach to solving seven programming problems Ehud Lamm2017-09-16 17:40