Home » user account

renox

typetitleauthorlast post sort icon
StoryModern dynamic linking infrastructure for PLT Manuel J. Simoni2009-07-01 18:06
Forum topicHow important is it to have catchalls and interceptors in a programming language faisalv2009-06-20 17:18
Forum topicScala Lift Off Unconference review raould2009-06-08 18:17
StorySTEPS Toward The Reinvention of Programming: First Year Progress Report Luke Gorrie2009-03-13 10:13
Forum topicDao, the official 1.0 version is released Limin Fu2009-03-08 18:32
StoryDon Box: Teaching my kids to program Ehud Lamm2009-02-27 00:12
StoryPL Grand Challenges Ehud Lamm2009-02-10 16:09
StoryTwilight of the GPU Noel2009-02-06 16:44
Forum topicTagged Arithmetic Optimization naasking2009-02-04 22:32
Forum topicExplaining monads Ehud Lamm2009-01-30 11:43
Forum topicThe Origins of the BitC Programming Language Isaac Gouy2009-01-30 00:38
Story2008 In Review - What Happened with Programming Languages? James Iry2009-01-28 12:15
Forum topicQuestion concerning parameterization over literals shap2009-01-23 19:27
Forum topicNested functions - how many nesting levels are really needed? strog2009-01-22 12:00
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
StoryPrediction for 2008 Ehud Lamm2008-12-29 15:56
Forum topicIrresistible programs Ehud Lamm2008-12-03 21:21
Forum topicDr. Kenneth Iverson Passes Away shrogers2008-11-07 14:05
Forum topicCourse on Interactive Computer Theorem Proving Based on Coq Paul Snively2008-10-23 11:10
Forum topicChoice of OS of LtU readers marco2008-10-21 11:00
Forum topicReia: Python/Ruby style language on top of Erlang David N. Welton2008-10-06 11:51
StoryThe Transactional Memory / Garbage Collection Analogy Tommy McGuire2008-09-19 18:33
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
StoryCommunicating Scala Objects James Iry2008-09-04 15:12
Forum topicGoogle chrome Ehud Lamm2008-09-03 22:50