Home » user account

Ehud Lamm

typetitleauthorlast post sort icon
StoryRelating FFTW and Split-Radix Ehud Lamm2005-05-14 18:17
StoryLanguage-based security for mobile code, with applications to smart cards Ehud Lamm2005-05-14 10:34
StoryA Methodology for Generating Verified Combinatorial Circuits Ehud Lamm2005-05-14 04:05
StoryPython Challenge Ehud Lamm2005-05-13 13:48
Storydtracing Python Ehud Lamm2005-05-13 09:17
Story subtext: Uncovering the simplicity of programming Ehud Lamm2005-05-12 20:49
Forum topicMore sites like Lambda Matthew Willson2005-05-12 06:46
StoryFunctional and Declarative Programming in Education (FDPE05) Ehud Lamm2005-05-11 08:02
StoryA type discipline for authorization policies Ehud Lamm2005-05-10 19:54
StoryTYPES Summer School 2005 Ehud Lamm2005-05-10 08:10
Forum topicLinks Philip Wadler2005-05-07 10:23
Forum topicexpressivity of lisp/scheme but speed of assembly/C/C++ shahbaz2005-05-07 06:27
Forum topicC++ OR mapping - cross platform and db Ehud Lamm2005-05-04 18:15
Forum topicWhat makes Centum a bad language? Peter Schombert2005-05-03 15:54
Forum topicmechanics of designing and implementing a language shahbaz2005-05-02 09:36
StoryFortress focuses on the needs of scientists Ehud Lamm2005-05-01 20:15
StoryalphaWorks: Pattern Modeling and Analysis Tool for Java Garbage Collector Ehud Lamm2005-04-30 10:42
StoryCall to and for editors Ehud Lamm2005-04-28 13:41
Story2005 Programming Languages Day at Watson Ehud Lamm2005-04-27 13:14
StoryComputer generates verifiable mathematics proof Ehud Lamm2005-04-27 10:44
StoryFORTRAN pilot project Ehud Lamm2005-04-24 19:08
StoryAda 2006 Documents Ehud Lamm2005-04-21 20:45
StoryOn the Unusual Effectiveness of Logic in Computer Science Charles A Stewart2005-04-21 11:14
Storyjhc Ehud Lamm2005-04-20 18:14
StorySemantic Streams: a Framework for Declarative Queries and Automatic Data Interpretation Ehud Lamm2005-04-20 11:03