type  title  author  last post 
Story  Philip Wadler: Category Theory for the Working Hacker  Ehud Lamm  20160923 20:29 
Forum topic  Certificates/proof of work of type checking?  naasking  20160922 06:41 
Story  Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance  naasking  20160920 05:47 
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  Looking for references on the expressiveness and computational completeness of a relational programming language  davidb  20160908 06:02 
Forum topic  Lecturing birds how to fly  Charles Stewart  20160907 18:46 
Forum topic  NOOL 2016  Roly Perera  20160907 09:00 
Forum topic  Programming Languages as Mathematical Representations  mfidelman  20160903 23:25 

Recent comments
1 hour 26 min ago
17 hours 54 min ago
1 day 3 hours ago
1 day 10 hours ago
1 day 10 hours ago
1 day 14 hours ago
1 day 14 hours ago
2 days 20 hours ago
3 days 10 hours ago
3 days 16 hours ago