Tony Finch

typetitleauthorlast post sort icon
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
Forum topicThe Rust Language Noel2010-07-27 23:17
StoryA few billion lines of code later: using static analysis to find bugs in the real world Allan McInnes2010-04-23 11:28
Forum topicRepresenting Type Information in Dynamically Typed Languages Ray Dillinger2010-04-16 18:31
Forum topicThe Myth of the Genius Programmer Leon P Smith2010-03-14 16:23
StoryPatrick Logan on Software Transaction Memory Ehud Lamm2009-10-26 21:48
Forum topicResolved Debates in Syntax Design ? gasche2009-08-13 00:06
StoryParsing Expression Grammars Luke Gorrie2009-04-30 09:35
StoryPL Grand Challenges Ehud Lamm2009-02-10 16:09
Forum topicIrresistible programs Ehud Lamm2008-12-03 21:21
StoryHejlsberg and Steele: Concurrency and Language Design Chris Rathman2008-10-08 03:48
Forum topicclosure-based object-oriented programming languages Tony Finch2008-10-02 14:35
StoryRevisiting Coroutines naasking2008-07-18 12:31
Forum topicHistorical map: round two, the fun begins Ehud Lamm2008-07-01 20:39
StoryIt's Time to Stop Calling Circuits "Hardware" Allan McInnes2007-10-17 18:49
Forum topicUniqueness Types Instead STM kaveh.shahbazian2007-10-12 22:59
StoryRalph Johnson: Erlang, the next Java Ehud Lamm2007-08-12 15:45
StoryHOPL III: Evolving a language in and for the real world: C++ 1991-2006 Chris Rathman2007-07-04 13:27
StoryTim Bray: Don’t Invent XML Languages Ehud Lamm2006-01-15 06:14
StoryTim Bray: On Threads Ehud Lamm2005-06-21 14:31