recent posts

typetitleauthorlast post sort icon
Forum topicUpward confluence in the interaction calculus Anton Salikhmetov2018-06-19 08:56
Forum topicProgramming language Theme-D tohoyn2018-06-12 14:40
Forum topicC++ fun chrisoliver2018-06-11 02:05
Forum topicNew DSL for secueity True Konrads2018-06-05 23:31
Forum topicI have a problem with arguments passed as non-evaluated expressions artemonster2018-06-01 10:46
Forum topicProof system for learning basic algebra Edwin Zacharias2018-05-25 20:27
StoryHow to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules Andris Birkmanis2018-05-21 07:37
Forum topicType Bombs marco2018-05-17 10:51
StoryPolymorphism, subtyping and type inference in MLsub gasche2018-05-17 10:46
StoryThe Gentle Art of Levitation Andris Birkmanis2018-05-15 01:41