Ronny Wichers Schreur

typetitleauthor sort iconlast post
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
Forum topicCountering Trusting Trust through Diverse Double-Compiling Curt Sampson2005-12-28 22:50
StoryadbmaL Andris Birkmanis2005-12-20 04:49
Forum topicThe breaking point of language usability? raould2005-12-12 15:35
StoryDynamic typing in OCaml Matt Hellige2005-09-22 23:22
StoryDistributive laws for the Coinductive Solution of Recursive Equations Ehud Lamm2005-09-14 02:56
StorySpec# Ehud Lamm2005-07-25 18:11
Forum topicWhy type systems are interesting - part III: latent types Anton van Straaten2005-07-14 01:39
Forum topicWhat will Apple's move to Intel mean for Alternative Language Communities? Peter J. Wasilko2005-06-10 21:13
StoryComputer generates verifiable mathematics proof Ehud Lamm2005-04-27 10:44
Forum topicHouse , hOp - the Haskell Operating System shapr2005-04-21 11:32