Brandon Niemczyk

typetitleauthorlast post sort icon
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
Forum topicGo's proposed panic/recover exception-like mechanism pgregory2012-01-07 01:57
StoryThe Future of C# Manuel J. Simoni2010-07-29 21:28
Forum topicSEC interested in formalising contracts ... in Python Noel2010-05-06 12:56
Forum topicStatic Typing Where Possible, Dynamic Typing When Needed Isaac Gouy2010-04-20 22:32
Forum topicsplitting the program into formalizable vs. non-formalizable parts? raould2010-04-17 03:48
Forum topicSpecifying Solvers? shap2010-04-15 14:08
Forum topicbroken - iPhone PL lockdown Brandon Niemczyk2010-04-13 22:07
Forum topicCurry Howard and more powerful type systems Brandon Niemczyk2010-03-24 19:06
Forum topica "thank you" to You raould2010-03-16 09:09
Forum topicHistorical or sociological studies of programming language evolution? lmeyerov2010-01-28 22:21
Forum topicCategories, the homemade object system mikel evins2009-08-31 04:50
Forum topicWhat makes backreferences impossible in a DFA regular expressions evaluator? Brandon Niemczyk2008-09-04 11:52