recent posts

type sort icontitleauthorlast post
StoryGraydon Hoare: What next for compiled languages? Ehud Lamm2017-08-21 15:39
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
StoryRustBelt: Securing the Foundations of the Rust Programming Language naasking2017-07-10 15:17
StoryUndefined Behavior in 2017 bashyal2017-07-07 17:02
StoryYOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters Ehud Lamm2017-07-12 11:44