recent posts

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