recent posts

type sort icontitleauthorlast post
Forum topichelp with type theory jdgallag2009-01-29 06:50
Forum topicLinks for Programming Language course videos mansu2006-05-09 00:06
Forum topicGenerational Real-Time Garbage Collection raould2014-07-29 00:47
Forum topicseeking article on representing cyclic graphs using purely functional data structures const2009-01-30 11:35
Forum topicThe Push Programming Language jesuswaffle2006-05-10 19:38
Forum topicOracle, Sun, and Fortress mzraly2010-12-20 01:16
Forum topicA Functional Representation of Data Structures with a Hole (1998) Vladimir Slepnev2017-12-01 12:08
Forum topicCybernetics and AI Hank Thediek2009-02-01 17:01
Forum topicFortress Spec 0.903 kabel2006-08-18 09:20
Forum topicq-Derivatives of datatypes mikestay2014-08-05 07:59