type  title  author  last post 
Forum topic  Are Monads a Waste of Time?  Keean Schupke  20180219 03:04 
Forum topic  Type systems for acyclic terms  marco  20180209 08:26 
Forum topic  Defunctionalization+Refunctionalization+Expression Problem  chrisoliver  20180202 04:24 
Forum topic  Programming by poking: why MIT stopped teaching SICP  Sean McDirmid  20180126 06:42 
Forum topic  Nondeterminism: a sublanguage rather than a monad  Greg Buchholz  20171028 07:57 
Forum topic  The Platonic Solids of Software Construction and Their Realization in C  bryanedds  20170929 19:00 
Story  Project Snowflake: Nonblocking safe manual memory management in .NET  naasking  20170913 20:37 
Forum topic  Type system based on epistemic modal logic?  Jon Purdy  20170912 02:48 
Forum topic  SK in Prolog  marco  20170910 07:05 
Forum topic  Something I forgot  marco  20170826 06:44 
Forum topic  Language features for tracing JIT?  Luke Gorrie  20170821 14:33 
Story  Happy Birthday, dear Lambda: 17 is good edition  Ehud Lamm  20170818 06:51 
Forum topic  The question of the possibility of a simple formal foundation to the natural languages.  Enrique Perez Arnaud  20170816 01:24 
Forum topic  New simple proof system  Edwin Zacharias  20170813 22:29 
Forum topic  hobbes, Morgan Stanley OSS  Kalani  20170727 14:55 
Forum topic  What would be involved in moving logic beyond FOL?  Charles Stewart  20170714 15:18 
Forum topic  Just entertainment: Click, click, click!  marco  20170713 22:32 
Story  YOW! Lambda Jam 2017: John Hughes  Why Functional Programming Matters  Ehud Lamm  20170712 11:44 
Forum topic  Affine Types  Introductory reading  filipallberg  20170710 02:17 
Forum topic  Is Datalog negation(¬) similar to the builtin predicate (≠)?  Milton Silva  20170705 12:01 
Forum topic  How to name the inverse functions of constructors  hbrandl  20170703 00:16 
Story  Type Systems as Macros  naasking  20170625 11:19 
Forum topic  A refutation of Gödel's first incompleteness theorem  Enrique Perez Arnaud  20170525 18:11 
Forum topic  Any thoughts on WanaDecrypt0r?  marco  20170521 21:12 
Forum topic  Prove: 'Cont r a = (a > r) > r' forms a monad  marco  20170516 02:03 

Recent comments
2 hours 23 min ago
2 hours 55 min ago
5 hours 59 min ago
6 hours 25 min ago
7 hours 46 min ago
7 hours 51 min ago
8 hours 21 min ago
13 hours 18 min ago
13 hours 18 min ago
13 hours 30 min ago