Ehud Lamm

typetitleauthorlast post sort icon
StorySeemingly impossible programs Ohad Kammar2015-04-18 02:15
StoryCombining lazy and eager evaluation of terms Ehud Lamm2015-03-14 06:12
StoryMicro-Kanren Ehud Lamm2015-02-22 23:40
StoryCall-by-Name, Call-by Value and the Lambda Calculus Ehud Lamm2015-01-12 02:08
StoryMorrow & First-class Labels Frank Atanassow2014-12-28 20:26
Forum topicPaged topics raould2014-12-09 21:59
Forum topicLooking for a good online forum on compiler design and implementation Talin2014-12-03 22:33
Story John C Reynolds Doctoral Dissertation Award nominations for 2014 Ehud Lamm2014-12-01 08:41
StoryLtU's new server Anton van Straaten2014-10-20 16:51
StoryEATCS Award 2014: Gordon Plotkin Ehud Lamm2014-10-20 12:53
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