Ronny Wichers Schreur

typetitleauthorlast post sort icon
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
StoryTail call elimination decorator in Python Kay Schluehr2011-03-28 01:40
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
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
Forum topicSystem-level Static Analysis David Teller2009-07-25 00:53
Forum topicTarget Backend for a Uniquely Typed Language Chris Nicholls2009-06-22 16:04
Forum topicThe deBrujin Criterion and the "LCF Approach". Jason Dusek2009-04-29 22:57
Forum topicWriting an interpreter, targeting a VM or writing from scratch? Johan Tibell2009-04-28 20:09
Forum topicLazy Graph Reduction and abstract machines Sean Gillespie2008-10-02 16:00
Forum topicA Growable Language Manifesto RobJellinghaus2007-12-24 20:01
Forum topicWeak normalisation theorem for typed lambda-calculus ilSignorCarlo2007-12-07 15:41
Forum topicLambda Calculus: fixed point theorem help ilSignorCarlo2007-09-19 23:09
StoryOOP Is Much Better in Theory Than in Practice Ehud Lamm2007-06-18 22:39
Forum topicTotal Functional Programming Greg Buchholz2007-05-27 20:18
StoryTermination Checking with Types neelk2007-02-09 20:53
Forum topicCall by push-value Denis Bredelet -jido2007-01-16 11:07
StoryWhy numbering should start at 0 Luke Gorrie2007-01-10 17:16
Forum topicunchecked exceptions are like runtime type checking? lumpynose2006-12-13 09:40
StoryPVS goes open source Ehud Lamm2006-12-12 04:36
StoryLinear types for aliased resources Ehud Lamm2006-12-07 16:10
Forum topicLambda Calculus In Java kaveh.shahbazian2006-08-29 05:12
StoryEarly retirement? Ehud Lamm2006-08-18 18:32
Forum topichelp with [Barendregt & Barendsen, 1994] Jason Dusek2006-08-16 18:46
Forum topicThe solution to all your troubles... Ehud Lamm2006-07-29 17:38