type  title  author  last post 
Forum topic  Nondeterminism: a sublanguage rather than a monad  Greg Buchholz  20171021 10:56 
Story  "8th"  a gentle introduction to a modern Forth  Allan McInnes  20171014 05:08 
Forum topic  A Functional Representation of Data Structures with a Hole (1998)  Vladimir Slepnev  20171012 08:06 
Forum topic  SK in Prolog  marco  20170910 07:05 
Forum topic  Reversing operations  Pablo Barenbaum  20170908 16:08 
Forum topic  Something I forgot  marco  20170826 06:44 
Forum topic  Restructor: Full Program Automatic Refactoring  Wouter  20170616 21:17 
Forum topic  Refining Structured Type System  Ivan Vodišek  20170530 17:40 
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  The Two Dualities of Computation: Negative and Fractional Types  Greg Buchholz  20170426 16:36 
Forum topic  Compiler IDE API  Keean Schupke  20170414 06:08 
Forum topic  notes on a Cish memory manager design  Rys McCusker  20170327 16:24 
Forum topic  Process Network for Effects, Monad Alternative  dmbarbour  20170220 06:09 
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  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 Vodišek  20161217 08:07 
Forum topic  On the (Alleged) Value of Proof for Assurance  shap  20161124 01:04 
Forum topic  How is structural typing checked?  mamcx  20161026 16:44 
Forum topic  Bottom Types  Keean Schupke  20161007 22:33 
Forum topic  Indispensible use cases for record subtyping?  naasking  20161004 17:37 
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 

Recent comments
3 hours 16 min ago
1 day 21 hours ago
1 day 22 hours ago
2 days 5 hours ago
2 days 7 hours ago
2 days 15 hours ago
2 days 15 hours ago
2 days 15 hours ago
2 days 17 hours ago
2 days 19 hours ago