type  title  author  last post 
Forum topic  Is Datalog negation(¬) similar to the builtin predicate (≠)?  Milton Silva  20170705 12:01 
Forum topic  How to name the inverse functions of constructors  hbrandl  20170703 00:16 
Story  Type Systems as Macros  naasking  20170625 11:19 
Forum topic  A refutation of Gödel's first incompleteness theorem  Enrique Perez Arnaud  20170525 18:11 
Forum topic  Any thoughts on WanaDecrypt0r?  marco  20170521 21:12 
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  Domain specific language for playing games  davidb  20170503 22:47 
Forum topic  Egel Language v0.1  marco  20170422 21:19 
Story  Idris 1.0 Released  Ehud Lamm  20170402 22:33 
Forum topic  Conversion of 'functional' to 'imperative' algorithms: is it possible?  Achilleas Margaritis  20170331 19:14 
Story  Contextual isomorphisms  gasche  20170310 16:30 
Forum topic  Controlling Reductions  skaller  20170305 08:04 
Forum topic  How will look a modern imperative language? All love here is functional only..  mamcx  20170218 18:58 
Forum topic  Defining recursive function as a monad (or other solutions)  Ivan Vodišek  20161217 08:07 
Forum topic  Eliminating left recursion  skaller  20161213 00:23 
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  Feedback requested: A sample implementation of Lsystems in Haskell  filipallberg  20160919 18:37 
Forum topic  Term Rewrite System Implementations?  Ivan Vodišek  20160918 00:10 
Story  Functional Pearl: Typesafe pattern combinators  naasking  20160916 18:18 
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  how to design PL support for effects emerging from parallel nondeterminism?  Rys McCusker  20160715 20:51 
Forum topic  Recursive types  skaller  20160617 06:02 

Recent comments
4 hours 33 min ago
5 hours 46 min ago
6 hours 17 min ago
8 hours 10 min ago
12 hours 16 min ago
13 hours 15 min ago
14 hours 42 min ago
14 hours 54 min ago
15 hours 46 min ago
17 hours 21 min ago