type  title  author  last post 
Forum topic  BNFT (Backus Naur Form Transformation) tool released  Poul Krogh  20200911 19:42 
Forum topic  Refining Structured Type System  Ivan V.  20171231 16:52 
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 V.  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 V.  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
3 hours 22 min ago
5 hours 10 min ago
6 hours 17 min ago
8 hours 24 min ago
12 hours 35 min ago
1 day 1 hour ago
1 day 1 hour ago
1 day 1 hour ago
1 day 8 hours ago
1 day 8 hours ago