Doug Landauer

type sort icontitleauthorlast post
Forum topicConversion of 'functional' to 'imperative' algorithms: is it possible? Achilleas Margaritis2017-03-31 19:14
StoryInteractive Programming Luke Gorrie2013-03-25 05:32
StoryGood Ideas, Through the Looking Glass Ehud Lamm2011-01-15 17:04
StoryGuido: Language Design Is Not Just Solving Puzzles Ehud Lamm2011-01-05 17:06
Forum topicParameterized Modules cdiggins2010-01-09 20:50
StoryScheme to be split into two languages Manuel J. Simoni2009-11-26 16:54
Forum topicthe Chinese natual language Zhu Chongkai2009-06-01 13:06
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
Forum topicAlgebra Of Programming (Bird, De Moor) shahbaz2009-04-27 20:22
StoryLtU: blog not forum! Ehud Lamm2009-02-14 14:11
Forum topicFunctional anti-memoization Greg Buchholz2009-01-26 17:46
StoryPython 3000 Status Update Mark Evans2009-01-03 03:49
Forum topicNarrowing field of languages? Wendell2008-09-27 13:59
Forum topicBalancing the tension of dev vs. debug? raould2008-08-16 01:04
Forum topicwhat a type system always proves vs. what it can be made to prove bdenckla2008-06-10 17:56
StoryOberon Script. A Lightweight Compiler and Runtime System for the Web Ehud Lamm2008-03-15 02:35
Forum topicOn the Importance of Purity naasking2007-12-02 14:53
Forum topicUniversal Type System Akhilesh Mritunjai2007-11-24 18:01
StoryThe Haskell Programmer's Guide to the IO Monad --- Don't Panic Ehud Lamm2007-11-22 21:30
StoryJoCaml Andris Birkmanis2007-11-19 15:49
Forum topicThe simplest mechanism with Turing-equivalent power to date ... Mario B.2007-11-18 21:05
Forum topicDuck Typing advocated where? paddy31182007-08-27 01:19
Forum topic Monad Description For Imperative Programmer kaveh.shahbazian2007-08-22 18:10
Forum topicUser names Ehud Lamm2007-06-13 23:23
Forum topicDelegating Responsibility in Digital Systems: Horton's "Who Done It?" MarkM2007-05-23 19:52