recent posts

typetitleauthorlast post sort icon
Forum topicType Mapping in Source-To-Source Translation thomash2019-10-22 20:32
Forum topicAdvantages of pointfree? John Nowak2019-10-17 16:20
Forum topicThe Way-Too-Early announce: Ecstasy cpurdy2019-09-25 11:05
Forum topicHistogram: You have to know the past to understand the present by Tomas Petricek spdegabrielle2019-09-24 22:04
StoryApplied Category Theory - The Emerging Science of Compositionality Manuel J. Simoni2019-09-10 22:22
Forum topicV-Parser Ivan V.2019-08-26 16:00
Forum topicStreaming Language Rewrite Processing (SLRP) dmbarbour2019-08-13 03:22
Forum topicRope jocob_knight2019-08-08 00:28
Forum topicA production rule system matching algorithm with match cost logarithmic wrt the size of the knowledge base (rules + facts) Enrique Perez Arnaud2019-08-06 15:55
Forum topicSession Types for Purely Functional Process Networks dmbarbour2019-08-02 12:50