| Topic | Originator | Msgs | Last Post |
| Best PL tutorial/intro? | Frank Atanassow | 8 | 09/15/2003 |
| Whither Self | Ehud Lamm | 23 | 09/21/2003 |
| Future of Haskell discussion @ Haskell Workshop | Ehud Lamm | 3 | 09/26/2003 |
| Inherited Traits - Classes Like Never Before | Mark Evans | 14 | 09/23/2003 |
| Python's Beachhead in OpenOffice: PyUNO | Mark Evans | 2 | 09/14/2003 |
| Reversible Garbage Collection (and more) | David B. Wildgoose | 11 | 09/13/2003 |
| Metaclass programming in Python, Part 2 | Ehud Lamm | 10 | 09/16/2003 |
| Functional Pearl: A fresh look at binary search trees | Ehud Lamm | 1 | 09/10/2003 |
| Declarative Meta-programming | Mark Evans | 1 | 09/09/2003 |
| Inside every API is a programming language struggling to get out | Dejan Jelovic | 15 | 09/13/2003 |
| Trivia: Programming Language Naming Patterns | Ehud Lamm | 21 | 09/10/2003 |
| DP-COOL 2003 Proceedings | Ehud Lamm | 7 | 09/13/2003 |
| DP-COOL 2003 Proceedings | Mark Evans | 1 | 09/07/2003 |
| Implementing Business Rules in the BC4J Framework | Ehud Lamm | 24 | 09/09/2003 |
| Scheme in the Real World: A Case Study | Patrick Logan | 4 | 09/08/2003 |
| Looking for B. Moura dissertation | greg travis | 3 | 09/04/2003 |
| No "theory of types" in legal systems | Andris Birkmanis | 5 | 09/05/2003 |
| Why don't more people use Prolog? | Patrick Logan | 22 | 09/18/2003 |
| Felix: The power language for C++ programmers | Manuel Simoni | 14 | 09/04/2003 |
| Mobile Applications Need Scripting Too! | Patrick Logan | 7 | 09/02/2003 |
| Kata Two: Iteration, Recursion and Continuations | Chris Rathman | 1 | 08/31/2003 |
| Using Ruby | Chris Rathman | 19 | 09/02/2003 |
| Bare metal Smalltalk | Isaac Gouy | 2 | 08/31/2003 |
| The Little Haskellist (once again) | Ehud Lamm | 11 | 09/01/2003 |
| XQuery 1.0 and XPath 2.0 Formal Semantics | Ehud Lamm | 10 | 08/31/2003 |
| Let C = Q in OCL | Andris Birkmanis | 1 | 08/27/2003 |
| Using an Abstracted Interpreter to Understand Abstract Interpretation | Ehud Lamm | 19 | 09/01/2003 |
| Lisp books mini reviews | Ehud Lamm | 2 | 08/27/2003 |
| Translating human language to database query language | Manuel Simoni | 12 | 08/29/2003 |
| Dynamic languages and virtual machines | Ehud Lamm | 33 | 09/01/2003 |
| Set-Theoretic and Other Elementary Models of the LC | Ehud Lamm | 1 | 08/26/2003 |
| Perl 6 Essentials / Chapter 1 / Project Overview | Ehud Lamm | 3 | 08/25/2003 |
| Maybe Erlang is OO after all? | Ehud Lamm | 6 | 08/27/2003 |
| Guest Bloggers on LtU? | Ehud Lamm | 9 | 08/25/2003 |
| Patterns in Datatype-Generic Programming | Ehud Lamm | 7 | 08/25/2003 |
| Memoization in Java Using Dynamic Proxy Classes | Chris Rathman | 5 | 08/22/2003 |
| C language history | Isaac Gouy | 1 | 08/19/2003 |
| The Trouble with Checked Exceptions | Chris Rathman | 50 | 08/29/2003 |
| Closures and mutability | Ehud Lamm | 10 | 08/23/2003 |
| Oracle PL/SQL Best Practices | Chris Rathman | 3 | 08/21/2003 |
| Quiz: Language inventor or serial killer? | Ehud Lamm | 5 | 08/15/2003 |
| Codata and Comonads in Haskell | Ehud Lamm | 3 | 08/19/2003 |
| N3 -- a notation for writing RDF | Kimberley Burchett | 1 | 08/12/2003 |
| All About Monads | Ehud Lamm | 14 | 08/19/2003 |
| Udell: Symbol grounding, XML, and RDF | Ehud Lamm | 11 | 08/14/2003 |
| Calculating Functional Programs: maximum segment sum | Ehud Lamm | 16 | 08/17/2003 |
| The Design of Parallel Programming Languages | Ehud Lamm | 12 | 08/12/2003 |
| Proof methods for corecursive programs | Ehud Lamm | 1 | 08/10/2003 |
| Patterns of Software | Manuel Simoni | 14 | 08/18/2003 |
| Seven Paradoxes of Object-Oriented Programming Languages | Patrick Logan | 2 | 08/08/2003 |
| Region-Based Model Abstraction | Ehud Lamm | 5 | 08/07/2003 |
| How to make a FPL successful | Daniel Yokomiso | 32 | 08/11/2003 |
| amb and Quantum Computation in Scheme | Ehud Lamm | 1 | 08/06/2003 |
| [meta] RSS feed questions... | Matt Hellige | 8 | 08/08/2003 |
| Udell: Test before you leap into development | Ehud Lamm | 38 | 08/11/2003 |
| JDO Architectures | Ehud Lamm | 59 | 08/07/2003 |
| Term rewriting system for code generation, and its termination analysis | Ehud Lamm | 1 | 08/04/2003 |
| Calling LtU editors | Ehud Lamm | 10 | 08/05/2003 |
| JavaScript with Continuations and its use in Apache Cocoon | Dan Shappir | 1 | 08/03/2003 |
| JavaScript with Continuations and its use in Apache Cocoon | Robert Sayre | 9 | 08/06/2003 |
| Demo of VB "Whidbey" | Ehud Lamm | 15 | 08/07/2003 |
| Theorems for free! | Ehud Lamm | 8 | 08/04/2003 |
| The Pragmatic Language | Vladimir Ivanovic | 7 | 08/04/2003 |
| Exegesis 6 | Ehud Lamm | 27 | 08/03/2003 |
| Happy Birthday LtU | Chris Rathman | 12 | 07/30/2003 |
| Gregor Kiczales on Aspect Oriented Programming | Chris Rathman | 6 | 07/30/2003 |
| XML and Data Binding | Ehud Lamm | 2 | 07/30/2003 |
| The Little MLer | Chris Rathman | 36 | 08/04/2003 |
| A Type System Equivalent to Model Checking | Ehud Lamm | 1 | 07/26/2003 |
| What Would You Ask Anders Hejlsberg? | Isaac Gouy | 3 | 08/03/2003 |
| Java Is a Language for the Masses | Ehud Lamm | 46 | 07/28/2003 |
| USENIX2003: A Logic File System | Ehud Lamm | 4 | 08/01/2003 |
| Microsoft Forges Ahead With New Compiler Technology | Ehud Lamm | 6 | 07/25/2003 |
| Message Object Oriented vs Function Object Oriented | Chris Rathman | 2 | 07/23/2003 |
| Change user info? | Sam Gentile | 3 | 07/22/2003 |
| Are delegates the moniker of .NET? | Dan Shappir | 25 | 07/23/2003 |
| Types and Programming Languages: TNG | Chris Rathman | 5 | 07/21/2003 |
| Windows security flaw - buffer-overflow | Dan Shappir | 18 | 07/22/2003 |
| Datatype Library Language (XML) | Ehud Lamm | 1 | 07/19/2003 |
| Code Reading: The Open Source Perspective | Ehud Lamm | 2 | 07/19/2003 |
| Adaptation in HOT Languages | Chris Rathman | 7 | 07/19/2003 |
| The Power and Philosophy of Ruby | Chris Rathman | 42 | 07/20/2003 |
| Godiva - a Very High Level Dialect of Java | Bryn Keller | 9 | 07/18/2003 |
| Reconciling OO and Haskell-Style Overloading | Chris Rathman | 1 | 07/16/2003 |
| Typeless Language Pattern Matching | Isaac Gouy | 1 | 07/16/2003 |
| Invocations as objects | Andris Birkmanis | 7 | 07/16/2003 |
| Are Higher-Order Type Systems Too Hard? | Marc Hamann | 11 | 07/16/2003 |
| Programming Linguistics | Marc Hamann | 3 | 07/16/2003 |
| Category Theory for Beginners* (slides) | Isaac Gouy | 14 | 07/16/2003 |
| Object-Oriented Style | Ehud Lamm | 2 | 07/14/2003 |
| Neal Stephenson's USENIX keynote | Ehud Lamm | 19 | 07/15/2003 |
| Lost in Space | Isaac Gouy | 1 | 07/13/2003 |
| The PILER Decompilation System | Ehud Lamm | 2 | 07/13/2003 |
| SQLX | Ehud Lamm | 3 | 07/12/2003 |
| Jef Raskin: The Woes of IDEs | Ehud Lamm | 59 | 07/16/2003 |
| Partial Types in C# | Chris Rathman | 8 | 07/15/2003 |
| Web Services Federation Language (WS-Federation) | Ehud Lamm | 6 | 07/11/2003 |
| JOVIAL References | Chris Rathman | 2 | 07/07/2003 |
| Practical type inference for arbitrary-rank types | andrew cooke | 1 | 07/07/2003 |
| Another busy week | Ehud Lamm | 1 | 07/06/2003 |
| Linguistic Universals and Particulars | Ehud Lamm | 21 | 07/07/2003 |
| CDuce: a programming language adapted to the manipulation of XML documents | Ken Shan | 2 | 07/04/2003 |
| Mug Shots | Chris Rathman | 6 | 07/07/2003 |
| Flow Caml | Ehud Lamm | 1 | 07/02/2003 |
| CLAIRE: Combining Sets, Search and Rules to Better Express Algorithms | Isaac Gouy | 3 | 07/02/2003 |
| A Pointless Derivation of Radixsort | Ehud Lamm | 1 | 07/01/2003 |
| D4 - A Relational Query Language | Dominic Fox | 2 | 06/30/2003 |
| FAD - A Functional Analysis and Design Methodology | andrew cooke | 4 | 07/01/2003 |
| Using, Understanding, and Unraveling The OCaml Language | Manuel Simoni | 3 | 06/30/2003 |
| Compilation of Functional Programming Languages using GCC -- Tail Calls | Anton van Straaten | 1 | 06/29/2003 |
| Why use RDF instead of just XML | Ehud Lamm | 2 | 07/01/2003 |
| RSS vs. Echo | Dan Shappir | 13 | 06/30/2003 |
| Constructive Computation Theory. Course notes on lambda calculus | Ehud Lamm | 2 | 06/29/2003 |
| Perl 6 Design Philosophy | Ehud Lamm | 9 | 07/03/2003 |
| Vesta System Description Language | Isaac Gouy | 1 | 06/27/2003 |
| OO Weed Languages | andrew cooke | 1 | 06/26/2003 |
| OO Weed Languages | Isaac Gouy | 10 | 07/02/2003 |
| Typetool | andrew cooke | 1 | 06/25/2003 |
| Charming Python: Using combinatorial functions in the itertools module | Dan Shappir | 38 | 06/27/2003 |
| ATC in Ada and in Real Time Java (RTSJ) | Ehud Lamm | 5 | 06/26/2003 |
| CAESAR project | Ehud Lamm | 3 | 06/27/2003 |
| Logic for Computer Science: Foundations of Automatic Theorem Proving | Manuel Simoni | 3 | 06/20/2003 |
| Point Free Style | andrew cooke | 13 | 06/22/2003 |
| hello | inkedmn | 1 | 06/19/2003 |
| Fun project | andrew cooke | 1 | 06/18/2003 |
| ICFP 2003 | andrew cooke | 8 | 07/02/2003 |
| Concepts, Techniques and Models of Computer Programming | Dan Shappir | 30 | 07/02/2003 |
| Croquet: A Collaboration Architecture | Manuel Simoni | 6 | 06/18/2003 |
| Modern Static Typing: Less Code, Better Code | Bryn Keller | 12 | 06/23/2003 |
| The Little Coder's Predicament | Dan Shappir | 10 | 06/16/2003 |
| James Gosling on Jackpot | Dejan Jelovic | 4 | 06/21/2003 |
| Sun, Zend push scripting for Java | Ehud Lamm | 13 | 06/16/2003 |
| With | Dan Shappir | 15 | 06/15/2003 |
| Hoare: The Emperor's Old Clothes | Ehud Lamm | 1 | 06/12/2003 |
| C.A.R. Hoare 1980 ACM Turing Award Lecture | Isaac Gouy | 3 | 06/15/2003 |
| Next week | Ehud Lamm | 5 | 06/14/2003 |
| Infoworld: XML querying proposed as Java standard | Ehud Lamm | 2 | 06/13/2003 |
| A syntactic approach to type soundness | Ehud Lamm | 1 | 06/11/2003 |
| Macros as Multi-Stage Computations | Ehud Lamm | 1 | 06/10/2003 |
| Sun urges Java research with new license | andrew cooke | 1 | 06/10/2003 |
| Extensible Syntax with Lexical Scoping | Ehud Lamm | 1 | 06/09/2003 |
| Efficient coroutine generation of constrained Gray sequences | Ehud Lamm | 6 | 06/09/2003 |
| Principles for Computer System Design | Manuel Simoni | 1 | 06/08/2003 |
| Towards a new model of abstraction in the engineering of software | Manuel Simoni | 3 | 06/08/2003 |
| a new programming language called Lingo | Dan Shappir | 7 | 06/10/2003 |
| MOP/AOP Talks (Kiczales) | Manuel Simoni | 8 | 06/09/2003 |
| TPK Algorithm in Different Programming Languages | Ehud Lamm | 43 | 06/15/2003 |
| A declarative debugger for Haskell 98 | andrew cooke | 2 | 06/08/2003 |
| Software Complexity | David B. Wildgoose | 1 | 06/05/2003 |
| Ars Digita ( http://aduni.org ) Study Group | Glen | 5 | 06/09/2003 |
| Continuations as UI elements | Kimberley Burchett | 3 | 06/05/2003 |
| Front Page | andrew cooke | 3 | 06/04/2003 |
| Unification on Stateless Objects | andrew cooke | 2 | 06/04/2003 |
| Type-safe Covariance in Eiffel | Kory Markevich | 3 | 06/03/2003 |
| Fugue: A Protocol Checker for the dotNET CLR | Ken Hirsch | 1 | 06/03/2003 |
| Adenine: A Metadata Programming Language | Manuel Simoni | 2 | 06/04/2003 |
| Shrink-wrap developers: what programming language? | Dan Shappir | 20 | 06/03/2003 |
| How-To Guide for Descriptors | andrew cooke | 2 | 06/03/2003 |
| Python Success Stories | Isaac Gouy | 1 | 06/01/2003 |
| Scripting Languages For Java | Ehud Lamm | 7 | 06/02/2003 |
| Preview of Java 1.5 | Dan Shappir | 3 | 06/01/2003 |
| OO late-binding semantics | Isaac Gouy | 1 | 05/31/2003 |
| David Mertz: Multimethods | Ehud Lamm | 6 | 06/01/2003 |
| Site speed | Ehud Lamm | 3 | 05/31/2003 |
| Evolving a programming language | Toby Reyelts | 15 | 06/04/2003 |
| Mixin Modules and Computational Effects | Ehud Lamm | 1 | 05/30/2003 |
| What's Wrong with XML APIs | Ehud Lamm | 8 | 06/02/2003 |
| Variance in Java Generics | Ehud Lamm | 3 | 05/30/2003 |
| Variance in Java Generics | Toby Reyelts | 3 | 05/30/2003 |
| Erlang is Icky | Kimberley Burchett | 11 | 05/28/2003 |
| Designing and Implementing Combinator Languages | Neel Krishnaswami | 1 | 05/28/2003 |
| CLR Memory Model | Ehud Lamm | 8 | 06/02/2003 |
| EXSLT: Enhancing the Power of XSLT | Ehud Lamm | 1 | 05/28/2003 |
| The Fun of Programming | andrew cooke | 3 | 05/27/2003 |
| What's wrong with C++ templates? | Kory Markevich | 10 | 05/28/2003 |
| Seven (give or take) Smalltalk Implementations | Ehud Lamm | 3 | 05/27/2003 |
| Naked Objects | andrew cooke | 10 | 05/27/2003 |
| Tiny C Compiler - with dynamic code gen | Patrick | 4 | 05/26/2003 |
| Coroutines in C | Martin DeMello | 7 | 05/26/2003 |
| Microsoft Includes C# and ML Hybrid in .net | Boots | 1 | 05/23/2003 |
| Article on F# | andrew cooke | 7 | 05/26/2003 |
| Site speed | andrew cooke | 12 | 05/25/2003 |
| Description Logics in Data Management | andrew cooke | 5 | 05/24/2003 |
| Identity crisis | Ehud Lamm | 15 | 05/25/2003 |
| High Level Language = Virtual Machine | Marius Amado Alves | 4 | 05/22/2003 |
| Tim Bray: The History of RDF | Ehud Lamm | 13 | 05/25/2003 |
| Destructors, Finalizers, and Synchronization | Ehud Lamm | 2 | 05/21/2003 |
| Module Concept For C++ | Ehud Lamm | 5 | 05/20/2003 |
| The Tragedy of the API | Dan Shappir | 16 | 05/20/2003 |
| BCPL history, design, user guide | Isaac Gouy | 3 | 05/18/2003 |
| A Foundation for Embedded Languages | Ehud Lamm | 1 | 05/18/2003 |
| Tools for rules | Ehud Lamm | 6 | 05/18/2003 |
| Language Once Was Key-Now It's Design | Dan Shappir | 17 | 05/16/2003 |
| Using Memory Errors to Attack a Virtual Machine | Ehud Lamm | 6 | 05/15/2003 |
| Dynamic Languages on CLR | Dejan Jelovic | 2 | 05/14/2003 |
| What I Hate About Your Programming Language | Dan Shappir | 14 | 05/16/2003 |
| Mother Tongues of Computer Languages | Dejan Jelovic | 10 | 05/17/2003 |
| What I Hate About Your Programming Language | Matthew Markland | 1 | 05/13/2003 |
| Microsoft DirectX High Level Shading Language | Dan Shappir | 5 | 05/13/2003 |
| Language Myths Again | Isaac Gouy | 23 | 05/18/2003 |
| Weblog on CLR Implementation | Dejan Jelovic | 7 | 05/12/2003 |
| Don Box on C# generics vs. C++ generics | Dan Shappir | 18 | 05/14/2003 |
| Devils and Angels, via Monads | Ehud Lamm | 2 | 05/12/2003 |
| A Hacker's Assistant | Ehud Lamm | 2 | 05/11/2003 |
| Joshua Bloch interview on new features in Java 1.5 | Ehud Lamm | 18 | 05/15/2003 |
| Java 1.5 New Features | Kimberley Burchett | 1 | 05/10/2003 |
| Tim Bray: Language fermentation | Ehud Lamm | 8 | 05/11/2003 |
| A Language for Bi-Directional Tree Transformations | Ehud Lamm | 1 | 05/08/2003 |
| The New C++: Trip Report, October 2002 | Dan Shappir | 48 | 05/08/2003 |
| A bit about LtU being a community weblog | Ehud Lamm | 1 | 05/05/2003 |
| XeLda: Enforcing Dimensional Consistency in Spreadsheets | Ehud Lamm | 2 | 05/04/2003 |
| Yes, Bob, I too want to work in a dynamically typed language | Dan Shappir | 14 | 05/08/2003 |
| Earliest Uses of Various Mathematical Symbols | Ehud Lamm | 4 | 05/05/2003 |
| Functional Programming with Apomorphisms / Corecursion | Ehud Lamm | 1 | 05/01/2003 |
| A structural approach to reversible computation | Ehud Lamm | 4 | 05/02/2003 |
| FindBugs - A Bug Pattern Detector for Java | Dan Shappir | 7 | 05/02/2003 |
| 80x86 ASM for ASP.NET | Dan Shappir | 1 | 04/30/2003 |
| Popular Math | Ehud Lamm | 3 | 05/09/2003 |
| #Smalltalk - another .Net language | Isaac Gouy | 5 | 05/07/2003 |
| Unifying Tables, Objects and Documents | Dan Shappir | 18 | 05/02/2003 |
| David McAllester's "Ontic" Language | Tim Sweeney | 2 | 04/29/2003 |
| JXXX Compiler Service | Dan Shappir | 3 | 04/28/2003 |
| Schemix - A Scheme In The Linux Kernel | Dan Shappir | 3 | 04/28/2003 |
| How to make a fast curry: push/enter vs eval/apply | Ehud Lamm | 1 | 04/27/2003 |
| Alan Kay's talk at O'Reilly Emerging Technology Conference 2003 | Ehud Lamm | 7 | 05/06/2003 |
| Recovery Oriented Computing | andrew cooke | 1 | 04/24/2003 |
| Scapy - network DSL in Python | andrew cooke | 3 | 04/22/2003 |
| Python Metaclass Programming | Ehud Lamm | 28 | 05/02/2003 |
| Lojban | Bryn Keller | 17 | 04/24/2003 |
| Haskell Wiki | Ehud Lamm | 1 | 04/21/2003 |
| Dissecting Unlambda Birds | Chris Rathman | 4 | 04/22/2003 |
| ACCU Spring Conference | Kimberley Burchett | 2 | 04/16/2003 |
| Selectors Make Analysis of case-lambda Too Hard | Ehud Lamm | 3 | 04/15/2003 |
| Spam | Ehud Lamm | 4 | 04/16/2003 |
| More weblogs to read | Kimberley Burchett | 3 | 04/18/2003 |
| PyCon 2003 Papers | andrew cooke | 8 | 04/14/2003 |
| Several interesting books for sale | Ehud Lamm | 1 | 04/13/2003 |
| Programming language booksale | Darius Bacon | 7 | 04/14/2003 |
| Selling a language | Ehud Lamm | 3 | 04/14/2003 |
| The Next 700 Programming Languages | Chris Rathman | 3 | 04/14/2003 |
| Paul Graham: The Hundred Year Language. | Ehud Lamm | 1 | 04/11/2003 |
| The One Hundred Year Language | Toby Reyelts | 1 | 04/11/2003 |
| LtU indexes | Ehud Lamm | 1 | 04/10/2003 |
| Lambda The Ultimate: Topic Index | Chris Rathman | 4 | 04/11/2003 |
| The New Jersey Programming Languages and Systems Seminar Series | Vladimir Ivanovic | 1 | 04/09/2003 |
| Handling Failures In Erlang | Patrick | 1 | 04/09/2003 |
| Hundred Year Language | Patrick | 2 | 04/10/2003 |
| Computer Languages for Secondary Education | Ehud Lamm | 3 | 04/10/2003 |
| DPROG | andrew cooke | 11 | 04/09/2003 |
| Implicit Parameters: Dynamic Scoping with Static Types | Ehud Lamm | 1 | 04/07/2003 |