Home » user account

Ehud Lamm

typetitleauthorlast post sort icon
StoryGrady Booch: AOSD keynote Ehud Lamm2005-03-25 16:04
StoryPython: Generator methods Ehud Lamm2005-03-25 06:14
Forum topicEmbedding one language in another sudarshan2005-03-24 19:10
Forum topicJournals and papers? BigZaphod2005-03-22 17:56
StoryOCaml vs. C++ for Dynamic Programming Ehud Lamm2005-03-21 14:06
Forum topicDesigning and Implementing DSL languages: recommended reading? ydewit2005-03-21 11:40
StoryInside Software Factories Ehud Lamm2005-03-21 11:33
Story A Tutorial on Proof Theoretic Foundations of Logic Programming Ehud Lamm2005-03-21 08:30
StoryThe POPLmark Challenge Ehud Lamm2005-03-17 16:05
StoryJavaScript and domain specific Languages Ehud Lamm2005-03-15 16:04
StoryRequest Ehud Lamm2005-03-12 14:53
StoryInterview with Adam Dunkels Ehud Lamm2005-03-11 17:31
Forum topicAnother minor usability gripe... Matt Hellige2005-03-11 02:26
StoryDe-typechecker: converting from a type to a term Ehud Lamm2005-03-07 09:11
StoryProof and Counterexample Ehud Lamm2005-02-28 13:47
Forum topicThe HM system does not have principal typings for all terms Andris Birkmanis2005-02-26 07:26
StoryFunctional Geometry Ehud Lamm2005-02-25 08:53
StoryNick Benton: Simple Relational Correctness Proofs for Static Analyses and Program Transformations Ehud Lamm2005-02-24 16:56
Forum topicA New Series of Books and Software for Scientists, Experts, Teachers and Students Haritonov2005-02-23 21:15
Forum topicWhat are The Atoms of Programming Languages? Dmitri Kondratiev2005-02-23 13:07
StoryBusy, busy, busy Ehud Lamm2005-02-21 18:56
StoryBarbara Partee: Reflections of a Formal Semanticist as of Feb 2005 Ehud Lamm2005-02-18 00:29
StoryDefining new infix operators in Python Dominic Fox2005-02-17 03:28
Forum topicThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software ade_oshineye2005-02-15 21:26
StoryPerl6 vs Java vs Python, or, Java sucks! and the NIH Fallacy Ehud Lamm2005-02-14 14:15