type  title  author  last post 
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 
Forum topic  Is there a language with the ability to write arbitrary type functions?  davidb  20160824 18:18 
Forum topic  Microscript  Ivan Vodišek  20160808 22:31 
Forum topic  A language for blind uncomprehending idiots who have no idea how programs work.  Ray Dillinger  20160808 13:51 
Forum topic  Is there an existing name for my higherorder function?  shawnbrown  20160807 13:10 
Forum topic  how to design PL support for effects emerging from parallel nondeterminism?  Rys McCusker  20160715 20:51 
Forum topic  Theory of syntax extensions: does it exist?  johnwcowan  20160530 10:47 
Forum topic  STEPS Toward the Reinvention of Programming, 2012 Final Report  Greg Buchholz  20160526 05:14 
Forum topic  Programming by poking: why MIT stopped teaching SICP  Sean McDirmid  20160520 04:50 

Recent comments
2 days 6 hours ago
2 days 20 hours ago
2 weeks 6 days ago
2 weeks 6 days ago
3 weeks 3 hours ago
3 weeks 4 hours ago
3 weeks 17 hours ago
3 weeks 17 hours ago
3 weeks 2 days ago
3 weeks 3 days ago