| Topic | Originator | Msgs | Last Post |
| Monads for Dummys | andrew cooke | 1 | 10/21/2000 |
| BUT... Haskell! | andrew cooke | 1 | 08/21/2000 |
| More Speed, Less Haste | andrew cooke | 1 | 08/21/2000 |
| 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 |
| 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 |
| 1983-1993: The Wonder Years of Sequential Prolog Implementation | Ehud Lamm | 3 | 10/24/2003 |
| Towards the best collection API | Ehud Lamm | 17 | 11/21/2003 |
| Conceptual Integrity in Erlang | Patrick Logan | 28 | 10/24/2003 |
| Web Architecture: Extensible Languages | Ehud Lamm | 1 | 11/17/2003 |
| Coplien: Teaching OO | Ehud Lamm | 10 | 11/19/2003 |
| Open Programming Services for Virtual Machines: The Design of Mozart and SEAM | Patrick Logan | 2 | 10/24/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 |
| 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 |
| 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 |
| 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++ progra |