Marc Hamann

typetitleauthorlast post sort icon
Forum topicThe three dimensions of proofs Niels Hoogeveen2006-09-14 17:42
Forum topicFirst Class Values, Types as values within a Programming Language Bruce Rennie2006-07-20 00:50
StorySocially Responsive, Environmentally Friendly Logic Andris Birkmanis2006-07-13 09:06
Forum topicCommunity enforcement discussion Anton van Straaten2006-07-12 13:59
StoryProgramming Languages and Lambda Calculi Noel2006-07-11 17:23
Forum topicAmusing question Ehud Lamm2006-07-08 19:19
StoryLtU: Policies document Ehud Lamm2006-07-03 19:27
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36
StoryInform 7: A relational DSL for interactive fiction with natural language syntax Frank Atanassow2006-06-12 07:49
Forum topicLambda the Ultimate Set Comprehension xyzzy2006-05-17 06:05
StoryIan Bicking: The challenge of metaprogramming Ehud Lamm2006-03-06 17:42
Forum topicThe fate of reduce() in Python 3000 Andrei Formiga2006-02-12 19:27
StoryVariables as Channels Klaus Ostermann2005-10-05 22:45
StoryKen Shan: Shift to Control Ehud Lamm2005-10-05 12:04
Forum topicFrom Perl Monks: "pissed off about functional programming" tmoertel2005-10-03 13:04
Forum topicIvory Towers and Gelfand's Principle Leon P Smith2005-09-03 14:13
Forum topicDoes Abstraction add Fuzziness? mansu2005-08-29 20:17
StoryEducational Pearl: Automata as Macros Ehud Lamm2005-08-24 21:08
StoryAn interview with Chris Date Chris Rathman2005-08-12 21:17
Forum topicMemory fault and segmentation faults pakumar212005-08-04 21:46
Forum topicBitC, a new OS implementation language Alexandre Richer2005-07-25 19:48
StoryGenerics are a mistake? Anton van Straaten2005-07-17 18:25
Forum topicorganizing papers... Matt Hellige2005-07-07 15:32
StoryWhy Dependent Types Matter Ehud Lamm2005-07-05 08:34
Forum topicThe long tail of programming languages Allan McInnes2005-07-01 10:42