recent posts

typetitleauthorlast post sort icon
Forum topicAbstraction Tiers of Notations const2019-02-17 20:03 Ohad Kammar2019-02-16 10:55
Forum topicMajor problems with access const2019-02-11 23:33
Forum topicPaper on ParaSail published in <Programming> journal V3.3; new release also available sttaft2019-02-10 19:01
Forum topicLooking for papers on covariance and contravariance AaronNGray2019-02-10 18:33
Forum topicVideo on Unison/comparison to Haskell/Monads/distributed computing AntC2019-01-02 23:16
StoryThe Little Typer Anton van Straaten2018-12-21 18:48
Forum topicFunctional Design Patterns - Relating Haskell Typeclasses to Software Design Patterns ThomasMahler2018-12-13 16:32
Forum topicLambdas and objects as an existential type const2018-12-07 11:42
Forum topicPOLA Would Have Prevented the Event-Stream Incident MarkM2018-12-06 14:51