Home » user account

marco

typetitleauthorlast post sort icon
Forum topicFundamental Flaws in Current Programming Language Type Systems Bruce Rennie2009-01-16 16:42
Forum topicNew Programming Language Idea Lee Chou2009-01-14 09:06
Forum topicAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) scottmcl2009-01-11 22:50
Forum topic"Determinism" of types? ellisk2009-01-06 17:36
Forum topicLearning Pragmatics of Implementing a "Modern" Type Systems scottmcl2009-01-02 22:51
StoryProgrammable Concurrency in a Pure and Lazy Language James Iry2008-12-31 23:41
Forum topicShoot-out: most annoying compiler error message marco2008-12-21 21:45
StoryFω^C: a symmetrically classical variant of System Fω Charles Stewart2008-12-01 14:20
Forum topicSubtyping + overloading Alex Rubinsteyn2008-11-24 20:24
Forum topicSecurity in FP Carter Cheng2008-11-22 21:19
Forum topicCurrent "hot" topics in parallel programming? Michael Lesniak2008-11-21 09:00
StorySEP entry on Combinatory Logic Ehud Lamm2008-11-19 19:27
Forum topicImplementations of untyped lazy lambda calculus Darren Smith2008-11-14 19:44
StoryBEE3: Putting the Buzz Back into Computer Architecture Luke Gorrie2008-10-30 17:47
Forum topicObject Oriented Programming + Referential Transparency mjstahl2008-10-30 17:40
Forum topicConstructor classes jdgallag2008-10-27 04:00
Forum topicMultiple Dispatch in Practice Isaac Gouy2008-10-25 15:28
Forum topicChoice of OS of LtU readers marco2008-10-21 11:00
Forum topicTo CPS or not to CPS marco2008-10-10 13:29
Forum topicDSL or dialects used inside compilers Basile STARYNKEVITCH2008-10-10 09:33
Forum topicClojure talk videos claudio2008-10-09 15:57
Forum topicPublishing negative results: single-assignment Lisp John Stracke2008-10-07 14:08
Forum topicLazy Graph Reduction and abstract machines Sean Gillespie2008-10-02 16:00
StorySimon Peyton Jones Interview Chris Rathman2008-10-01 19:42
Forum topicHelp with N-Ary functions? shap2008-09-30 11:13