type  title  author  last post 
Forum topic  Refining Structured Type System  Ivan Vodišek  20171231 16:52 
Forum topic  VParser  Ivan Vodišek  20171203 09:28 
Forum topic  What would be involved in moving logic beyond FOL?  Charles Stewart  20170714 15:18 
Forum topic  How to name the inverse functions of constructors  hbrandl  20170703 00:16 
Forum topic  Finding Solutions vs. Verifying Solutions  Ivan Vodišek  20170529 18:23 
Forum topic  A refutation of Gödel's first incompleteness theorem  Enrique Perez Arnaud  20170525 18:11 
Forum topic  Prove: 'Cont r a = (a > r) > r' forms a monad  marco  20170516 02:03 
Forum topic  Practical Principled FRP: Forget the past, change the future, FRPNow!  Sean McDirmid  20170512 16:41 
Forum topic  Compiler IDE API  Keean Schupke  20170414 06:08 
Forum topic  CFL parsing, and another way to look at the CNF...  Cyril  20170307 07:27 
Forum topic  Controlling Reductions  skaller  20170305 08:04 
Forum topic  Process Network for Effects, Monad Alternative  dmbarbour  20170220 06:09 
Story  Salon des Refusés  Dialectics for new computer science  gasche  20170219 07:18 
Forum topic  How will look a modern imperative language? All love here is functional only..  mamcx  20170218 18:58 
Forum topic  Inference of Polymorphic Recursion  Matt M  20170207 04:40 
Forum topic  Generic overload resolution  Jon Purdy  20170122 15:41 
Forum topic  Unsoundness  skaller  20170120 15:16 
Story  Stroustrup's Rule and Layering Over Time  Ehud Lamm  20170104 21:43 
Forum topic  Defining recursive function as a monad (or other solutions)  Ivan Vodišek  20161217 08:07 
Forum topic  Eliminating left recursion  skaller  20161213 00:23 
Forum topic  Implicit conversion (subtyping) vs Explicit conversion  Keean Schupke  20161023 06:46 
Forum topic  Bottom Types  Keean Schupke  20161007 22:33 
Forum topic  Compile and Statically Verify  hbrandl  20161007 07:12 
Forum topic  Indispensible use cases for record subtyping?  naasking  20161004 17:37 
Forum topic  Certificates/proof of work of type checking?  naasking  20160922 06:41 

Recent comments
1 hour 56 min ago
2 hours 34 min ago
14 hours 27 min ago
15 hours 31 min ago
15 hours 31 min ago
15 hours 35 min ago
16 hours 46 min ago
16 hours 51 min ago
17 hours 48 min ago
18 hours 10 min ago