Hank Thediek

typetitleauthorlast post sort icon
StoryCUFP write-up Ehud Lamm2007-12-17 01:27
StoryWitnessing Side-Effects neelk2007-11-25 07:58
StoryGödel, Nagel, minds and machines Ehud Lamm2007-11-22 08:09
StorySqueaky Tales Luke Gorrie2007-11-09 15:15
Forum topicCo-Logic Programming Gavin Mendel-Gleason2007-10-27 07:31
Forum topicComputing is a Natural Science Hank Thediek2007-10-15 20:49
StoryAn Overview of the Singularity Project Ehud Lamm2007-10-12 19:45
StoryTim Bray and Erlang Ehud Lamm2007-10-09 21:30
StoryBinary Lambda Calculus and Combinatory Logic Chris Rathman2007-09-28 23:59
Forum topicStutter Invariance mohan_vbh2007-09-15 11:01
Forum topicWhat is a state? Hank Thediek2007-09-07 13:41
StoryNo Name: Just Notes on Software Reuse Ehud Lamm2007-09-05 13:45
Forum topic Monad Description For Imperative Programmer kaveh.shahbazian2007-08-22 18:10
Forum topicFormal methods for O/R mapping Andris Birkmanis2007-08-19 00:29
StoryThe Karmasphere DP language Philippa Cowderoy2007-08-07 19:04
StoryLambda: The Semantics Tool Ehud Lamm2007-08-01 03:29
StoryA Natural Axiomatization of Church's Thesis Ehud Lamm2007-07-20 13:12
Forum topicPirahã living-in-the-present language Isaac Gouy2007-07-01 16:25
Forum topicDistributed Objects vs. Messaging raould2007-06-23 12:01
Forum topicWhy people don't use functional programming? Gergely Buday2007-06-09 16:40
StoryInteractivity considered harmful Jacques Carette2007-05-21 20:15
StoryLisp is sin Ehud Lamm2007-05-19 19:51
Forum topicThoughts about the Best Introductory Language shlomif2007-05-01 05:23
StoryThe design of C++0x Ehud Lamm2007-04-20 16:08
Forum topicExpect New Major Language Within Five Years Anton van Straaten2007-04-17 01:00