Home » user account

Andreas Rossberg

typetitleauthorlast post sort icon
StoryA few billion lines of code later: using static analysis to find bugs in the real world Allan McInnes2010-04-23 11:28
Forum topicStatic Typing Where Possible, Dynamic Typing When Needed Isaac Gouy2010-04-20 22:32
Forum topichot topics in type theorem Zsolt Szalai2010-04-16 17:36
StoryCan functional programming be liberated from the von Neumann paradigm? Charles Stewart2010-04-14 20:25
Forum topicHigher order functions vs. function arity and calling conventions scottmcl2010-04-12 17:08
Forum topicTcl the Misunderstood namin2010-04-09 02:54
Forum topicWill data-intensive computing revolutionize programming languages? Peter Van Roy2010-03-30 16:54
Forum topicTypes vs classes: what is the difference? caustic2010-03-18 19:39
Forum topicType system design choices Michiel Helvensteijn2010-03-18 08:24
Forum topicThe Myth of the Genius Programmer Leon P Smith2010-03-14 16:23
Forum topicSmall PL Thought Experiment scottmcl2010-03-11 18:11
Forum topicWhy type systems are interesting Anton van Straaten2010-03-08 19:47
Forum topicTony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" raould2010-03-05 22:19
Forum topicNaNs and reflexivity Bertrand_Meyer2010-02-16 14:50
Forum topicThe Next Mainstream Programming Languages Per Vognsen2010-01-24 13:32
Forum topicParameterized Modules cdiggins2010-01-09 20:50
Forum topicExplanation of Computer Theory for Lawyers Scott Johnson2010-01-05 19:12
Forum topicUnfulfilled Promises of Software Technologies? (!) scottmcl2010-01-02 01:09
StoryObjects as Modules in Newspeak James Iry2009-12-27 23:52
StoryEleven Theses on Clojure Ehud Lamm2009-12-15 08:25
Forum topicImplementation of Cardelli and Daan Leijen Style Record Systems? scottmcl2009-12-14 21:20
StoryJohn Hughes on Erlang and Haskell James Iry2009-12-02 10:16
Forum topicConnections between Transactions and Promises/Futures? naasking2009-11-24 20:29
Forum topicI Seek a Reasonable Survey on the Concept of "Module System" scottmcl2009-11-18 15:51
Forum topicWhat is a Type? andrew johnson2009-10-28 20:53