| Topic | Originator | Msgs | Last Post |
| CSP book online in PDF | Luke Gorrie | 5 | 04/07/2003 |
| Unifying Tables, Objects and Documents | Dominic Cooney | 1 | 04/06/2003 |
| Putting Failure in Context: ADTs of Computations & Contexts | Ehud Lamm | 1 | 04/06/2003 |
| C# Programming Language Future Features | Dan Shappir | 5 | 04/08/2003 |
| A Framework for Programming Embedded Systems | Noel Welsh | 1 | 04/05/2003 |
| Insecure Macho Love | Patrick | 17 | 04/10/2003 |
| XML Shallow Parsing with Regular Expressions | Ehud Lamm | 1 | 04/05/2003 |
| Is the current crop of statically typed languages giving static typing a bad name? | Dominic Cooney | 8 | 04/09/2003 |
| Glowing review of Shared Source CLI Essentials | Ehud Lamm | 3 | 04/06/2003 |
| Continuations | andrew cooke | 4 | 04/04/2003 |
| open source visual programming environments? | Michael Vanier | 3 | 04/08/2003 |
| Toward an architecture for quantum programming | Michael Vanier | 4 | 04/06/2003 |
| J. McCarthy: Towards a Mathematical Science of Computation | Ehud Lamm | 19 | 04/08/2003 |
| Javascript with native XML support | Dan Shappir | 8 | 04/01/2003 |
| Javascript with native XML support | Chui Tey | 1 | 04/01/2003 |
| Copying and Comparing: Problems and Solutions | Ehud Lamm | 2 | 04/01/2003 |
| Yahoo! Store Switches Back to Lisp | Noel Welsh | 6 | 04/01/2003 |
| Silly Style Guides | Dan Shappir | 6 | 04/01/2003 |
| NewCode, a secure PL | Dan Shappir | 4 | 04/01/2003 |
| Whitespace | Dan Shappir | 2 | 04/01/2003 |
| Bulk types for functional programming | Isaac Gouy | 1 | 03/31/2003 |
| Escape Analysis for Java | Ehud Lamm | 2 | 04/01/2003 |
| Book and Course in Constraint Programming and Reasoning | Ehud Lamm | 5 | 04/01/2003 |
| Strategies for learning new languages | Ehud Lamm | 1 | 03/27/2003 |
| Java object models debated | Anton van Straaten | 10 | 03/28/2003 |
| Functional Images | Ehud Lamm | 7 | 03/26/2003 |
| An abstract view of programming languages | Ehud Lamm | 1 | 03/25/2003 |
| Lecture Notes on Algorithmic Information Theory | Ehud Lamm | 1 | 03/24/2003 |
| Environment, scripting, and behavior | Dan Shappir | 19 | 04/01/2003 |
| Representing Monads | Ehud Lamm | 6 | 03/27/2003 |
| Visual Basic .NET 2003 Language Changes | Dan Shappir | 5 | 03/23/2003 |
| 101 Perl Articles | Dan Shappir | 1 | 03/23/2003 |
| Hungarian Notation | Dan Shappir | 7 | 03/23/2003 |
| C++ Templates: The Complete Guide | Dan Shappir | 4 | 03/23/2003 |
| Bertrand Meyer: Review of Liberty's Programming C# | Ehud Lamm | 4 | 03/23/2003 |
| Texts on concurrency? | Tj | 4 | 03/23/2003 |
| Getting started with JML | Ehud Lamm | 4 | 03/21/2003 |
| XML Is Too Hard For Programmers | Dan Shappir | 34 | 03/23/2003 |
| Screamer: a Common Lisp library for non-determinism | Ehud Lamm | 7 | 03/20/2003 |
| Tarski's fixpoint theorem - history of use | Ehud Lamm | 1 | 03/18/2003 |
| 1995 SQL Reunion: People, Projects, and Politics | Ehud Lamm | 3 | 03/21/2003 |
| Crenshaw: Let's build a compiler | Ehud Lamm | 2 | 03/19/2003 |
| I/O in Three Programming Paradigms | Isaac Gouy | 1 | 03/17/2003 |
| An AWK to C++ Translator | Ehud Lamm | 3 | 03/17/2003 |
| Logic/Object Oriented Fusion | Brent Fulgham | 7 | 03/14/2003 |
| Mixing paradigms (Python) | Ehud Lamm | 13 | 03/14/2003 |
| Selective Memoization | Ehud Lamm | 1 | 03/14/2003 |
| Java and C++ and object-oriented paradigms | Tanya | 2 | 03/12/2003 |
| Functional and logic paradigms... | Tanya | 2 | 03/12/2003 |
| Is Inheritance a Pillar of OO? | Dan Shappir | 50 | 03/14/2003 |
| Small Time Languages | Brent Fulgham | 58 | 03/14/2003 |
| The SPARK Approach to Safety and Security - sample chapters | Ehud Lamm | 1 | 03/12/2003 |
| Tcl Core Team Interview | Ehud Lamm | 2 | 03/14/2003 |
| Larry Wall: Apocalypse 6 | Ehud Lamm | 16 | 03/14/2003 |
| Lisp powers Jak & Daxter at Naughty Dog | Noel Welsh | 8 | 03/12/2003 |
| Checked and unchecked exceptions in Java | Ehud Lamm | 12 | 03/13/2003 |
| Glee: A new array language | James Hague | 5 | 03/11/2003 |
| Defensive programming in erlang | Ehud Lamm | 6 | 03/14/2003 |
| Miranda | Mike Bibby | 8 | 03/10/2003 |
| Copying, Cloning, and Marshalling in .NET | Ehud Lamm | 3 | 03/10/2003 |
| When Is it OK To Invent New Tags? | Ehud Lamm | 4 | 03/08/2003 |
| Server problems | Ehud Lamm | 1 | 03/07/2003 |
| Exploring CSP | Patrick | 1 | 03/06/2003 |
| Domain Theory | Ehud Lamm | 1 | 03/06/2003 |
| Domains and Denotational Semantics: History, Open Problems | Ehud Lamm | 1 | 03/06/2003 |
| Byte Code Engineering Library | Ehud Lamm | 9 | 03/05/2003 |
| [Template Meta-|Generic] Programming | sean | 1 | 03/04/2003 |
| A Survey Of Rewriting Strategies | Ehud Lamm | 1 | 03/04/2003 |
| 6000 messages ago | Ehud Lamm | 1 | 03/04/2003 |
| CDuce | Ehud Lamm | 1 | 03/04/2003 |
| CDuce | Isaac Gouy | 1 | 03/03/2003 |
| Call-by-name is dual to call-by-value | Ken Shan | 3 | 03/03/2003 |
| Control Transfer in Operating System Kernels | Dejan Jelovic | 1 | 03/01/2003 |
| Confused about what Macros could be. | M.J. Stahl | 2 | 03/03/2003 |
| Linguistic side effects | Ken Shan | 5 | 03/03/2003 |
| Parallel Functional Programming: An Introduction | Ehud Lamm | 3 | 03/02/2003 |
| Notes on "Algebra of Programming" | Ehud Lamm | 1 | 02/27/2003 |
| Language Evaluations | Ehud Lamm | 1 | 02/27/2003 |
| Language Evaluations | Carson Reynolds | 1 | 02/27/2003 |
| Clean Now Available under LGPL License | Brent Fulgham | 1 | 02/26/2003 |
| Clean now available under LGPL license | Lennon Day-Reynolds | 1 | 02/26/2003 |
| The O'Ciao Approach to OO Logic Programming | Brent Fulgham | 2 | 02/28/2003 |
| Tools for the short hike | Dan Shappir | 25 | 02/26/2003 |
| non-null types in an OO language | Isaac Gouy | 1 | 02/25/2003 |
| Y Store now C++ | Ehud Lamm | 38 | 02/28/2003 |
| Jungerl: A jungle of Erlang code | Ehud Lamm | 3 | 02/26/2003 |
| Superx++ | Isaac Gouy | 2 | 02/25/2003 |
| "My C++ Experience/Disaster" | Ehud Lamm | 25 | 02/27/2003 |
| Python 2.3a2 was released on February 19, 2003 | Dan Shappir | 1 | 02/23/2003 |
| Checking polynomial time complexity with types | Ehud Lamm | 3 | 02/20/2003 |
| Trees with parent "pointers" | Ehud Lamm | 1 | 02/20/2003 |
| Finite State Machines in Forth | John Fraser | 6 | 02/23/2003 |
| Erlang: A Case Study of Technology Introduction | Ehud Lamm | 23 | 02/24/2003 |
| The essence of compiling exceptions | Ehud Lamm | 2 | 02/19/2003 |
| Open Implementations and Metaobject Protocols | Manuel Simoni | 12 | 02/19/2003 |
| Evolution of Indo-European Languages using ASP | Ehud Lamm | 2 | 02/17/2003 |
| Contrary Accumulator Generator | Isaac Gouy | 6 | 02/19/2003 |
| Answer set programming and plan generation | Ehud Lamm | 1 | 02/16/2003 |
| Learning Haskell portal | Ehud Lamm | 3 | 02/16/2003 |
| Language Features for Executable Patterns | Ehud Lamm | 2 | 02/19/2003 |
| 0th IOHCC - Obfuscated Haskell Contest | Shae Erisson | 2 | 02/14/2003 |
| Designing Reusable Classes (PDF) | Manuel Simoni | 10 | 02/18/2003 |
| Ward Cunningham: Testing, Types, and More | Patrick | 10 | 02/17/2003 |
| Paul Graham: Accumulator Generator | Manuel Simoni | 15 | 02/18/2003 |
| Apache vs. Yaws | Noel Welsh | 20 | 02/17/2003 |
| Wearing the hair shirt: a retrospective on Haskell | Ehud Lamm | 7 | 02/11/2003 |
| More on static vs. dynamic typing | Michael Vanier | 8 | 02/12/2003 |
| This here being a community weblog... | Ehud Lamm | 1 | 02/10/2003 |
| New Tunes site | Ehud Lamm | 1 | 02/10/2003 |
| Tunes.org and its review site updated. | water | 1 | 02/09/2003 |
| A Taxonomy of Program Transformation | Ehud Lamm | 1 | 02/08/2003 |
| Partial Evaluation (slides) | Ehud Lamm | 3 | 02/09/2003 |
| Jon Udell: Shipping the prototype | Ehud Lamm | 5 | 02/10/2003 |
| Why We Refactored JUnit | Ehud Lamm | 6 | 02/10/2003 |
| Matthias Felleisen:The Human Language Interface (ppt) | Ehud Lamm | 2 | 02/09/2003 |
| Ed Felten: Programs vs. Data | Ehud Lamm | 11 | 02/07/2003 |
| SXSLT presentation, types, and XQuery | Ehud Lamm | 1 | 02/05/2003 |
| Rebel with a Cause | Ehud Lamm | 6 | 02/06/2003 |
| Proof Theory mailing list | Ehud Lamm | 1 | 02/04/2003 |
| Bertrand Meyer: Proving Program Pointer Properties | Ehud Lamm | 2 | 02/04/2003 |
| S#.NET Tech Preview Release Information | Ehud Lamm | 1 | 01/29/2003 |
| What a URI identifies | Ehud Lamm | 4 | 01/31/2003 |
| Dynamic Languages on .NET | Chris Double | 2 | 01/28/2003 |
| Constraint Logic Programming: A Survey | Ehud Lamm | 1 | 01/28/2003 |
| Guido van Rossum: Programming at Python Speed | Ehud Lamm | 75 | 01/31/2003 |
| Oleg: Formalization of two Puzzles Involving Knowledge | Ehud Lamm | 1 | 01/27/2003 |
| MSDN: C# and Java - Comparing Programming Languages | Ehud Lamm | 6 | 01/31/2003 |
| Blue & BlueJ | Isaac Gouy | 1 | 01/25/2003 |
| Using Redundancies to Find Errors | Noel Welsh | 3 | 01/24/2003 |
| NetLogo | Ehud Lamm | 1 | 01/22/2003 |
| Inhouse training | Ehud Lamm | 6 | 01/24/2003 |
| ESSLLI 2003 - 18-29 August | Ehud Lamm | 2 | 01/22/2003 |
| How Java's Floating Point Hurts Everyone Everywhere | Noel Welsh | 8 | 01/31/2003 |
| Typed Logical Variables in Haskell | Ehud Lamm | 1 | 01/20/2003 |
| Programming languages will become OSs | Michael Vanier | 13 | 01/19/2003 |
| java vs. C# speed comparisons? | Michael Vanier | 11 | 01/19/2003 |
| A Custom Image Viewing Game for an Autistic Child | Ehud Lamm | 2 | 01/17/2003 |
| Rewriting as a practical optimisation technique | Ehud Lamm | 2 | 01/16/2003 |
| The Year in Scripting Languages | Ehud Lamm | 1 | 01/15/2003 |
| Esoteric computer languages | Michael Vanier | 3 | 01/15/2003 |
| AlgoVista | Dejan Jelovic | 1 | 01/14/2003 |
| Elle | Dan Moniz | 6 | 01/18/2003 |
| Java and Pointers | Ehud Lamm | 14 | 01/16/2003 |
| Introduction to Managed C++ | Ehud Lamm | 1 | 01/14/2003 |
| Source Code Formatter | Ehud Lamm | 1 | 01/13/2003 |
| Refill - A Generative Java Dialect | Bryn Keller | 2 | 01/13/2003 |
| Recursion Theory and Joy | Ehud Lamm | 7 | 01/15/2003 |
| The D programming language | Michael Vanier | 3 | 01/14/2003 |
| Apple uses XML but shuns SVG | Ehud Lamm | 1 | 01/12/2003 |
| A Language-Based Approach to Security | Ehud Lamm | 1 | 01/11/2003 |
| C.J. Date's new book | Ben Menasha | 1 | 01/09/2003 |
| Busy busy busy | Ehud Lamm | 1 | 01/09/2003 |
| The MLton Survey | Brent Fulgham | 1 | 01/08/2003 |
| Self Introduction | Toby Reyelts | 11 | 01/13/2003 |
| Alice: ML + OZ | Ehud Lamm | 1 | 01/07/2003 |
| Alice released ML+Oz+ | Isaac Gouy | 1 | 01/07/2003 |
| Abstract Iterable Pattern Matching for Java (JMatch) | Ehud Lamm | 3 | 01/09/2003 |
| Algebra of Logic Programming | Ehud Lamm | 2 | 01/06/2003 |
| DSL for blog aggregators | Ehud Lamm | 1 | 01/05/2003 |
| NESL: A Parallel Programming Language | Ehud Lamm | 2 | 01/05/2003 |
| Teaching computer programming as a unified discipline with a practical scientific foundation | Patrick | 3 | 01/03/2003 |
| Automated Techniques for Provably Safe Mobile Code | Ehud Lamm | 1 | 01/03/2003 |
| Vault released | Kimberley Burchett | 8 | 01/21/2003 |
| Cyclone 0.4 released | Michael Vanier | 1 | 01/01/2003 |
| Tony Hoare: Structured concurrent programming | Ehud Lamm | 1 | 01/01/2003 |
| Y in Practical Programs | Ehud Lamm | 8 | 01/05/2003 |
| Vortex and Cecil | Bryn Keller | 3 | 12/31/2002 |
| Stochastic Lambda Calculus | Ehud Lamm | 1 | 12/30/2002 |
| Project Timber | Bryn Keller | 1 | 12/30/2002 |
| Distel: Distributed Emacs Lisp (for Erlang) | Ehud Lamm | 10 | 01/05/2003 |
| Parallel Programming with Logic Languages | Ehud Lamm | 1 | 12/29/2002 |
| Auditors: An Extensible, Dynamic Code Verification Mechanism | Ehud Lamm | 3 | 01/02/2003 |
| Es: A shell with higher-order functions | Ehud Lamm | 3 | 12/28/2002 |
| Generic C# Sample Programs | Ehud Lamm | 3 | 12/28/2002 |
| O'Haskell | Bryn Keller | 3 | 12/30/2002 |
| A Lambda Calculus for Dynamic Binding | Bryn Keller | 1 | 12/27/2002 |
| Type inference in Icon | Ehud Lamm | 3 | 12/27/2002 |
| How to Solve the Santa Claus Problem | Ehud Lamm | 1 | 12/26/2002 |
| Embedding Sequence Analysis in FP | Ehud Lamm | 1 | 12/26/2002 |
| Merry Christmas | Ehud Lamm | 3 | 12/26/2002 |
| Model Driven Architecture + Code Generation | Ehud Lamm | 7 | 12/25/2002 |
| QuickCheck | Ehud Lamm | 1 | 12/24/2002 |
| Partial Application in C | DougRansom | 1 | 12/23/2002 |
| Designing and Using Combinators | Ehud Lamm | 2 | 12/23/2002 |
| linguablogs | Ehud Lamm | 2 | 12/22/2002 |
| The Fun of Programming | Ehud Lamm | 2 | 12/22/2002 |
| Stronger Typings for Separate Compilation of Java-like Langu | Ehud Lamm | 1 | 12/22/2002 |
| XML and run-time typing | Ehud Lamm | 2 | 12/21/2002 |
| AspectC# | Dejan Jelovic | 1 | 12/20/2002 |
| Traits — Composable Units of Behavior | Isaac Gouy | 2 | 12/21/2002 |
| Developing Reliable Software with Scripting Languages | Ehud Lamm | 55 | 12/25/2002 |
| Yampa: Functional Reactive Programming with Arrows | Bryn Keller | 1 | 12/18/2002 |
| Generalising Monads to Arrows | Bryn Keller | 6 | 12/20/2002 |
| Tackling the awkward squad | Ehud Lamm | 1 | 12/18/2002 |
| Typing Dynamic Typing | Ehud Lamm | 1 | 12/18/2002 |
| Typing Dynamic Typing | Frank Atanassow | 1 | 12/18/2002 |
| Tutorial Notes on Partial Evaluation | Ehud Lamm | 1 | 12/18/2002 |
| vmgen: A Generator of Efficient Virtual Machine Interpreters | Bryn Keller | 4 | 12/18/2002 |
| Editors? | Ehud Lamm | 1 | 12/17/2002 |
| Microsoft 'X#' On Tap? | Ehud Lamm | 1 | 12/17/2002 |
| Barrier Methods for Garbage Collection | Ehud Lamm | 1 | 12/17/2002 |
| Findler's Contract Flaw Analysis and Eiffel | Brent Fulgham | 6 | 12/17/2002 |
| Guide to Python introspection | Ehud Lamm | 11 | 12/17/2002 |
| On-the-fly garbage collection: An exercise in cooperation | Ehud Lamm | 1 | 12/15/2002 |
| The language LUA | Biep | 4 | 12/16/2002 |
| Self on Windows | Chris Double | 1 | 12/13/2002 |
| Developing Interactive Web Programs (Scheme Servlets) | Ehud Lamm | 9 | 12/17/2002 |
| Generics for C# and .Net CLR | Isaac Gouy | 3 | 12/12/2002 |
| Obtaining KMP String Matcher by Partial Evaluation | Ehud Lamm | 4 | 12/26/2002 |
| The Java Syntactic Extender | Ehud Lamm | 1 | 12/11/2002 |
| Squeak projects (and project ideas) | Ehud Lamm | 1 | 12/11/2002 |
| Misc Links | Ehud Lamm | 1 | 12/11/2002 |
| Expresso, environment for ISO 10303-1 | bryan rasmussen | 1 | 12/10/2002 |
| From Direct Style to Monadic Style through CPS | Ehud Lamm | 1 | 12/09/2002 |
| The Needle Programming Language | Ehud Lamm | 18 | 12/13/2002 |
| De-biforestation | Ehud Lamm | 4 | 12/09/2002 |
| SmartEiffel: implementation techniques | Ehud Lamm | 1 | 12/07/2002 |
| SmartEiffel The GNU Eiffel compiler - 1.0 release | Chad Slaughter | 1 | 12/07/2002 |
| ACE visual programming language | Isaac Gouy | 6 | 12/09/2002 |
| Search and Imperative Programming | Ehud Lamm | 3 | 12/08/2002 |
| New proposed features for Java 1.5 | Ehud Lamm | 5 | 12/07/2002 |
| New features proposed for Java 1.5 by Sun | Adewale Oshineye | 32 | 12/11/2002 |
| Just wondering (strings) | Ehud Lamm | 10 | 12/06/2002 |
| Usability Issues in the Design of Novice Programming Systems | Ehud Lamm | 1 | 12/03/2002 |
| Comparisons between languages for performance | Isaac Gouy | 2 | 12/07/2002 |
| Proposals for and Experiments with an Erlang Bit Syntax | Luke Gorrie | 1 | 12/01/2002 |
| I feel like an idiot, but... | Ehud Lamm | 3 | 12/02/2002 |
| User-defined functions in Excel | Ehud Lamm | 17 | 12/09/2002 |
| APL Crosswords | Ehud Lamm | 6 | 12/04/2002 |
| The Architecture of a Debugger for Lazy Functional Languages | Ehud Lamm | 1 | 11/30/2002 |
| APL crosswords | Darius Bacon | 1 | 11/30/2002 |
| First Class Patterns | Ehud Lamm | 3 | 11/30/2002 |
| C++ vs. Lisp | Dejan Jelovic | 11 | 12/02/2002 |
| The "Plankalkul" of Konrad Zuse | Dejan Jelovic | 2 | 11/27/2002 |
| A Type Error Slicer for MiniML | Ehud Lamm | 1 | 11/27/2002 |
| ll1-discuss on macros | Ehud Lamm | 19 | 12/05/2002 |
| A Shallow Introduction to the K Programming Language | Dejan Jelovic | 2 | 11/26/2002 |
| Impressions of the International Lisp conference ILC2002 | Ehud Lamm | 10 | 02/12/2003 |
| Brook: a Streaming Lanugage from Stanford | Michael McCracken | 1 | 11/25/2002 |
| Data Parallel Algorithms | Luke Gorrie | 1 | 11/25/2002 |
| Why LtU was so quiet | Ehud Lamm | 1 | 11/24/2002 |
| Grail: A Zero'th Programming Language | Isaac Gouy | 1 | 11/21/2002 |
| Psychology in Language Design | Isaac Gouy | 3 | 11/20/2002 |
| Composition Languages | Ehud Lamm | 13 | 11/20/2002 |
| What's Wrong With RDF? | Ehud Lamm | 17 | 11/20/2002 |
| The point of (any) semantics | Ehud Lamm | 3 | 11/19/2002 |
| Composition Languages | Isaac Gouy | 1 | 11/18/2002 |
| Introducing C#, Present and Future | Ehud Lamm | 8 | 11/21/2002 |
| Towards a Quantum Programming Language | Ehud Lamm | 1 | 11/16/2002 |
| Objects and classes versus modules | Ehud Lamm | 3 | 11/18/2002 |