Home » user account

Andreas Rossberg

typetitleauthorlast post sort icon
StoryMechanized Metatheory Model-Checking Jim Apple2006-12-11 21:44
Forum topicExtremely static language? viergroupie2006-12-09 01:28
Forum topicC++ has indeed become too "expert friendly" Isaac Gouy2006-12-07 14:01
Forum topicif Records - Labels = Tuples then Rows - Labels = what? cdiggins2006-12-04 01:57
StoryFuture of software design? Peter Van Roy2006-11-21 20:18
Forum topicFunctional programming and software engineering Kay Schluehr2006-11-20 17:36
Forum topicType Difference cdiggins2006-11-19 10:07
Forum topicWant to learn something new pureza2006-11-12 19:49
StoryRun time type checking Chris Rathman2006-10-22 15:04
StoryRuby the Rival segphault2006-10-13 12:01
StoryGoogle Code Search Jacques Carette2006-10-07 13:56
StoryVisual Basic and LINQ Erik Meijer2006-09-26 11:35
StoryVariance and Generalized Constraints for C# Generics Ehud Lamm2006-09-21 04:38
Forum topicSmall Value Set Types cdiggins2006-09-06 02:05
Forum topicAdvantages of Soft Typing Curtis W2006-08-29 22:21
Forum topicautomatic theorem proving Curtis W2006-08-09 14:01
Forum topicOverloading : Why do some languages leave it out? cdiggins2006-08-08 21:28
Forum topicCovariance and typing dataangel2006-08-05 13:21
Forum topicFirst Class Values, Types as values within a Programming Language Bruce Rennie2006-07-20 00:50
Forum topicOOP Parallel class hierarchies dataangel2006-07-18 19:50
StoryProgramming Languages and Lambda Calculi Noel2006-07-11 17:23
Forum topicWhat are the real benefits of FP? dataangel2006-07-09 20:03
Story'Information and Computation' Open Access Frank Atanassow2006-07-05 23:13
Forum topicRules for Developing Safety-Critical Code Peter J. Wasilko2006-06-25 21:26
Forum topicThe OO barrier snk_kid2006-06-22 14:07