Lambda the Ultimate Weblogs
Last Update 06/24/2004

1    2    3    4    5    6    7    8    9    10

  Topic    Originator    Msgs    Last Post  
  We have moved!    Ehud Lamm    1    06/20/2004  
  EuroHaskell 2004    Shae Erisson    1    06/19/2004  
  ICFP Accepted papers    Ehud Lamm    1    06/18/2004  
  Cog    Ehud Lamm    1    06/18/2004  
  Cog code generator    Ehud Lamm    1    06/17/2004  
  Our new location (not active yet!)    Ehud Lamm    1    06/16/2004  
  Anders Hejlsberg - What's so great about generics?    Aelij Arbel    1    06/15/2004  
  Be advised    Ehud Lamm    2    06/16/2004  
  Future of Lambda?    andrew cooke    3    06/15/2004  
  Anders Hejlsberg - Tour through computing industry history at the Microsoft Museum    Ehud Lamm    1    06/15/2004  
  Roles of Variables    Daniel Yokomizo    2    06/14/2004  
  EuroPython'2004 Slides    Ehud Lamm    2    06/14/2004  
  Adding Wildcards to Java    Isaac Gouy    5    06/14/2004  
  No new items?    Ehud Lamm    7    06/15/2004  
  Extensible Code Generation with Java    Chris Rathman    7    06/15/2004  
  An Introduction to the XQuery (and XPath 2.0) Type System: The Impact on XQuery and XPath    Ehud Lamm    1    06/13/2004  
  Slow News Day: How About Some Benchmarks?    Brent Fulgham    3    06/14/2004  
  Meta Math - new Chaitin Book    andrew cooke    3    06/12/2004  
  Robert Kowalski's publications    Ehud Lamm    1    06/09/2004  
  How an idea becomes a C# language feature?    Ehud Lamm    6    06/11/2004  
  ToonTalk    Frank Atanassow    6    06/11/2004  
  OnLamp: Paul Graham on Hacking    Ehud Lamm    1    06/07/2004  
  Axiom Computer Algebra System    Mark Evans    12    06/09/2004  
  RT++ Higher Order Threads for C++    Mark Evans    2    06/03/2004  
  Towards a Natural Theory of Programming Languages    Dan Shappir    1    06/02/2004  
  Years of CSP    Ehud Lamm    1    05/31/2004  
  The view from the left    Ehud Lamm    6    06/03/2004  
  New vector language: Glee    Ehud Lamm    3    06/01/2004  
  POOSL: Parallel Object-Oriented Specification Language    bryan rasmussen    1    05/31/2004  
  Ward Cunningham - Do you get religious about programming languages?    Ehud Lamm    3    06/03/2004  
  Catching Uncaught Exceptions in JDK 1.5    Dan Shappir    7    05/31/2004  
  Nullable Types    Ehud Lamm    10    06/03/2004  
  Perl - Periodic Table of the Operators    Chris Rathman    1    05/27/2004  
  new Vector Language: Glee    bryan rasmussen    1    05/27/2004  
  Continuations in Java and Java-based Web Frameworks    Noel Welsh    11    05/27/2004  
  Syntax-rules Primer    Ehud Lamm    1    05/25/2004  
  Holiday    Ehud Lamm    5    05/26/2004  
  Turing completeness is not?    Andris Birkmanis    14    05/26/2004  
  AFP 2004    Ehud Lamm    8    05/25/2004  
  Pointcuts and Advice in Higher-Order Languages    Ehud Lamm    2    05/25/2004  
  Case Study in Practical Language Use    andrew cooke    23    05/26/2004  
  Nice collection of quotes    Ehud Lamm    2    05/23/2004  
  Lua Shines    Chris Rathman    2    05/23/2004  
  The First Report on Scheme Revisited    Andris Birkmanis    1    05/22/2004  
  A Security Kernel Based on the Lambda-Calculus    Ehud Lamm    1    05/21/2004  
  LiveType Font Constraint Programming    Mark Evans    1    05/20/2004  
  SPARK and high integrity software    Frank Atanassow    6    05/21/2004  
  The SkyNet Virus: Why it is Unstoppable; How to Stop it    Peter Van Roy    21    05/27/2004  
  Untangling the balancing and searching of balanced binary search trees    Ehud Lamm    5    05/20/2004  
  Haskell-Coloured Petri Nets    Andris Birkmanis    5    05/18/2004  
  Lisp Machine Progress Report    Luke Gorrie    2    05/17/2004  
  pbook    Luke Gorrie    12    05/20/2004  
  Aspect-Oriented Programming for Distributed Systems    Peter Van Roy    5    05/19/2004  
  The GNU 64-bit PL8 compiler    Ehud Lamm    1    05/15/2004  
  Composing Monads using Coproducts    andrew cooke    1    05/14/2004  
  Composing Monads using Coproducts    Frank Atanassow    2    05/14/2004  
  The Case for First Class Messages    Chris Rathman   169    05/27/2004  
  XSLT 2.0 in System.XML V2.0 ?    Ehud Lamm    4    05/20/2004  
  late binding and self reference    andrew cooke    5    05/13/2004  
  Selective Open Recursion: A Solution to the Fragile Base Class Problem    Ehud Lamm    8    05/23/2004  
  Moiell (aka Leoll++)    Ehud Lamm    1    05/13/2004  
  A Type Theory for Memory Allocation and Data Layout    Mark Evans    4    05/13/2004  
  Extensible Programming for the 21st Century    Ehud Lamm    10    05/20/2004  
  lambda-calculus and types    Chris Rathman    8    05/13/2004  
  Udell discusses XBRL    Ehud Lamm    6    05/11/2004  
  The Haskell Road to Logic, Maths and Programming    Ehud Lamm    4    05/10/2004  
  Why Learning Assembly Language is Still a Good Idea    Chris Rathman    16    05/11/2004  
  P# - Prolog compiler for .Net    Chris Rathman    3    05/10/2004  
  Spreadsheet structure discovery    andrew cooke    3    05/08/2004  
  Object-Oriented Programming Enhancements in Ada200Y    Ehud Lamm    5    05/09/2004  
  miniKanren: A declarative applicative logic programming system    Ehud Lamm    4    05/07/2004  
  Pike 7.6 Released    Dominic Fox    3    05/06/2004  
  Lambda Lifting    Ehud Lamm    2    05/05/2004  
  The Theory of Classification    Daniel Yokomizo    1    05/05/2004  
  Programming as if Performance Mattered    James Hague    11    05/10/2004  
  Prolog and Mercury Compared    Ehud Lamm    6    05/05/2004  
  Tim Bray: Jython    Ehud Lamm    21    05/07/2004  
  Software safety by the numbers    Chris Rathman    3    05/04/2004  
  Spike in erlang    Ehud Lamm    2    05/04/2004  
  A Generic Component Framework for System Modeling    Andris Birkmanis    5    05/07/2004  
  Enjoy the Soundness    andrew cooke    3    05/02/2004  
  Programming in dc    andrew cooke    4    05/04/2004  
  Special Topics in Domain Specific Languages (course)    Ehud Lamm    7    05/03/2004  
  New version of Self released    Kragen Sitaker    1    04/28/2004  
  When and How to Develop Domain-Specific Languages    Ehud Lamm    4    04/30/2004  
  A Practical Theory of Programming    Ehud Lamm    3    04/29/2004  
  Interpretation of the curry-howard isomorphism    Ehud Lamm    1    04/28/2004  
  2004 ICFP Programming Contest Announced    nate foster    1    04/27/2004  
  Udell: Radical software customization    Ehud Lamm    45    04/30/2004  
  Globus Project for Grid Computing    Mark Evans    1    04/25/2004  
  POOMA    Mark Evans    4    04/26/2004  
  Refal programming language    Ehud Lamm    4    04/26/2004  
  Excel examples    andrew cooke    2    04/26/2004  
  Wolfram's Future Math    Mark Evans    13    05/21/2004  
  Growing a Language    Luke Gorrie    37    05/25/2004  
  A Modal Language for Effects    Ehud Lamm    1    04/23/2004  
  Linj - creates Java code from CL derivative    Mitchell N Charity    1    04/22/2004  
  UML and DSLs    Ehud Lamm    7    04/26/2004  
  VC++ Security Checks at Runtime and Compile Time    Ehud Lamm    32    04/24/2004  
  Alan Kay to receive Turing Award    Ehud Lamm    8    04/22/2004  
  RDFEngine    Danny Ayers    2    04/21/2004  
  Tunneling Variables    Patrick Logan    11    04/22/2004  
  Calculating the Sieve of Eratosthenes    Ehud Lamm    4    04/19/2004  
  Comega (C Omega) Language    David B. Wildgoose    6    04/19/2004  
  MS C++ Compiler Freely Available    andrew cooke    3    04/18/2004  
  IJCAR 2004 Tutorial Program    Ehud Lamm    1    04/18/2004  
  Apocalypse 12: Perl 6 OO    Ehud Lamm    1    04/17/2004  
  Apocalypse 12 is out    Keith Devens    18    04/22/2004  
  Fractal Music (and a Personal Introduction)    Danny Ayers    5    04/18/2004  
  Mozart Oz 1.3.0 Released    Mark Evans    5    04/24/2004  
  Why, Krakatoa and Caduceus: Software proof    Jim Apple    1    04/15/2004  
  Poplog    Brent Fulgham    37    04/24/2004  
  Validating the Unit Correctness of Spreadsheet Programs    Ehud Lamm    7    04/18/2004  
  test    Toni Apriando    2    04/13/2004  
  OpenStack Collaborative Computing    Mark Evans    1    04/12/2004  
  Draining the Language out of Color    Chris Rathman    4    04/13/2004  
  Circular references    andrew cooke    13    04/21/2004  
  The Sound of Mathematics    Chris Rathman    5    04/12/2004  
  KANREN -- logic programming in Scheme    Neel Krishnaswami    1    04/10/2004  
  Java to gain multitasking improvements    Chris Rathman    7    04/13/2004  
  1st European Lisp and Scheme Workshop    Chris Rathman    1    04/08/2004  
  Dating Design Patterns    Noel Welsh    25    04/08/2004  
  Impedance mismatch: RDBMS and PLs    Chris Rathman    35    04/08/2004  
  New Language Features in C# 2.0, Part 1    Chris Rathman    1    04/07/2004  
  Narcissus: JavaScript in JavaScript    Chris Rathman    4    04/08/2004  
  Teach Yourself Scheme in Fixnum Days    Chris Rathman    7    04/06/2004  
  Play nice...    Ehud Lamm    3    04/05/2004  
  Simple scripting language    andrew cooke    11    04/07/2004  
  April Second...    Ehud Lamm    2    04/04/2004  
  CCSL Tutorial    Ehud Lamm    2    04/03/2004  
  Taming the x86 beast    Chris Rathman    3    04/02/2004  
  Making Oz capability-secure    Fred Spiessens    2    04/01/2004  
  Semantic Web scripting languages    Danny Ayers    1    04/01/2004  
  Eric Lippert does SimpleScript    Dan Shappir    7    04/03/2004  
  Cilk    Mark Evans    2    04/02/2004  
  XQuery Normalizer and Static Analyzer (alphaWorks)    Ehud Lamm    1    03/29/2004  
  What does Hello World show?    Albert Y. C. Lai    5    03/29/2004  
  The Logic Programming Paradigm and Prolog    Ehud Lamm    17    03/29/2004  
  Dying Tongues    Isaac Gouy    45    04/03/2004  
  A Eulogy for HyperCard    Ehud Lamm    1    03/26/2004  
  K.R. Apt: Principles of Constraint Programming    Ehud Lamm    3    03/29/2004  
  Prothon    andrew cooke    8    03/30/2004  
  Domain-Specific Modeling Languages    Isaac Gouy    3    03/26/2004  
  Implementing Distributed Systems Using Linear Naming    Luke Gorrie    4    03/31/2004  
  distcc: a fast, free distributed C/C++ compiler    Luke Gorrie    2    03/26/2004  
  New department: parallel and distributed languages and paradigms    Ehud Lamm    1    03/26/2004  
  XC#    Ehud Lamm    2    03/25/2004  
  Static Type Inference (for Python) with Starkiller    Ehud Lamm    3    04/01/2004  
  Parallel-Concurrent Programming Dept.    Mark Evans    16    04/04/2004  
  Scripting with Free Software Rexx implementations    Chris Rathman    4    03/25/2004  
  Two impromptus--or how Python helped us design our kitchen    Ehud Lamm    3    03/24/2004  
  PyCon Papers    Ehud Lamm    2    03/24/2004  
  Game Theory and Constratint Programming    andrew cooke    1    03/22/2004  
  Why I Like PLT Scheme    Chris Rathman    20    03/26/2004  
  Cross-language future of open source desktops    Mark Evans    7    03/21/2004  
  Y derived    Ehud Lamm    2    03/18/2004  
  Bad Engineering Properties of Object-Oriented Languages    Isaac Gouy    1    03/17/2004  
  Post-Java Era : Back to Dynamicity    Isaac Gouy    1    03/17/2004  
  'Concepts, Techniques, and Models' is a real book    Peter Van Roy    2    03/17/2004  
  Min-Maxing languages    M.J. Stahl    6    03/21/2004  
  Learning FP Through MultiMedia    andrew cooke    3    03/16/2004  
  Gibbons: Metamorphisms and streaming algorithms    Ehud Lamm    1    03/16/2004  
  The Fault Tolerant Shell    Dan Shappir    6    03/17/2004  
  PL Points of View or Why we do that thing we do?    M.J. Stahl    2    03/15/2004  
  PL Points of View    M.J. Stahl    3    03/15/2004  
  Dressing up Self in JavaScript    M.J. Stahl    10    03/15/2004  
  Bruce Eckel on Java generics    Ehud Lamm    18    03/15/2004  
  History of Programming Languages Seminar (Felleisen)    Ehud Lamm    1    03/11/2004  
  Site Availability    Ehud Lamm    7    03/13/2004  
  Introduction to (Formal) Type Systems    Matt Estes    8    03/11/2004  
  J is free again (as in beer)    James Hague    2    03/10/2004  
  Video lectures on SICP    Chris Rathman    9    03/13/2004  
  C++ Expression Templates    Ehud Lamm    3    03/09/2004  
  C++ Template Metaprograms    Ehud Lamm    1    03/09/2004  
  New Department    Ehud Lamm    1    03/09/2004  
  Guaranteed Optimization for Domain-Specific Programming    Ehud Lamm    3    03/08/2004  
  xtc eXTensible C    Mark Evans    3    03/13/2004  
  Fun and Games with Multi-Language Development    Ehud Lamm    2    03/07/2004  
  PyCon 2004 Talks    Mark Evans    3    03/08/2004  
  Practical Aspects of Multi-Stage Programming    Bryn Keller    4    03/07/2004  
  Categories for Everybody    Andrei Formiga    6    03/09/2004  
  Book Review: Purely Functional Data Structures    Chris Rathman    17    03/07/2004  
  Every Language War Ever    Dan Shappir    21    03/09/2004  
  Metaprogramming, Toast and the Future of Development Tools    GordonWeakliem    2    03/05/2004  
  Vector    Ehud Lamm    1    03/05/2004  
  EclipseCon 2004 Presentations    Mark Evans    1    03/04/2004  
  Proof Theory of Martin-Lof Type Thoery - And Overview    Ehud Lamm    3    03/03/2004  
  Eidola Language    Mark Evans    7    03/02/2004  
  Berkeley Visionaries Prognosticate About the Future    Manuel Simoni    9    03/03/2004  
  The Vector    Keith Devens    1    02/29/2004  
  A Prolog Introduction for Hackers    andrew cooke    6    03/01/2004  
  Waldo on "Types"    Patrick Logan    15    03/02/2004  
  Polymorphic Variants    andrew cooke    4    02/29/2004  
  Open-source C compiler targets FPGAs    Patrick Logan    2    02/27/2004  
  2nd edition of Code Complete    Ehud Lamm    4    02/28/2004  
  MIT Theta Language and Thor Distributed OO Database    Mark Evans    4    02/27/2004  
  Monads in Scheme    andrew cooke    6    02/29/2004  
  CLR Hosting    Ehud Lamm    21    03/05/2004  
  Control operators    Jim Apple    2    02/23/2004  
  Python 'for' as Scheme 'let'    Ehud Lamm    3    02/23/2004  
  Finalization (CLR)    Ehud Lamm    10    02/21/2004  
  Nemerle    Patrick Logan    8    02/20/2004  
  hOp - Haskell Micro-Kernel    andrew cooke    2    02/19/2004  
  Microsoft Xen On Track to Debut as 'X Omega'    Mark Evans    13    02/20/2004  
  Basic Principles of Code Access Security    Ehud Lamm    1    02/19/2004  
  Environment Classifiers    Ehud Lamm    3    02/20/2004  
  Why's (Poignant) Guide to Ruby    Patrick Logan    4    02/19/2004  
  Interview with Intel's C++ Compiler Team    Mark Evans    8    02/19/2004  
  DDJ, March 2004, Programming Languages    Dan Shappir    4    02/18/2004  
  Using SimCity to teach recursion    Patrick Logan    2    02/17/2004  
  Elements of Basic Category Theory    Ehud Lamm    25    02/21/2004  
  Elements of Basic Category Theory    Andris Birkmanis    1    02/15/2004  
  Hancock - a TIA DSL?    andrew cooke    1    02/14/2004  
  The Next Move in Programming (Livschitz interview)    andrew cooke    41    02/21/2004  
  Martin Fowler on Domain Specific Languages    Patrick Logan    1    02/13/2004  
  Packrat Parsing    andrew cooke    4    02/14/2004  
  Generics in the CLR (MSDN)    Ehud Lamm    1    02/12/2004  
  History of Lua    andrew cooke    8    02/12/2004  
  Udell: Programs that write programs    Ehud Lamm    11    02/12/2004  
  Two more Hebrew tutorials    Ehud Lamm    2    02/11/2004  
  Collaborations+CrosscuttingConcerns    Andris Birkmanis    1    02/11/2004  
  Why is Ada Special?    John Fraser    8    02/11/2004  
  OCaml, an Introduction    Patrick Logan    10    02/12/2004  
  Software Fault Prevention by Language Choice    Ehud Lamm    13    02/12/2004  
  LtU FAQ Update    Mark Evans    27    02/10/2004  
  Embedding Lisp/Logic for Robotics    M.J. Stahl    5    02/11/2004  
  PLT Spy - Python in Scheme    Mark Evans    4    02/10/2004  
  Darcs    Bryn Keller    20    02/10/2004  
  Currying of Complex Interfaces    andrew cooke    10    02/09/2004  
  Building Collaboration into IDEs    Ehud Lamm    2    02/06/2004  
  Midland Graduate School 2004 / APPSEM Spring School 2004    Noel Welsh    2    02/06/2004  
  Designing a "Business Layer"    andrew cooke    7    02/06/2004  
  GraphPath    Ehud Lamm    11    02/08/2004  
  Scope, generators and list comprehensions (Python)    Ehud Lamm    5    02/07/2004  
  What's New in J2SE 1.5 Beta 1 Release    Ehud Lamm    1    02/05/2004  
  CLR Design Choices    Ehud Lamm    8    02/10/2004  
  Data as code    Mike Summers    11    02/03/2004  
  Sina Language and Composition Filters    Mark Evans    14    02/03/2004  
  Graphite DSL for Advanced Typography    Mark Evans    2    01/30/2004  
  Real-Time OO Conf. - ISORC 2004    Mark Evans    1    01/30/2004  
  New Scientist interview with Alexandra Aikhenvald    Ehud Lamm    31    02/03/2004  
  Drafting Legislation Using XML    Mark Evans    3    02/02/2004  
  Apology    Ehud Lamm    2    01/29/2004  
  Implicit params in Haskell    andrew cooke    9    01/29/2004  
  TCLP is a type checker for Prolog dialects    Patrick Logan    1    01/27/2004  
  Programming OOP Pattern Libraries    Eray Ozkural (exa))    9    01/26/2004  
  Anders Hejlsberg interview on Generics in C#    Ehud Lamm    4    01/26/2004  
  Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )    Ehud Lamm    58    01/26/2004  
  Playful, streamlike computation    Ehud Lamm    1    01/25/2004  
  Squeak: a Language for Communicating with Mice    Luke Gorrie    14    01/25/2004