type  title  author  last post 
Forum topic  Nondeterminism: a sublanguage rather than a monad  Greg Buchholz  20171018 22:48 
Forum topic  A Functional Representation of Data Structures with a Hole (1998)  Vladimir Slepnev  20171012 08:06 
Forum topic  Help with Herbelin  jimdesu  20171006 22:31 
Forum topic  The Platonic Solids of Software Construction and Their Realization in C  bryanedds  20170929 19:00 
Forum topic  Something I forgot  marco  20170826 06:44 
Story  Graydon Hoare: What next for compiled languages?  Ehud Lamm  20170821 15:39 
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  Question: do you have to climb the tower of interpreters?  artemonster  20170726 19:26 
Forum topic  What would be involved in moving logic beyond FOL?  Charles Stewart  20170714 15:18 
Story  YOW! Lambda Jam 2017: John Hughes  Why Functional Programming Matters  Ehud Lamm  20170712 11:44 
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  Domain specific language for playing games  davidb  20170503 22:47 
Forum topic  Making a onepass compiler by generating fexprs that generate code  Josh Scholar  20170414 19:51 
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  Archaeological dig to find the first Lisp example of the Ycombinator  filipallberg  20170131 00:42 
Story  Stroustrup's Rule and Layering Over Time  Ehud Lamm  20170104 21:43 
Forum topic  Eliminating left recursion  skaller  20161213 00:23 
Forum topic  On the (Alleged) Value of Proof for Assurance  shap  20161124 01:04 
Story  Philip Wadler: Category Theory for the Working Hacker  Ehud Lamm  20160923 20:29 
Forum topic  Term Rewrite System Implementations?  Ivan Vodišek  20160918 00:10 
Forum topic  Lecturing birds how to fly  Charles Stewart  20160907 18:46 

Recent comments
3 hours 11 min ago
3 hours 11 min ago
3 hours 47 min ago
5 hours 22 min ago
7 hours 40 min ago
10 hours 29 min ago
11 hours 5 min ago
11 hours 55 min ago
18 hours 32 min ago
18 hours 37 min ago