Ronny Wichers Schreur

typetitleauthorlast post sort icon
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
Forum topicFirst Class Values, Types as values within a Programming Language Bruce Rennie2006-07-20 00:50
Forum topicAmusing question Ehud Lamm2006-07-08 19:19
Forum topicChurch-Turning is False? Bryan Turner2006-06-28 09:36
Forum topicRules for Developing Safety-Critical Code Peter J. Wasilko2006-06-25 21:26
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36
StoryIan Bicking: The challenge of metaprogramming Ehud Lamm2006-03-06 17:42
Forum topicType theory question... Matt Hellige2006-02-23 22:07
Forum topicIs STL algorithms doing damage to the cause? Koray Can2006-02-13 15:17
StoryInfrastructure Announcement Ehud Lamm2006-01-23 06:49
Forum topicBruce Tate: Technologies that may challenge Java shahbaz2006-01-12 06:01