Randall Schulz

typetitle sort iconauthorlast post
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topiciPhone PL lockdown Sean McDirmid2011-12-24 05:49
Forum topicBabel-17 v0.2 spec is out Steven Obua2010-12-11 00:22
Forum topicDeprecating the Observer Pattern Alex Cruise2010-09-28 03:56
Forum topicContainers and Inheritance bfraser2010-07-28 19:53
Forum topiclarge-scale programming systems inspired by ecological and market systems Ray Dillinger2010-03-07 07:13
StoryExtending the Scope of Syntactic Abstraction Manuel J. Simoni2010-03-05 04:14
Forum topicThe Theory and Calculus of Aliasing Bertrand_Meyer2010-01-27 01:40
Forum topicQuantum Lambda Calculus Wolf Logan2010-01-24 22:41
Forum topicUnfulfilled Promises of Software Technologies? (!) scottmcl2010-01-02 01:09
Forum topicIs (probabilistic) non-determinism pure ? Steven Obua2009-12-30 21:38
Forum topicA question of metadata Denis Bredelet -jido2009-12-25 20:31
StoryProject Euler Chris Rathman2009-02-07 15:19