recent posts

typetitleauthorlast post sort icon
StoryCoq will be renamed Ohad Kammar2021-04-18 22:45
Forum topicJava / CPython Language Bridge davidnichols2021-04-08 23:45
StoryLAMBDA: The ultimate Excel worksheet function bashyal2021-04-01 21:52
Forum topicAbstraction Tiers of Notations const2021-03-30 16:43
Forum topicObjective-S raould2021-03-30 13:03
Forum topicJohn Shutt, creator of Kernel and an LtU regular, dies at 56 jdougan2021-03-19 06:39
Forum topicRacket is ‘Scheme all the way down’ with v8 on Chez Scheme spdegabrielle2021-02-14 12:49
Forum topicHigh level languages with optimal code generation Milton Silva2021-02-13 04:47
Forum topicCognition and Coding Alex Berka2021-01-30 07:48
Forum topicConcurrent System Programming with Effect Handlers raould2021-01-26 03:50