recent posts

type sort icontitleauthorlast post
Forum topicRLisp - Lisp naturally embedded in Ruby taw2006-08-03 12:02
Forum topicCurry Howard and more powerful type systems Brandon Niemczyk2010-03-24 19:06
Forum topicSW verification continues hbrandl2017-05-16 21:54
Forum topicElements of Programming in Rust Keean Schupke2016-04-22 08:39
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36
Forum topicIncompleteness Theorems: The Logical Necessity of Inconsistency Hewitt2010-04-02 03:25
Forum topicSmall is Beautiful: the design of Lua bashyal2012-02-07 14:33
Forum topicWas there a language with an explicit call stack? Alex Shpilkin2016-05-13 11:57
Forum topicChuck - Concurrent audio programming language doublec2008-07-28 18:09
Forum topicWhat would be involved in moving logic beyond FOL? Charles Stewart2017-07-14 15:18