shap

typetitleauthor sort iconlast post
Forum topicMultiple Dispatch in Practice Isaac Gouy2008-10-25 15:28
Forum topicCourse on Interactive Computer Theorem Proving Based on Coq Paul Snively2008-10-23 11:10
Forum topicTo CPS or not to CPS marco2008-10-10 13:29
Forum topicHelp with Mixfix in Bison? shap2008-10-09 16:00
StoryMISRA C++:2008 Chris Rathman2008-10-01 22:19
Forum topicCan function pointers be "fixed" disnesquick2008-09-30 20:55
Forum topicHelp with N-Ary functions? shap2008-09-30 11:13
Forum topicTyping a function which includes its axioms? Bryan Turner2008-09-17 22:35
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
Forum topicSound and Complete Type Inference in BitC shap2008-09-09 18:29
Forum topicCan Lambda do things like arrays and matrixs? If so how? happycow2008-09-09 16:15
Forum topicWhat makes backreferences impossible in a DFA regular expressions evaluator? Brandon Niemczyk2008-09-04 11:52
Forum topicoutput language for new statically typed language? AtariFan2008-08-29 17:20
Forum topicHaskell for AI? solamim2008-08-27 08:46
Forum topicIs null needed? BigZaphod2008-08-09 00:52
Forum topicA Question Concerning Effect Types shap2008-08-06 15:01
Forum topicPractical Bits of Making a Compiler for a New Language Eli Sennesh2008-08-05 22:36
Forum topicSystems programming in languages other than C? Gregory Propf2008-08-05 19:58
Forum topicFP in D 2.0 raould2008-07-25 20:49
Forum topicParser Generators Supporting Astral Characters JamesJustinHarrell2008-07-22 02:33
StoryThe irreducible physicality of security properties Charles Stewart2008-05-18 14:42
Forum topicStatic Typing and Expressivity nobodysbusiness2008-05-02 15:58
Forum topicLisp Lovers, how would you fix Lisp or bring it up to date? Ben Atkin2008-04-29 03:20
Forum topic2nd Revision of "Thoughts about the Best Introductory Language" shlomif2008-04-27 01:41
Forum topicHigher-Order Programming without Closures? naasking2008-04-27 01:18