Marc Hamann

type sort icontitleauthorlast post
Forum topicCurry Howard and more powerful type systems Brandon Niemczyk2010-03-24 19:06
Forum topicfunctional equivalance? raould2010-03-17 18:59
Forum topicThe Myth of the Genius Programmer Leon P Smith2010-03-14 16:23
Forum topicWhy type systems are interesting Anton van Straaten2010-03-08 19:47
StoryReminder: OOPSLA is now SPLASH neelk2010-02-22 23:35
StoryThe Role of Composition in Computer Programming James Hague2010-02-19 01:25
StoryA Lambda Calculus for Real Analysis Paul Snively2010-02-18 00:25
Forum topicInformation regarding financial crisis Ehud Lamm2010-02-12 16:39
Forum topicExtreme non-choosiness L Spice2010-02-04 22:23
Forum topicOracles Jack Waugh2010-02-03 18:31
Forum topicClaiming Infinity Julian Rohrhuber2010-02-03 12:53
Forum topicDeclarative reactive tables Sean McDirmid2010-01-31 23:52
Forum topicHistorical or sociological studies of programming language evolution? lmeyerov2010-01-28 22:21
Forum topicThe Next Mainstream Programming Languages Per Vognsen2010-01-24 13:32
StoryWhy Normalization Failed to Become the Ultimate Guide for Database Designers? Z-Bo2010-01-20 15:04
StoryEnumerating the Rationals Ehud Lamm2010-01-19 07:04
StoryWhy API Design Matters Leon P Smith2010-01-16 12:20
Forum topicNaive Question? Definition of "Higher Order" scottmcl2009-12-16 11:56
StoryEleven Theses on Clojure Ehud Lamm2009-12-15 08:25
Forum topicIs Small Still Beautiful? scottmcl2009-12-11 21:05
StoryJohn Hughes on Erlang and Haskell James Iry2009-12-02 10:16
StoryLambda, the Ultimate TA Ehud Lamm2009-11-05 17:26
Forum topicWhat is a Type? andrew johnson2009-10-28 20:53
StoryDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson Z-Bo2009-10-26 23:13
StoryPatrick Logan on Software Transaction Memory Ehud Lamm2009-10-26 21:48