recent posts

typetitleauthorlast post sort icon
StoryThe Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy Manuel J. Simoni2020-08-25 22:44
Forum topicExhaustiveness checks for algorithms that manipulate imperative data structures Eduardo León2020-08-30 14:57
Forum topicAsync/await vs coroutines? Matthew OConnor2020-09-10 16:33
Forum topicBNFT (Backus Naur Form Transformation) tool released Poul Krogh2020-09-11 19:42
Forum topicGodel and Meta-Circularity Matt M2020-09-16 03:37
Forum topicIs character as a type meaningless? Mats2020-09-16 20:52
Forum topicUse Cases for Shared-Memory Concurrency? shap2020-09-18 21:51
Forum topicLimits of Computability hbrandl2020-09-24 13:12
Forum topicTackling the Awkward Squad for Reactive Programming raould2020-09-24 22:41
Forum topicWhat is a type? Mats2020-10-30 19:19