Marc Hamann

type sort icontitleauthorlast post
Forum topicWhat are the properties of "Functional Programming Languages"? kaveh.shahbazian2010-09-13 17:38
StoryWhat Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common neelk2010-09-09 13:41
Forum topicIncompleteness Theorems: The Logical Necessity of Inconsistency Hewitt2010-08-10 14:23
Forum topicCUFP 2010 yminsky2010-08-04 21:03
Forum topicIs lambda calculus a logic? Patrick Browne2010-07-23 21:42
Forum topicIs mathematics invention or discovery? Justin Johansson2010-07-20 08:14
StoryWhy Undergraduates Should Learn the Principles of Programming Languages Z-Bo2010-07-15 09:08
Forum topicQuestions about Semantics. Matt Estes2010-07-15 05:47
Forum topicUncle Bob's talk at RailsConf 2010 Marc Hamann2010-07-07 20:43
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