Marc Hamann

typetitleauthorlast post sort icon
StoryHaskell for C Programmers Mark Evans2011-09-12 18:37
Forum topicLiterate Programming: Retrospect and Prospects el-vadimo2011-07-20 21:10
Forum topicGenerative Grammar-based Computation dmbarbour2011-05-08 06:50
Forum topicWhat is a "fully featured closure"? Request for comments. Pavel Minaev2011-04-10 18:34
StoryGood Ideas, Through the Looking Glass Ehud Lamm2011-01-15 17:04
StoryGuido: Language Design Is Not Just Solving Puzzles Ehud Lamm2011-01-05 17:06
StorySapir-Whorf 70 years on bashyal2010-12-20 12:25
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
Forum topicComputational equivalent of incompleteness theorems? naasking2010-09-21 06:55
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