jason stumpf

typetitle sort iconauthorlast post
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topicLimitations of Prolog-style clausal programs Hewitt2014-02-11 10:53
Forum topicStrong Mathematical Foundations for Computer Science Hewitt2013-11-25 14:58
Forum topicProving running times of algorithms jason stumpf2013-09-13 02:43
Forum topicAre scalars "just" degenerate matrices? Douglas McClean2012-09-22 21:38
Forum topicHow much power should programmers have? Ray Dillinger2012-09-19 03:12
Forum topicLanguages with 'unique' programs dataangel2012-06-04 11:11
Forum topicOverloading in a dynamic functional language vorov22011-09-27 05:18
Forum topicAny research on garbage collection for a pure langauge? jason stumpf2010-05-01 12:05
Forum topicWhy type systems are interesting Anton van Straaten2010-03-08 19:47
Forum topicAlternatives to parentheses for grouping jason stumpf2010-02-10 13:28
Forum topicTotal functional language self interpreter? jason stumpf2009-06-27 13:57