Ehud Lamm

typetitleauthorlast post sort icon
Forum topicSNAPL, a new PL conference on "big-picture questions and long-running research programs" gasche2014-10-11 23:08
Forum topicCFP: Off-the-Beaten-Track (OBT) workshop at POPL 2015 emery2014-10-05 18:14
StoryOpen thread: RIP Steve Jobs Ehud Lamm2014-10-05 00:19
StoryDomain settings Ehud Lamm2014-10-04 11:26
Forum topicExperiment Ehud Lamm2014-10-01 17:10
Forum topicRe-thinking Prolog Alex12014-09-24 11:21
StoryScala woes? Ehud Lamm2014-09-20 21:18
StoryWhat's in store for the most widely used language by discerning hackers? Ehud Lamm2014-09-18 04:37
StoryLuca Cardelli Festschrift Ohad Kammar2014-09-17 14:34
StoryAn operational and axiomatic semantics for non-determinism and sequence points in C gasche2014-09-14 10:02
Forum topicPatent on "safe" transitive immutability for object types — prior art? Blaisorblade2014-09-11 18:18
Forum topicLtU database problem Blaisorblade2014-09-10 14:27
Forum topicSPLASH 2014 - Call For Participation craiganslow2014-09-09 21:30
StoryScratch jr Ehud Lamm2014-09-09 16:23
Forum topicProgramming by page faulting Sean McDirmid2014-09-09 00:11
Story Howard on Curry-Howard bashyal2014-08-31 08:03
Forum topicInvitation for PolyConf conference kasia2014-08-27 13:00
StoryApple Introduces Swift bashyal2014-08-21 17:54
Forum topicThe broad ML Family workshop Oleg2014-07-31 10:07
StoryInteractive scientific computing; of pythonic parts and goldilocks languages gasche2014-07-24 16:28
Forum topicNote to home page contributors Ehud Lamm2014-07-13 11:40
StoryFifty Years of BASIC, the Programming Language That Made Computers Personal bashyal2014-05-30 20:21
Forum topicLtU now supports Mathjax Anton van Straaten2014-05-05 14:47
Forum topicAha moment Ehud Lamm2014-04-29 06:07
Forum topicYou don't mean people actually still use it?! Ehud Lamm2014-04-25 01:13