Carl Witty

typetitleauthorlast post sort icon
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
Forum topicA lambda calculus with arbitrary set primitives Neil Toronto2010-07-01 12:56
Forum topicmore power and less verbiage el-vadimo2010-01-11 21:02
StoryRegular Expression Matching Can Be Simple And Fast Brent Fulgham2009-09-17 06:06
StoryIntel Ct: C for Throughput Computing Kay Schluehr2009-05-22 21:07
Forum topicTagged Arithmetic Optimization naasking2009-02-04 22:32
Forum topicDodo Denis Bredelet -jido2008-07-20 16:36
StoryFunctional Netlists neelk2008-07-10 10:40
Forum topicOn the importance of Turing completeness jdgallag2008-06-16 22:31
StoryMechanizing Language Definitions Ehud Lamm2008-04-11 13:18
StorySamurai - Protecting Critical Data in Unsafe Languages Ehud Lamm2007-11-27 16:54
Forum topicProgramming Language Names Jeffery Walker2005-11-10 08:23
Forum topicThe English-Likeness Monster ade_oshineye2005-10-04 23:04
Forum topicModern Language Features of Visual C++ 2005 Chris2005-05-18 15:22
StoryWheat - A Language for Web Sites andrew cooke2005-03-28 05:07
Forum topicThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software ade_oshineye2005-02-15 21:26
StorySkribe 1.2b released Dave Herman2004-11-22 02:51