| 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 |