recent posts

type sort icontitleauthorlast post
Forum topicC++ Frequently Questioned Answers Srikumar Subramanian2009-05-19 00:40
Forum topicExpressing Natural Deduction in Logic Languages Keean Schupke2014-08-06 07:42
Forum topicTagged Arithmetic Optimization naasking2009-02-04 22:32
Forum topicusing words and notation in domain specific language syntax Gergely Buday2014-04-02 01:03
Forum topicCyclone 1.0 released. Greg Morrisett2006-05-13 20:57
Forum topicAxum - A .NET language for safe, scalable and productive parallel programming through isolation, actors and message-passing yang2009-05-15 01:27
Forum topicA theory of data parallel computing Victor Eijkhout2014-08-14 22:16
Forum topicWhat are the real benefits of FP? dataangel2006-07-09 20:03
Forum topicHow best to add a record type to my typed Scheme variant? Sam Rushing2009-02-06 21:00
Forum topicThe theory behind the Terms language Enrique Perez Arnaud2014-03-30 21:13