type  title  author  last post 
Forum topic  Help with Herbelin  jimdesu  20171221 16:01 
Forum topic  A Functional Representation of Data Structures with a Hole (1998)  Vladimir Slepnev  20171201 12:08 
Forum topic  Nondeterminism: a sublanguage rather than a monad  Greg Buchholz  20171028 07:57 
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  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 
Forum topic  Programming Languages as Mathematical Representations  mfidelman  20160903 23:25 

Recent comments
34 min 8 sec ago
5 hours 19 min ago
1 day 5 hours ago
1 day 7 hours ago
1 day 13 hours ago
2 days 6 hours ago
2 days 14 hours ago
3 days 1 hour ago
3 days 3 hours ago
3 days 3 hours ago