Marc Hamann

typetitleauthor sort iconlast post
Forum topicTyped Lambda Calculus marcosag2010-05-05 21:11
Forum topicCapability-based security; how does it work? Ray Dillinger2010-05-01 19:23
Forum topicIn the wild Ehud Lamm2010-04-26 23:54
Forum topicHow can C Programs be so Reliable? Manuel J. Simoni2010-04-23 11:54
Forum topicStatic Typing Where Possible, Dynamic Typing When Needed Isaac Gouy2010-04-20 22:32
Forum topicsplitting the program into formalizable vs. non-formalizable parts? raould2010-04-17 03:48
Forum topicLate Robin Milner Ohad Kammar2010-04-14 17:43
StoryTagless Staged Interpreters for Simpler Typed Languages Ehud Lamm2010-04-06 00:28
Forum topicFormal treatments (or examples of) of "function concatenation"? John Nowak2010-04-05 01:32
Forum topicWill data-intensive computing revolutionize programming languages? Peter Van Roy2010-03-30 16:54
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