| Topic | Replies | Created | Last reply |

| Defining recursive function as a monad (or other solutions) | 29 | 1 year 10 weeks ago by Ivan Vodišek | 1 year 9 weeks ago by Ivan Vodišek |

| Eliminating left recursion | 30 | 1 year 11 weeks ago by skaller | 1 year 10 weeks ago by Ivan Vodišek |

| List of POPL 2017 papers with crowd-sourced preprint links | 7 | 1 year 16 weeks ago by gasche | 1 year 10 weeks ago by cyrus |

| Any recent developments on "active libraries" that I'm missing? | 2 | 1 year 12 weeks ago by osa1 | 1 year 10 weeks ago by cyrus |

| Splitting witnesses up | 2 | 1 year 12 weeks ago by Z-Bo | 1 year 12 weeks ago by Z-Bo |

| On the (Alleged) Value of Proof for Assurance | 136 | 7 years 49 weeks ago by shap | 1 year 12 weeks ago by NickP |

| Resources for implementing higher-kinded types? | 3 | 1 year 15 weeks ago by Jon Purdy | 1 year 14 weeks ago by neelk |

| Seeking contributors to psyche-c | 0 | 1 year 15 weeks ago by pronesto | n/a |

| Best value for overloading? | 13 | 1 year 15 weeks ago by naasking | 1 year 15 weeks ago by Keean Schupke |

| How is structural typing checked? | 8 | 1 year 18 weeks ago by mamcx | 1 year 17 weeks ago by mamcx |

| Implicit conversion (subtyping) vs Explicit conversion | 11 | 1 year 19 weeks ago by Keean Schupke | 1 year 17 weeks ago by Keean Schupke |

| Interesting use cases for universal quantifiers in rank 2? | 0 | 1 year 17 weeks ago by Alex Shpilkin | n/a |

| Parsing with derivatives - Elegant matching of regular languages in clojure | 0 | 1 year 19 weeks ago by yehonathan sharvit | n/a |

| Bottom Types | 15 | 1 year 21 weeks ago by Keean Schupke | 1 year 19 weeks ago by Ivan Vodišek |

| Compile and Statically Verify | 7 | 1 year 20 weeks ago by hbrandl | 1 year 19 weeks ago by hbrandl |

| Indispensible use cases for record subtyping? | 41 | 1 year 21 weeks ago by naasking | 1 year 20 weeks ago by naasking |

| ZenScript, A new open-source language project. | 7 | 1 year 22 weeks ago by Keean Schupke | 1 year 20 weeks ago by Matt M |

| SPLASH'16 Amsterdam CFP: early registration ends Sept 30 | 0 | 1 year 20 weeks ago by craiganslow | n/a |

| Certificates/proof of work of type checking? | 15 | 1 year 22 weeks ago by naasking | 1 year 21 weeks ago by Keean Schupke |

| Feedback requested: A sample implementation of L-systems in Haskell | 5 | 1 year 47 weeks ago by filipallberg | 1 year 22 weeks ago by filipallberg |

| Term Rewrite System Implementations? | 38 | 1 year 23 weeks ago by Ivan Vodišek | 1 year 22 weeks ago by marco |

| Looking for references on the expressiveness and computational completeness of a relational programming language | 21 | 1 year 26 weeks ago by davidb | 1 year 23 weeks ago by Keean Schupke |

| Lecturing birds how to fly | 8 | 1 year 25 weeks ago by Charles Stewart | 1 year 24 weeks ago by John Shutt |

| NOOL 2016 | 0 | 1 year 24 weeks ago by Roly Perera | n/a |

| Programming Languages as Mathematical Representations | 23 | 1 year 25 weeks ago by mfidelman | 1 year 24 weeks ago by John Shutt |

## Recent comments

47 min 8 sec ago

59 min 19 sec ago

1 hour 51 min ago

3 hours 26 min ago

5 hours 1 min ago

5 hours 18 min ago

11 hours 39 min ago

13 hours 35 min ago

23 hours 7 min ago

23 hours 45 min ago