Lambda the Ultimate Weblogs
Last Update 06/24/2004

1    2    3    4    5    6    7    8    9    10

  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