Marc Hamann

typetitleauthor sort iconlast post
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
StoryWhy Did M.I.T. Switch from Scheme to Python? Leon P Smith2013-09-12 17:06
Forum topicSF-calculus Barry Jay2013-08-30 18:42
Forum topicSeeking thoughtful criticisms of functional programming and languages scottmcl2013-03-31 00:40
StoryInteractive Programming Luke Gorrie2013-03-25 05:32
StoryOn Understanding Data Abstraction, Revisited Z-Bo2012-06-28 01:36
StoryComputing Needs Time Allan McInnes2012-03-05 19:35
Forum topicGo's proposed panic/recover exception-like mechanism pgregory2012-01-07 01:57
StoryWhy Object-Oriented Languages Need Tail Calls Leon P Smith2011-10-01 21:58
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