Scott Turner

type sort icontitleauthorlast post
Forum topicNumbers and how to represent them. Ray Dillinger2013-02-03 20:13
Forum topicConversations with the Creators of Major Programming Languages Isaac Gouy2012-07-10 13:05
StorySeven Myths of Formal Methods Revisited naasking2012-01-03 15:24
StoryGuido: Language Design Is Not Just Solving Puzzles Ehud Lamm2011-01-05 17:06
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
StoryA few billion lines of code later: using static analysis to find bugs in the real world Allan McInnes2010-04-23 11:28
Forum topicClaiming Infinity Julian Rohrhuber2010-02-03 12:53
Forum topicMost powerful terminating semantics? dataangel2009-07-15 16:49
StoryTypes are Calling Conventions James Iry2009-05-20 01:01
Forum topicExplaining monads Ehud Lamm2009-01-30 11:43
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
StoryChurch’s Thesis and Functional Programming Chris Rathman2008-07-22 00:14
Forum topicLanguage Oriented Programming drc2008-02-07 05:42
StoryGödel, Nagel, minds and machines Ehud Lamm2007-11-22 08:09
Forum topicUnderstanding continuations Keith Devens2006-12-06 23:43
StoryIan Bicking: The challenge of metaprogramming Ehud Lamm2006-03-06 17:42
Forum topicWhat is a Proposition? andrew cooke2006-02-03 17:04
StoryHaskell is not not ML Ehud Lamm2006-01-24 20:23
StoryadbmaL Andris Birkmanis2005-12-20 04:49
Forum topicAnyone remember Russell (the language, that is)? beev2005-11-30 01:47
StoryPutting Curry-Howard to Work Andris Birkmanis2005-11-21 18:55
StoryKen Shan: Shift to Control Ehud Lamm2005-10-05 12:04
Forum topicNemerle and C# 3.0 Chris2005-09-21 17:16
Forum topicGADTs + Extensible Kinds = Dependent Programming Jim Apple2005-07-26 19:07
Forum topicBitC, a new OS implementation language Alexandre Richer2005-07-25 19:48