| Topic | Originator | Msgs | Last Post |
| Testing the C# compiler | Ehud Lamm | 1 | 01/23/2004 |
| Udell on licensing and lock-in | Ehud Lamm | 9 | 01/24/2004 |
| Why Events Are a Bad Idea | Luke Gorrie | 22 | 01/26/2004 |
| "Why Events Are A Bad Idea" | Matt Brubeck | 3 | 01/23/2004 |
| Mathematics of Program Construction Conf. 2004 | Mark Evans | 1 | 01/21/2004 |
| Micro Autonomous Underwater Vehicles and Smalltalk | Patrick Logan | 12 | 01/24/2004 |
| The Art of Unix Programming | Luke Gorrie | 12 | 01/23/2004 |
| Algorithmic complexity of evaluation: lazy, eager, pure and impure | Patrick Logan | 3 | 01/21/2004 |
| Great links | Ehud Lamm | 1 | 01/21/2004 |
| FreshML - abstract syntax manipulation | Jim Apple | 1 | 01/20/2004 |
| Algorithmic complexity of evaluation: lazy, eager, pure and impure | Jim Apple | 3 | 01/21/2004 |
| Java Syntactic Extender | M.J. Stahl | 1 | 01/19/2004 |
| Reflection-Oriented Programming | M.J. Stahl | 4 | 01/19/2004 |
| What is a Purely Functional Language? | Ehud Lamm | 1 | 01/19/2004 |
| Concept programming | Christophe de Dinechin | 54 | 01/26/2004 |
| Processing: A language for visual arts | Dave Bauer | 3 | 01/20/2004 |
| Macros for C++? | Jim Apple | 2 | 01/18/2004 |
| The Lambda ethos | Ehud Lamm | 29 | 01/25/2004 |
| Book on game scripting interpreters | Darius Bacon | 2 | 01/17/2004 |
| The Language Construction Kit | Serguey Zefirov | 1 | 01/17/2004 |
| teaching programming; any research or results? | Robert Holwerda | 9 | 01/16/2004 |
| Klaus Wirth & Typeless Euler | Isaac Gouy | 1 | 01/16/2004 |
| DSL for financial contracts | Ehud Lamm | 15 | 01/17/2004 |
| DSL for financial contracts | Olivier Lefevre | 2 | 01/16/2004 |
| Brian Harvey books available online | Ehud Lamm | 2 | 01/15/2004 |
| Brian Harvey books available online | Matt Hellige | 1 | 01/15/2004 |
| Lisp Machines | Patrick Logan | 3 | 01/14/2004 |
| Eric Gunnerson on language design at Microsoft (well, sort of) | Ehud Lamm | 10 | 01/16/2004 |
| Combining Generics, Pre-Compilation and Sharing Between Software-Based Processes | Ehud Lamm | 3 | 01/15/2004 |
| CW'04 Advance Program | Ehud Lamm | 1 | 01/13/2004 |
| FxCop & DSLs | Ehud Lamm | 3 | 01/12/2004 |
| categories study group | Ehud Lamm | 1 | 01/11/2004 |
| Learn Prolog Now! | Ehud Lamm | 1 | 01/11/2004 |
| Thoughts From The Head | Erik Meijer | 1 | 01/09/2004 |
| MFA in Software: trial run | Luke Gorrie | 15 | 01/14/2004 |
| Python versus Parrot challenge, the Pie-thon | Patrick Logan | 1 | 01/08/2004 |
| The Behavior of Behavior | Patrick Logan | 8 | 01/08/2004 |
| DSL Implementation in MetaOCaml, Template Haskell, and C++ | Ehud Lamm | 5 | 01/08/2004 |
| Erik Meijer on LtU | Ehud Lamm | 3 | 01/08/2004 |
| ML-like Inference for Classifiers | Ehud Lamm | 1 | 01/07/2004 |
| Why Objects Have Failed | Christian Lindig | 17 | 01/07/2004 |
| Model-Based Integration of Embedded Software | Mark Evans | 4 | 01/06/2004 |
| Free Smalltalk Books | Patrick Logan | 2 | 01/06/2004 |
| Continuations: Haystack and Python | Patrick Logan | 2 | 01/07/2004 |
| Canonware Onyx | Patrick Logan | 5 | 01/07/2004 |
| Continuations (and call/cc) in Haskell | Ehud Lamm | 5 | 01/05/2004 |
| ONLamp: What I Hate About Your Programming Language | Ehud Lamm | 2 | 01/01/2004 |
| Happy New Year! | Ehud Lamm | 1 | 12/31/2003 |
| Polyglot: extensible compiler framework | Ehud Lamm | 1 | 12/31/2003 |
| Perl as a community DSL | Adam Keys | 5 | 01/04/2004 |
| Aspects, Quantification & Obliviousness | Isaac Gouy | 2 | 12/30/2003 |
| XMLSpy XSLT designer & end users | Ehud Lamm | 5 | 01/03/2004 |
| Lython | Patrick Logan | 3 | 01/03/2004 |
| Hierarchy of Needs (adapted to Design) | Isaac Gouy | 1 | 12/29/2003 |
| Bach & Software Composition | Isaac Gouy | 5 | 12/31/2003 |
| PEP 323: Copyable Iterators | Ehud Lamm | 2 | 01/04/2004 |
| Presentation slides for secure C Library | Ehud Lamm | 1 | 12/28/2003 |
| python - spidermonkey | Ehud Lamm | 7 | 12/29/2003 |
| VB.NET Critique | Ehud Lamm | 1 | 12/28/2003 |
| Color Cognition and Language | Ehud Lamm | 1 | 12/28/2003 |
| Kai von Fintel: Essential Readings in Semantics | Ehud Lamm | 6 | 12/28/2003 |
| Data Structure + Algorithm Survey (Caml) | andrew cooke | 1 | 12/24/2003 |
| A VB.NET Critique | Eric Mutta | 22 | 01/03/2004 |
| A Comparative Study of Language Support for Generic Programming | Ehud Lamm | 5 | 12/27/2003 |
| Concepts: Design choices for template argument checking | Ehud Lamm | 13 | 01/10/2004 |
| Changeable class in Avalon | Ehud Lamm | 2 | 12/24/2003 |
| Versioning XML Vocabularies | Ehud Lamm | 1 | 12/23/2003 |
| Short Cut Fusion is Correct | Ehud Lamm | 2 | 12/22/2003 |
| Research Publication Modes Need to be Reengineered | Luke Gorrie | 5 | 12/22/2003 |
| BrookGPU | Luke Gorrie | 11 | 12/22/2003 |
| Sun MSFT Java C# CLR Big Picture | Mark Evans | 4 | 12/22/2003 |
| PostScript control structures | Ehud Lamm | 5 | 12/22/2003 |
| Sun Invites IBM, Cray To Work On New Computer Language | Chris Rathman | 7 | 12/19/2003 |
| StarLogo: Give the Gift of Learning | Chris Rathman | 4 | 12/19/2003 |
| Feature wishes may be granted | John Skaller | 15 | 12/19/2003 |
| Twisted Matrix Networking for Python | Mark Evans | 12 | 12/19/2003 |
| Programming Languages: Application and Interpretation | Ehud Lamm | 3 | 12/17/2003 |
| The Sound of Lost Productivity | Patrick Logan | 3 | 12/16/2003 |
| Over and Under in a Box | Patrick Logan | 3 | 12/16/2003 |
| JWIG: Java Extensions for High-Level Web Service Development | Ehud Lamm | 1 | 12/15/2003 |
| Reading, Writing, and Code | Ehud Lamm | 45 | 12/19/2003 |
| The Big Bang Theory of IDEs | Ehud Lamm | 1 | 12/15/2003 |
| Comments Requested on SML-Based Graphics DSL | Brent Fulgham | 6 | 12/18/2003 |
| 100 prisoners and a light bulb | Ehud Lamm | 18 | 12/18/2003 |
| Hugunin's IronPython | Patrick Logan | 5 | 12/15/2003 |
| Smalltalk-72 Manual | Isaac Gouy | 1 | 12/11/2003 |
| Erlang/OTP User Conference (euc'2003) Proceedings | Ehud Lamm | 4 | 12/14/2003 |
| XML for End Users | Ehud Lamm | 6 | 12/18/2003 |
| Understanding Aspects | Ehud Lamm | 1 | 12/09/2003 |
| Book opinions? | Matt Hellige | 4 | 12/09/2003 |
| The Java™ specs in a formal way | Andris Birkmanis | 3 | 12/18/2003 |
| Adding Apples to Oranges | Ehud Lamm | 4 | 12/10/2003 |
| What is missing from or broken about XAML? | Ehud Lamm | 1 | 12/08/2003 |
| Language Construction | logarithm | 6 | 12/09/2003 |
| DSL in Software Development and Releation to Partial Evaluation | Ehud Lamm | 5 | 12/09/2003 |
| Knuth: Selected Papers on Computer Languages | Ehud Lamm | 1 | 12/07/2003 |
| nesC: A Holistic Approach to Networked Embedded Systems | Ehud Lamm | 1 | 12/07/2003 |
| Logic Programming in the Context of Multiparadigm Programming: The Oz Experience | Ehud Lamm | 1 | 12/07/2003 |
| A Clockwork Orange: Nadsat | Ehud Lamm | 29 | 12/12/2003 |
| Events and Continuations | Andris Birkmanis | 29 | 12/11/2003 |
| Dynamic Properties | Patrick Logan | 42 | 12/11/2003 |
| Frappe: Functional Reactive Programming in Java | Patrick Logan | 8 | 12/06/2003 |
| Don Knuth Book Tour! | scruzia | 1 | 12/04/2003 |
| Python Scripting Everywhere | Ehud Lamm | 28 | 12/07/2003 |
| Transparent Language Implementation and Design | Brent Fulgham | 6 | 12/04/2003 |
| The Revised C++ Language Design Supporting .NET | Ehud Lamm | 3 | 12/02/2003 |
| Stanley Lippman's C++ Blog | Ken Hirsch | 1 | 12/01/2003 |
| A Self-Study Course in Squeak | Ehud Lamm | 1 | 12/01/2003 |
| ParentheC | Ehud Lamm | 1 | 12/01/2003 |
| 50 Questions for a Language Designer | Ehud Lamm | 3 | 12/06/2003 |
| A Logic for Shared Mutable Data Structures | Andris Birkmanis | 2 | 11/29/2003 |
| Interview with Robin Milner | Ehud Lamm | 6 | 12/01/2003 |
| Meijer: On The (Non) Value of Programming Language Research | Ehud Lamm | 2 | 12/02/2003 |
| Antipathy to Type Systems | Isaac Gouy | 23 | 12/02/2003 |
| Lambda Calculus | Manuel Simoni | 4 | 11/28/2003 |
| Why Functional Programming Matters | Luke Gorrie | 12 | 12/01/2003 |
| The dominant paradigm | David B. Wildgoose | 4 | 11/27/2003 |
| Interview with Robin Milner | Dominic Fox | 1 | 11/26/2003 |
| DSL for bookmarklets | Ehud Lamm | 3 | 11/26/2003 |
| Is it time for another guest blogger? | Ehud Lamm | 14 | 11/28/2003 |
| 50 Questions for a Language Designer | Manuel Simoni | 3 | 11/27/2003 |
| The JPie Interactive Programming Environment | Patrick Logan | 5 | 11/26/2003 |
| Language Relativity (one more time) | Ehud Lamm | 1 | 11/24/2003 |
| Thielecke: Contrasting exceptions and continuations | Ehud Lamm | 2 | 11/27/2003 |
| On Garbage Collection | Patrick Logan | 15 | 11/28/2003 |
| Another milestone | Ehud Lamm | 7 | 11/21/2003 |
| PyLogo | Ehud Lamm | 16 | 11/21/2003 |
| FPGA's, Soft Cores and Custom CPU's. | John Carter | 5 | 11/20/2003 |
| Control handling primitives | Andris Birkmanis | 11 | 11/21/2003 |
| An Unbounded Spigot Algorithm for the Digits of Pi | Ehud Lamm | 1 | 11/20/2003 |
| European Summer School on Logic, Language and Information | Ken Shan | 1 | 11/19/2003 |
| Towards the best collection API | Ehud Lamm | 17 | 11/21/2003 |
| Web Architecture: Extensible Languages | Ehud Lamm | 1 | 11/17/2003 |
| Coplien: Teaching OO | Ehud Lamm | 10 | 11/19/2003 |
| A Survey of Object-Oriented Concepts | Ehud Lamm | 9 | 11/17/2003 |
| Viewing code - how much is just right? | Dan Shappir | 13 | 11/21/2003 |
| Notes on Programming in C | Manuel Simoni | 30 | 11/19/2003 |
| Introducing Continuations | Chris Rathman | 13 | 11/18/2003 |
| Languages by people in langsmiths@yahoogroups.com | Patrick Logan | 2 | 11/13/2003 |
| Making reliable distributed systems in the presence of software errors | Luke Gorrie | 27 | 11/19/2003 |
| Vital: A Visual Interactive Typed Applicative Language | Ehud Lamm | 2 | 11/13/2003 |
| O'Reilly blog entry on battling VMs | Ken Meltsner | 5 | 11/17/2003 |
| Ada and Java: real-time advantages | Chris Rathman | 9 | 11/13/2003 |
| Exercises in Coalgebraic Specification | Ehud Lamm | 1 | 11/12/2003 |
| You call that a Monad? This HERE's a Monad.... And a Shell. | Brent Fulgham | 5 | 11/13/2003 |
| XL? | Drew Bagnell | 3 | 11/12/2003 |
| Dylan Evans: Computer Illiteracy | Ehud Lamm | 2 | 11/11/2003 |
| What does C have in common with a scalding cup of coffee? | Mark Evans | 2 | 11/10/2003 |
| Proceedings of the Scheme Workshop 2003 | Patrick Logan | 6 | 11/20/2003 |
| Coalgebraic Reasoning about Classes in Object-Oriented Languages | Ehud Lamm | 13 | 11/11/2003 |
| Dines Bjorner Software Engineering textbooks | Isaac Gouy | 1 | 11/09/2003 |
| Longhorn Command Shell ("Monad") | Ehud Lamm | 18 | 11/11/2003 |
| First WinFx "application" written in SML | Ehud Lamm | 1 | 11/07/2003 |
| LLVM Compiler Infrastructure Project | Bryn Keller | 5 | 11/10/2003 |
| SQL Server "Yukon" Beta 1 Transact-SQL Enhancements | Chris Rathman | 7 | 11/10/2003 |
| LL3 Webcast | andrew cooke | 23 | 11/12/2003 |
| Converting Common Lisp to Dylan | Chris Rathman | 10 | 11/09/2003 |
| Interfaces : a special construct of OO-Languages like Java/C# or only a crook? | Karl Reitschuster | 6 | 11/07/2003 |
| EMACS: The Extensible, Customizable Display Editor | Luke Gorrie | 9 | 11/11/2003 |
| The JScript Type System, Part One | Dan Shappir | 2 | 11/06/2003 |
| Shape Theory | Mark Evans | 3 | 11/06/2003 |
| Editors, Ahoy! | Ehud Lamm | 9 | 11/06/2003 |
| PEP 289: Generator Expressions - Accepted for Py2.4 | Ehud Lamm | 4 | 11/11/2003 |
| MS PDC Session slides | Isaac Gouy | 2 | 11/05/2003 |
| Algebraic Specification: some old history, and new thoughts | Ehud Lamm | 3 | 11/04/2003 |
| Bertrand Meyer on Software Quality | Ehud Lamm | 22 | 11/05/2003 |
| A case study in class library verification: Java's vector class | Ehud Lamm | 1 | 11/01/2003 |
| Nonalgorithmic programming | Peter Van Roy | 22 | 11/04/2003 |
| Ideas for a master's thesis related to Python | Ehud Lamm | 4 | 11/03/2003 |
| A big thank you to Peter Van Roy | Ehud Lamm | 3 | 11/02/2003 |
| Clean System 2.1 is released | Isaac Gouy | 2 | 10/31/2003 |
| Zero Button Testing | Carl Manaster | 8 | 11/01/2003 |
| CLR Panel notes | Ehud Lamm | 7 | 11/01/2003 |
| Introduction to the Base Class Libraries (.Net) | Ehud Lamm | 3 | 10/30/2003 |
| Longhorn CodeDOM | Isaac Gouy | 1 | 10/28/2003 |
| Longhorn Markup Language (code-named "XAML") Overview | Ehud Lamm | 9 | 11/01/2003 |
| XAML the future of UI programming? | Isaac Gouy | 9 | 10/29/2003 |
| Macros vs. Higher-order Programming | Peter Van Roy | 83 | 11/05/2003 |
| Groovy Language | Mark Evans | 3 | 01/06/2004 |
| X2EE Revamps J2EE | Mark Evans | 22 | 10/31/2003 |
| 1983-1993: The Wonder Years of Sequential Prolog Implementation | Ehud Lamm | 3 | 10/24/2003 |
| C# Language Specification 2.0 (new features) | Ehud Lamm | 15 | 10/28/2003 |
| C# Language Specification 2.0 draft | Isaac Gouy | 1 | 10/24/2003 |
| Conceptual Integrity in Erlang | Patrick Logan | 28 | 10/24/2003 |
| Open Programming Services for Virtual Machines: The Design of Mozart and SEAM | Patrick Logan | 2 | 10/24/2003 |
| Dan Friedman: Object Oriented Style | Ehud Lamm | 2 | 10/23/2003 |
| Evolution of a Programmer (Joke) | Mark Evans | 1 | 10/22/2003 |
| Peter Van Roy: Expressiveness versus execution speed | Ehud Lamm | 1 | 10/22/2003 |
| State and modularity | Peter Van Roy | 23 | 10/23/2003 |
| Expressiveness versus execution speed | Peter Van Roy | 45 | 10/23/2003 |
| Magic Omega and the Limits of Mathematics | Mark Evans | 3 | 10/22/2003 |
| Two-column LtU home page? | Mark Evans | 6 | 10/22/2003 |
| Flow Java: Declarative Concurrency for Java | Ehud Lamm | 1 | 10/21/2003 |
| Distributed programming made easy | Peter Van Roy | 7 | 10/23/2003 |
| Peter's first three posts | Ehud Lamm | 1 | 10/21/2003 |
| Concurrency-oriented programming | Peter Van Roy | 21 | 10/23/2003 |
| Teaching programming | Peter Van Roy | 41 | 10/23/2003 |
| Peter Van Roy here on LtU | Ehud Lamm | 7 | 10/21/2003 |
| Erik Meijer: Visual Basic Programmers Love Anamorphisms | Ehud Lamm | 22 | 10/21/2003 |
| Visual Basic Programmers Love Anamorphisms | Kory Markevich | 1 | 10/20/2003 |
| Dynamically scoped functions vs. AOP | Ehud Lamm | 11 | 10/21/2003 |
| B. Stroustrup: Serving the C++ Community | Ehud Lamm | 34 | 10/22/2003 |
| Type Safety in a Dynamically Extensible Class Library | Dan Shappir | 6 | 10/21/2003 |
| Advanced Functional Programming wiki @ Harvard | Ehud Lamm | 3 | 10/20/2003 |
| A Research C# Compiler | Ehud Lamm | 3 | 10/22/2003 |
| Black-Scholes in Multiple Languages | Ehud Lamm | 5 | 10/20/2003 |
| Genetic Evolution of Novel Entities Through Composite Abstractions | Patrick Logan | 2 | 10/18/2003 |
| HydroJ: Object-Oriented Pattern Matching for Evolvable Distributed Systems | Patrick Logan | 1 | 10/15/2003 |
| PDC: Designing the CLR | Ehud Lamm | 1 | 10/15/2003 |
| The Future of .NET Languages | Ehud Lamm | 3 | 10/16/2003 |
| Programming with Rectangles, Triangles, and Circles | Ehud Lamm | 15 | 10/17/2003 |
| The Philosophy of Ruby | Dan Shappir | 1 | 10/15/2003 |
| Papers in Coalgebra Theory and Applications | Ehud Lamm | 3 | 10/15/2003 |
| PL/I and Multics | Ehud Lamm | 3 | 10/14/2003 |
| Admin notices | Ehud Lamm | 6 | 10/14/2003 |
| Scarlet Language | Jesse Jones | 1 | 10/13/2003 |
| Stroustrup's C++ Style Sweet Spot | Ehud Lamm | 46 | 10/13/2003 |
| A Revolution in Logic? | Patrick Logan | 10 | 10/14/2003 |
| C++ Style Bjarne Stroustrup | Isaac Gouy | 1 | 10/13/2003 |
| A Tutorial on Proof Theoretic Foundations of Logic Programming | Ehud Lamm | 1 | 10/13/2003 |
| A gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination | Ehud Lamm | 7 | 10/16/2003 |
| Alice | Manuel Simoni | 22 | 10/18/2003 |
| Spreadsheet Languages | Ehud Lamm | 14 | 10/17/2003 |
| The SOUL Logic Meta Programming Tool | Patrick Logan | 1 | 10/08/2003 |
| Evaluating API usability at Microsoft | Isaac Gouy | 5 | 10/11/2003 |
| Excellent tutorial on Scheme macros | Ehud Lamm | 6 | 10/13/2003 |
| TECHNICAL SYMPOSIUM ON SOFTWARE, SCIENCE & SOCIETY | Patrick Logan | 3 | 10/07/2003 |
| Domain-specific and general-purpose aspects of spreadsheet languages | Ehud Lamm | 9 | 10/08/2003 |
| Proofs and Types | Ehud Lamm | 5 | 10/17/2003 |
| Historic Documents | Ehud Lamm | 2 | 10/12/2003 |
| "Proofs and Types" available online | Frank Atanassow | 3 | 10/06/2003 |
| CLR Exception Model | Ehud Lamm | 12 | 10/07/2003 |
| Historic Documents in Computer Science | Isaac Gouy | 1 | 10/02/2003 |
| Tuples + Objects + Infosets =Too Much Stuff! | Ehud Lamm | 47 | 10/06/2003 |
| HaRe -- The Haskell Refactorer | Ehud Lamm | 2 | 10/02/2003 |
| Lambda tutorial | Ehud Lamm | 1 | 10/02/2003 |
| OO Best Feature Poll | Ehud Lamm | 75 | 10/04/2003 |
| Self-application as a fixpoint of call/cc | Ehud Lamm | 3 | 10/01/2003 |
| Glossary page on Lambda? | Ehud Lamm | 8 | 10/05/2003 |
| Glossary | Ehud Lamm | 1 | 09/30/2003 |
| Definitional Interpreters for Higher-Order Programming Languages | Ehud Lamm | 2 | 09/30/2003 |
| Deriving a grammar from source | andrew cooke | 5 | 09/29/2003 |
| Iota and Jot: the simplest languages? | Ehud Lamm | 2 | 09/29/2003 |
| Douglas Adams: Frank The Vandal | Ehud Lamm | 2 | 09/28/2003 |
| Readable Java 1.5 | Patrick Logan | 16 | 10/02/2003 |
| Lightweight Languages 3 call for presentations online | Dan | 1 | 09/26/2003 |
| Smalltalk Reports | Patrick Logan | 2 | 09/25/2003 |
| Philip Greenspun: Lisp diehards = Holocaust deniers | Luke Gorrie | 25 | 09/25/2003 |
| Moving Away From XSLT | Patrick Logan | 24 | 09/25/2003 |
| JScript is a Functional Language | Dejan Jelovic | 30 | 09/24/2003 |
| Vacation | Ehud Lamm | 2 | 09/18/2003 |
| Continuations Reading Group | Patrick Logan | 6 | 09/19/2003 |
| Best PL tutorials? | Ehud Lamm | 4 | 09/16/2003 |