Lambda the Ultimate Weblogs
Last Update 06/24/2004

1    2    3    4    5    6    7    8    9    10

  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