recent posts

typetitleauthor sort iconlast post
Forum topicEigenCFA: Accelerating Flow Analysis with GPUs Alex12014-11-03 02:01
Forum topicRe-thinking Prolog Alex12014-09-24 11:21
Forum topicInteresting use cases for universal quantifiers in rank 2? Alex Shpilkin2016-10-23 00:29
Forum topicWas there a language with an explicit call stack? Alex Shpilkin2016-05-13 11:57
Forum topicAre first-class environments enough? Alex Shpilkin2013-07-04 15:49
Forum topicSubtyping + overloading Alex Rubinsteyn2008-11-24 20:24
Forum topicClosures without function pointers Alex Rubinsteyn2010-11-17 21:12
Forum topicExtensible tuples? Alex Rubinsteyn2008-11-17 18:04
Forum topicOverloading in a statically typed functional language Alex Rubinsteyn2008-04-01 20:49
Forum topicDifferences between gradual, soft, and dynamic dependent typing? Alex Rubinsteyn2009-02-13 21:59