type  title  author  last post 
Forum topic  A case study of concatenative v.s. applicative syntax design  xieyuheng  20231112 01:11 
Forum topic  Rewrite.js – a minimalist sexpr based term rewriting system  Ivan V.  20230423 09:37 
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 

Recent comments
1 week 3 days ago
1 week 3 days ago
1 week 3 days ago
23 weeks 4 days ago
27 weeks 6 days ago
29 weeks 3 days ago
29 weeks 3 days ago
32 weeks 1 day ago
36 weeks 5 days ago
36 weeks 5 days ago