type  title  author  last post 
Forum topic  A refutation of Gödel's first incompleteness theorem  Enrique Perez Arnaud  20170525 18:11 
Story  Imperative Functional Programs that Explain their Work  gasche  20170525 17:58 
Story  Type Systems as Macros  naasking  20170524 21:04 
Story  Databases from finite categories  Charles Stewart  20170524 06:43 
Forum topic  Any thoughts on WanaDecrypt0r?  marco  20170521 21:12 
Forum topic  Finding Solutions vs. Verifying Solutions  Ivan Vodišek  20170520 09:38 
Forum topic  SW verification continues  hbrandl  20170516 21:54 
Forum topic  Prove: 'Cont r a = (a > r) > r' forms a monad  marco  20170516 02:03 
Forum topic  the type of eval in Shen  Mark Tarver  20170515 16:21 
Forum topic  Refining Structured Type System  Ivan Vodišek  20170513 20:01 

Recent comments
6 min 11 sec ago
10 min 2 sec ago
20 min 41 sec ago
1 hour 59 min ago
21 hours 14 min ago
21 hours 42 min ago
23 hours 44 min ago
1 day 3 hours ago
1 day 10 hours ago
1 day 11 hours ago