recent posts

typetitleauthorlast post sort icon
StoryPhilip Wadler: Category Theory for the Working Hacker Ehud Lamm2016-09-23 20:29
Forum topicCertificates/proof of work of type checking? naasking2016-09-22 06:41
StoryType Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance naasking2016-09-20 05:47
Forum topicFeedback requested: A sample implementation of L-systems in Haskell filipallberg2016-09-19 18:37
Forum topicTerm Rewrite System Implementations? Ivan Vodišek2016-09-18 00:10
StoryFunctional Pearl: Type-safe pattern combinators naasking2016-09-16 18:18
Forum topicLooking for references on the expressiveness and computational completeness of a relational programming language davidb2016-09-08 06:02
Forum topicLecturing birds how to fly Charles Stewart2016-09-07 18:46
Forum topicNOOL 2016 Roly Perera2016-09-07 09:00
Forum topicProgramming Languages as Mathematical Representations mfidelman2016-09-03 23:25