Home » user account

Matt Hellige

typetitleauthorlast post sort icon
StoryOn the origins of Bisimulation, Coinduction, and Fixed Points Ehud Lamm2007-11-05 20:48
Forum topicSearching for a quote paul_butcher2007-10-31 00:13
Forum topicXQuery language design issues Thomas Lord2007-10-25 04:45
Forum topicAnybody at OOPSLA? Matt Hellige2007-10-23 08:43
Forum topicQuestion about the Monad associativity law sciomako2007-10-09 20:57
Forum topicOn creating an ad hoc assembly interpreter to aid studying soapdog2007-09-22 00:33
Forum topicLambda Calculus: fixed point theorem help ilSignorCarlo2007-09-19 23:09
Forum topicWhat is a state? Hank Thediek2007-09-07 13:41
StoryCompiling with Continuations, Continued neelk2007-08-22 22:03
Forum topicFormal methods for O/R mapping Andris Birkmanis2007-08-19 00:29
StoryBest LtU humour Ehud Lamm2007-08-01 18:54
StoryA Topos Foundation for Theories of Physics Matt Hellige2007-07-27 11:42
Forum topicWhoever does not understand LISP, is doomed to reinvent it. kaveh.shahbazian2007-07-22 19:46
StoryA Natural Axiomatization of Church's Thesis Ehud Lamm2007-07-20 13:12
Forum topicType inference for free? OleKristensen2007-07-18 22:45
Forum topicGood Language Design Principals for Scripting Languages Robert Pickering2007-07-08 14:01
StoryHOPL III: Evolving a language in and for the real world: C++ 1991-2006 Chris Rathman2007-07-04 13:27
Forum topicBranching affordance? Andris Birkmanis2007-07-02 15:06
StoryOOP Is Much Better in Theory Than in Practice Ehud Lamm2007-06-18 22:39
Forum topicfunction overriding workaround in dynamically typed languages chinu2007-05-30 21:39
Forum topicDelegating Responsibility in Digital Systems: Horton's "Who Done It?" MarkM2007-05-23 19:52
Forum topicIs Integer wrapping an exceptional condition? mansu2007-05-21 23:34
StoryGenerics as a Library Matt Hellige2007-05-09 00:11
StoryTwitter and Rails brouhaha Ehud Lamm2007-05-04 04:34
Forum topicType inference and union types Thomas_C2007-04-29 19:36