2001–2002
1,366 posts
2002 762
December 2002
- Vortex and Cecil
- O'Haskell
- Project Timber
- Stochastic Lambda Calculus
- Parallel Programming with Logic Languages
- Generic C# Sample Programs
- Es: A shell with higher-order functions
- Type inference in Icon
- A Lambda Calculus for Dynamic Binding
- Obtaining KMP String Matcher by Partial Evaluation
- Merry Christmas
- Embedding Sequence Analysis in FP
- How to Solve the Santa Claus Problem
- Developing Reliable Software with Scripting Languages
- Model Driven Architecture + Code Generation
- QuickCheck
- Designing and Using Combinators
- Partial Application in C
- Stronger Typings for Separate Compilation of Java-like Langu
- The Fun of Programming
- linguablogs
- Traits — Composable Units of Behavior
- XML and run-time typing
- Generalising Monads to Arrows
- AspectC#
- vmgen: A Generator of Efficient Virtual Machine Interpreters
- Tutorial Notes on Partial Evaluation
- Typing Dynamic Typing
- Typing Dynamic Typing
- Tackling the awkward squad
- Yampa: Functional Reactive Programming with Arrows
- Developing Interactive Web Programs (Scheme Servlets)
- Guide to Python introspection
- Findler's Contract Flaw Analysis and Eiffel
- Barrier Methods for Garbage Collection
- Microsoft 'X#' On Tap?
- Editors?
- The language LUA
- On-the-fly garbage collection: An exercise in cooperation
- The Needle Programming Language
- Self on Windows
- Generics for C# and .Net CLR
- New features proposed for Java 1.5 by Sun
- Misc Links
- Squeak projects (and project ideas)
- The Java Syntactic Extender
- Expresso, environment for ISO 10303-1
- User-defined functions in Excel
- ACE visual programming language
- De-biforestation
- From Direct Style to Monadic Style through CPS
- Search and Imperative Programming
- Comparisons between languages for performance
- New proposed features for Java 1.5
- SmartEiffel The GNU Eiffel compiler - 1.0 release
- SmartEiffel: implementation techniques
- Just wondering (strings)
- ll1-discuss on macros
- APL Crosswords
- Usability Issues in the Design of Novice Programming Systems
- C++ vs. Lisp
- I feel like an idiot, but...
- Proposals for and Experiments with an Erlang Bit Syntax
November 2002
- First Class Patterns
- APL crosswords
- The Architecture of a Debugger for Lazy Functional Languages
- Water : A new OO, Dynamic, and Secure Language for Web Services and XML
- A Type Error Slicer for MiniML
- The "Plankalkul" of Konrad Zuse
- A Shallow Introduction to the K Programming Language
- Data Parallel Algorithms
- Brook: a Streaming Lanugage from Stanford
- A Good OOP Critique?
- Why LtU was so quiet
- Introducing C#, Present and Future
- Grail: A Zero'th Programming Language
- What's Wrong With RDF?
- Composition Languages
- Psychology in Language Design
- The point of (any) semantics
- Relational Programming (whatever happened to...)
- Needle, An OO FP Language
- static AND dynamic typing
- Objects and classes versus modules
- Composition Languages
- [The Creation of a Constraint-based Programming Language]
- Towards a Quantum Programming Language
- Essay: Multi-Paradigm Design and Generic Programming
- Whitepaper on new C# Features
- Harper: PL, The Essence of Computer Science
- Combinatorics, Complexity, and Randomness
- Microsoft rules...
- Do languages matter?
- LL2 Webcast
- Lush, New Lisp/C based language
- Haskell Communities and Activities Report
- Why OO Sucks
- Garbage collection in Ada?
- Use of Prolog for Developing a new Programming Language
- Survey of OOPL
- Strafunski update
- Executable Implementation of Scheme Denotational Semantics
- Survey of OOP languages
- Add citeseer to mozilla
- Computer Programming as an Art
- The Dream of a Perfect Language
- The crapness that is the Win-32 API
- Loell, a new programming language
- Where to learn programming-related math?
- International Lisp Conference report
- LtU on BlogHop
- Loell, a new programming language
- Strongtalk
- UBF: Universal Binary Format
- Making the Case for PHP at Yahoo!
- Sugar project?
- Floating Point Arithmetic
- A Free Implementation of CLIM
October 2002
- Haskell tutorial in Hebrew
- Introduction to Aspect-Oriented Programming
- I am running out of titles
- Idel: a virtual machine for mobile code
- SmallInterfaces - interfaces for Smalltalk
- Message4842
- Exploring alternative syntaxes for XML
- Notes on Postmodern Programming
- Type-Directed Natural Language Parsing
- The Dada Engine
- Jikes RVM implementation tutorials
- Generic Haskell: Practice and Theory
- JudoScript
- Lightweight Languages Workshop 2002
- Type Safety anecdote
- Reynolds: The Essence of Algol
- Design By Contract Discussion
- Lazy vs. strict
- Multiple Dispatch with Prototypes
- Type Systems for Modularity
- Jakarta-Commons Collections Component
- smgn: Rapid Prototyping of Small Domain-Specific Languages
- Erlang in Large Scale Software Design
- Template Meta-programming in Haskell
- Critique: Why Pascal is Not My Favorite Programming Language
- Software quotations
- Efficient JVM Just-in-Time Compilation
- Prolog and Natural-Language Analysis
- Creating applications with Mozilla
- Diagnosing Java code: Unit tests and automated code analysis
- Currying
- Theory of Concatenative Combinators
- Most amazing designer?
- Polyglot Programming
- Two Case Studies of Open Source Software Development
- Robert Harper: Types and Programming Languages
- Deriving backtracking monad transformers
- A Formal Model for an Expressive Fragment of XSLT
- F-Script: Smalltalk Scripting for Mac OS X
- David McCusker is looking for a job
- Best Language Design Papers (survey)
- Python 2.3 Release Schedule
- Second Haskell Communities and Activities Report
- 20 Years of PLDI (1979 - 1999): A Selection
- Felleisen: From Patterns to Programming Languages
- The Parable of the Languages
- Make Python run as fast as C with Psyco
- C# standardization moves ahead
- Message4575
- Lisp will never make it to mainstream...
- Xtatic: Native XML processing for C#
- M: The basis for Matrix
- Continued Fraction Arithmetic - Bill Gosper
- Contributing (?) Editors
- ICFP programming contest results
- SPMD - Single Program Multiple Data in Haskell
- No FP languages for the real-world
- USENIX - Security '02 - Technical Sessions
- If programming languages were cars...
- The Implementation of the Icon Programming Language
- Fold and Unfold for Program Semantics
- Additions to the research papers page
- One tree isn't enough
- Icon implementation book now available by download
- How to tell your personality type from your code
- Algebraic patterns in Scheme
- TXL: Tree Transformation Language
- TinkerType
- Linguistic Relativity Homepage
- Devils and Angels
- Liskov's Java book
- Types in Programming Languages
- MIT OpenCourseWare: Laboratory in Software Engineering
September 2002
- Observations on CIL books
- Introduction to Functional Programming
- Introduction to module systems?
- Creating types at run time?
- Computational biolinguistics
- Generator and Search Objects in Java
- The Foundations of Two-Dimensional Semantics
- A Type Notation for Scheme
- Composable and Compilable Macros: You Want it When?
- Intentional Software Corporation (ISC)
- Programming languages textbook online
- Automatic Run-time Interface Building
- Sociological Insights
- JWIG an alternative to Servlets, JSP, ASP, and PHP
- Native XML Scripting
- Exploring NLP in Oz/Mozart
- The Tcl War
- Multi-Paradigm Tcl-Tk
- Message4449
- Bricklin: Why Johnny can't program
- Think: a distributed systems architecture
- A formal semantics of patterns in XSLT
- Michael Vanier: LFM's and LFSP's
- MultiJava: Design, implementation, and evaluation
- Computation Complexity Weblog
- Separating Concerns with Knit
- Perspectives
- Introduction to Special Issue on Domain-Specific Languages
- Beyond Objects: Generative Programming
- Building cyclic data structures in pure languages
- Lightweight Languages Worshop 2002
- Wadler: XQuery, a typed functional language for querying XML
- Evaluation Order Semantics in Expressions with Side Effects
- Parsec, a fast combinator parser
- Intentional Programming Reborn
- Q: A Scenario Description Language
- Interactions of Abstractions in Programming
- The Query Language TQL
- Psyco, the Python Specializing Compiler
- Java hits obstacle with cell phones
- LPS: Language Prototyping System
- Short break
- Introduction to the Personal Basis Profile
- SmallSqueak
- Dr. Seuss on Parser Monads
- Action Semantics and Compiler Generation
- GNU Prolog
- Structure and Interpretation of Computer Science Curriculum
- Little Languages: Little Maintenance?
- SchemeUnit and SchemeQL: Two Little Languages
- Symmetric difference in LC, P-numerals, and fold
- Sendmail Meets Erlang
- Composing Programming Languages by Combining Action-Semantic
- Type Theory and Functional Programming
- Leo and Literate Programming
- Omniscient debugger
- Domino on Acid
August 2002
- Design Patterns in XML Applications
- Can Programming Be Liberated from the von Neumann Style?
- A Modular Monadic Action Semantics
- Diagnosing Java code: Assertions and temporal logic in Java
- Distel: Distributed Emacs Lisp
- ICFP 2002 programming contest task posted
- Exception-Safety in Generic Components
- Critique of the Windows API
- Anybody home?
- syntax-case "for dummies"
- Superb programming style ?
- Backus Turing Award Lecture
- Whither Sather ?
- Is EJB Always Necessary?
- Overloading and higher-order polymorphism
- Exegesis 5 is out
- Making Haskell programs faster and smaller
- Exegesis 5 is out
- Why Don’t Programming Language Designers Use Formal Methods?
- A Proposal For Classifying Tangled Code
- Disruptive Programming Language Technologies
- Informal Scheme Workshop in London
- Teaching Purely Functional Programming in First Year
- Why American Computer Science Seems Incurable
- Project JOOS (Java's Object Oriented Subset)
- Do we Need Dependent Types?
- VDM-SL: a Tutorial
- The Oberlin CS DRAGN Project
- Language-Based Information-Flow Security
- I Was a Smalltalk Gunslinger
- USENIX JVM Symposium '02
- Ada, Interfaces and the Listener Paradigm
- Free Smalltalk books
- Mithril vm
- Generating Code at Run Time With Reflection.Emit
- The Function Pointer Tutorials
- Language Design and Implementation by Selection
- Semantics of Programming Languages: A Tool-Oriented Approach
- XML Journal - Readers' Choice Awards
- Kristen Nygaard (1927-2002)
- Teaching the Fatal Disease
- Hacker's Introduction to Partial Evaluation
- Seesoft
- Mark-sweep vs. copying collection
- One Day Compilers (Graydon Hoare)
- Icon language book available for downloading
- Does Code Decay?
- Dijkstra and the Ada language
- On Understanding Types, Data Abstraction, and Polymorphism
- Alloy: A Lightweight Object Modelling Notation
- Concern Graphs
- Prototyping of Mechanisms in Success/Failure Based Languages
- OT question
- Barter (design by contract w/ AspectJ)
- 10 Reasons We Need Java 3.0
- To Dissect a Mockingbird
- 10 Reasons We Need Java 3.0
- Edsger Wybe Dijkstra (1930-2002)
- A Declarative Model for Simple Narratives
- Embedding Prolog in Haskell
- Putting Type Annotations to Work
- Edsger W. Dijkstra has died
- Good question
- A practical approach to generic programming
- "Spend A Day with .NET" Coding Contest
- What the hell are Monads?
- Fifth ICFP Programming Contest
- Structuring Depth-First Search Algorithms in Haskell
- Python list.sort() now stable and faster
- Template metaprogramming for Haskell
- Test-Driven Development By Example
- First-class Attribute Grammars
- Language design checklist
- Diagrammatic Representations in Domain-Specific Languages
- Intentional Programming Overview
- The Boost Lambda Library
- Java-in-hardware in aJile new PDA
- The unique nature of Lisp (?)
July 2002
- Shared Source CLI Essentials (beta chapters)
- Happy birthday Dear Lambda
- RhoStratego
- Feng Shui for Standard ML Programmers
- Formal Techniques for Software Reliability
- Parrot In Detail
- Biglook: A Widget Library for Scheme
- Virtual Machine Design and Implementation in C/C++
- Cracking the 500-Language Problem
- The Essence of Strategic Programming
- Lazy Functional Parser Combinators in Java
- Application Generators
- Richard Hamming: You and Your Research
- Proof-Carrying Code (overview)
- Clean and Haskell compared
- Personal weblogs
- Full Eiffel on the .NET Framework
- Prological Language Processing
- Guiding Visitors: Separating Navigation from Computation
- Eiffel on .Net
- JSR-166 - Concurrency Utilities
- NVIDIA Open Sources Cg Compiler Technology
- Quick Quotes
- Early Java: Worse is Better and Meta is Better, Two Lessons
- The Essence of XML
- Visual Basic
- ActiveOberon
- XLANG and WSFL: Syntactic Arsenic
- Graphviz: Programmable Graph Editor
- C and C++: A Case for Compatibility
- Extreme Markup Languages 2002 (conference program)
- Rotor, SemiWorks, and Technology Transfer (job opening)
- ConCert Project - Certified Code for Grid Computing
- Exploring .NET Alternatives
- Scripting and .NET
- BorCon 2002 Highlights
- Bicycle Repair Man (a refactoring browser for Python)
- Generator-based state machines
- More USENIX02 summaries from Oleg
- Type inference a good thing?
- The Constructor Calculus
- XSH - An XML Editing Shell
- Developing Applications with Objective CAML
- Java Collections Clearinghouse
- Bitter Java
- Java Specification Participation Agreement
- c programming
- Hugs98 for .NET
- Refactoring Functional Programs
- Refactoring Functional Programs
- Strsafe.h: Safer String Handling in C
- Writing a counter function
- The Program Transformation Wiki
- Perl Foundation Grants are Almost Empty
- Influence of Software Module Systems on Modular Verification
- Meta Programming with Concrete Object Syntax
- The OpenNLP Grok Library
- Declarative Event-Oriented Programming
- What being an Editor is all about
- The YAFL programming language
- Animism: An Essential Concept in Programming?
- IK.VM.NET Weblog
- Edge Side Includes (ESI)
- Language-Centric Software Development
- Boring...
- Poorman's Logic System
- The Frege Program Prover (FPP)
- CoKinetic windows user interface markup language
- Europython presentations
- JCP adequately preparing Java for Web services?
- Managed C++ FAQ
- Departments
June 2002
- 1st North American Summer School in Logic, Language and Info
- Oleg's USENIX2002 report (update!)
- Linear Types and Monads
- Logic Programming in Python (constraints)
- Shiro Kawai - Shooting A Moving Target
- Playing with the GNAT Run Time
- J-SEAL2
- Oleg's USENIX2002 report
- Longhorn
- Project Ace
- JSIS - Semantic Interface Specification for Java
- Elephant 2000
- Elephant 2000
- Chameleon
- SML.NET now out
- proof that (call/cc (lambda (c) (0 (c 1)))) => 1
- NVIDIA's Cg technology
- Network Query Language
- A short break
- Runtime optimization mailing list
- Funny stuff
- Two New Microsoft Languages - AsmL and Pan
- Stack Inspection: Theory and Variants
- SQL Limitations
- dealing with Scheme (or Lisp, etc)
- Quick links
- J for C programmers
- J for C programmers
- Implementing "weightless threads" with Python generators
- Guido van Rossum, Linux Magazine interview
- Advanced .NET Remoting examples online
- Mark Shields: A compiler writer's guide to C#
- System I Experimentation Tool
- Scott McCloud: The Big Triangle
- Larry Wall: Apocalypse 5: Regular Expressions
- C and C++: Siblings
- Eager Haskell
- Investigations into Portable Object Codes
- Scheme & Macros
- Computing with Cells and Atoms
- QCL - A Programming Language for Quantum Computers
- Perl: Apocalypse 5: Regular Expressions
- Another RSS idea
- Slashdot: Conceptual Models of a Program?
- Advanced Programming Techniques
- Loving Lisp, or the Savy Programmer's Secret Weapon
May 2002
- Achieving Closure (Perl)
- Adaptive Functional Programming
- Harper: Programming Languages: Theory and Practice
- A flurry of activity on XQuery
- Daniel Friedman: A Poorman's 'Roll Your Own' Logic System
- Language Neutrality and the Java Platform
- Lua Lights up Telecom Testing
- When is a function a fold or an unfold?
- Rediscovering Object Orientation
- Paul Graham - Revenge of the Nerds
- AP5: A declaritive language extension to Common Lisp
- CSP for C
- Message3380
- Stackless python goes Limbo dancing
- Just so you know
- Perl 6 Answers
- Haskell books
- Where is everybody?
- Compiling Eiffel for the CLR
- Semantic Lego
- Toaster
- Multiple Inheritance for Eiffel in .NET
- Programming with Regions in the ML Kit
- Continuations Made Simple and Illustrated
- Scanning, Parsing, and Rewriting Kit - Python
- Normal-order evaluation as bottom-up parsing
- MetaOcaml
- Domain-specific Embedded Languages and Program Generators
- Sugar 2.0 tutorial
- CLI Standard (ECMA-335)
- Usenet comp.lang.* Traffic Evolution
- Selected Readings on C (gcc)
- functional software engineering experience?
- Inside information
- Five Little Languages and How They Grew: Talk at HOPL
- New Departments
- Oleg's USENIX2001 conference report
- Gregor, the next generation XSLT compiler
- Programming anti-idioms
- XML compression
- The Nice Programming Language
- Using Functional Objects in various languages
- Lisp Machine Video
- RSS-AWK
- Are dylan macros Turing-complete?
- Squeampiler
- High-Level Assembly Language
- Frost - Multimethods and FWVAs for C++
- Polyglot Programming
- Joel on Programming Languages
- Message3321
- OO Tips
- Generators and Abstraction
- Object-oriented markup
- fun with combinators
- Calculating Functional Programs
- odds and ends
- Eclipse and Emacs
- SISC 1.4.0 Released
- Compiling functional languages
April 2002
- The MultiJava Project
- Ease - Evolutionary Algorithms Scripting Environment
- Downsides to the C++ STL?
- A Retrospective on Paradigms of AI Programming
- Syntax Checking the Scripting Way
- Modern Concurrency Abstractions for C#
- Interesting conversations
- LtU indexes
- Modern Web Development textbook?
- 1st International Conference on AOP (22-26/4/2002)
- Lambda The Ultimate: Topic Index
- Python Developer's Guide
- Tips on Writing Portable SQL Code
- Scheme-robo -- automatic assessment for Scheme exercises
- goo: a generic-function based OO language
- AOP: The 15% Solution
- Language Myths
- Programming Language Design and Software Quality
- Pyrex - A language for writing Python extension modules
- Factasia
- Message2868
- "The New C++"
- Interesting threads
- GOO: a generic-function based OO language
- Windows Script Host 5.6 (MSDN)
- Real Life
- Environmental Acquisition - A New InheritancE Mechanism
- The Sociology of Language Evolution
- Plots in XML
- Your introduction to Lisp...
- Advanced Programming Language Design book available online
- What's New in XSLT 2.0
- Template Languages in XSLT
- Computer Scientist Gets to the Bottom of Financial Scandal
- Modern Concurrency Abstractions for C#
- Guido van Rossum: An Optimization Anecdote
- Isabelle/HOL: A Proof Assistant for Higher-Order Logic
- SpringBox
- The Implementation of Model Constraints in .NET
- IMS XML schemas
- Simple Outline XML: SOX
- Icon Analyst back issues on line
- Richard Stallman's Crusade for Free Software
- Sash: The Javascript Runtime
- Writing dirty R5RS macros
- Exegesis 4
- XWT or XML Windowing Toolkit
- Shared Source CLI Beta
- 20 Years of PLDI - CALL FOR NOMINATIONS
- Early Adopters Like Visual Studio .Net
- Note to RSS junkies
- (JSR 175) Adding metadata to Java
- Erlang Is Worth a Look
- Aspect-oriented compilers
- Developing Applications with Objective Caml
- please help!
March 2002
- Summer School on the Proofs-as-Programs Paradigm
- Adding metadata to Java (JSR 175)
- More Rotor links
- Pre-processing (or composition of functions)
- SVGgraphs
- The Swine Before Perl
- A survey of language popularity
- Call with Current Continuation Patterns
- Strong Typing, Dynamic Languages, What to do?
- Hakell mini-primer
- Apache's JSPA Position
- Correctness by Construction: Better Can Also Be Cheaper
- Lambda over types (Haskell)
- COM support in Python
- Gosling hits 'Jackpot' with futuristic tools
- XML-Europe'2002 Program
- Interactive Simultaneous Editing of Multiple Text Regions
- Coping with Change
- study of the "list comprehension" sugar
- Evaluating a new programming language
- Microsoft Visual J# .NET Beta 2
- Foundations of Object-Oriented Programming Languages
- Dynamic Functions using FXSL
- Why I Don't Read Code Comments
- Message3027
- A sense of community
- OPML to SVG
- Ongoing Discussion on the Value of DotNet
- Your Wish Is My Command - Programming By Example
- Flash MX
- Web Services Conversation Language
- Terrarium
- Self-Hosted Languages for PDAs?
- Related Weblogs
- Languages for programming PDAs
- On the future of REBOL.
- Making a decision: C# or VB.NET
- Stacking them up: a Comparison of Virtual Machines
- Good Analysis of the JVM and the CLR
- Axiomatic Language
- Intentional Programming FAQ
- Lingua::Romana::Perligata
- Running untrusted code
- Implementation Strategies for Continuations
- Ideas for ARC
- Guido van Rossum: Parade of the PEPs
- Partial Evaluation and Automatic Program Generation
- Personal intro. to the community.
- Comments on Comments
- Lingua::Romana::Perligata
- Uncovering Rotor -- A Shared Source CLI
- Linus Torvalds on Coding style
- Discovering Squeak
- Java's new Considered Harmful
- David McCusker on artificial languages
- Smalltalk and the CLR
- Guido van Rossum: Introduction to Python
- An Advanced Syntax-Rules Primer for the Mildly Insane
- Daniel Friedman: A Poorman's 'Roll Your Own' Object System
- XML Pipeline Definition Language introduced as Note
- Norvig: Teach Yourself Programming in Ten Years
- rST - Remote Smalltalk
- Implementations of .NET-Targeted Languages Problematic
- DOM and Lisp's READ
- The developer's dilemma
- Implementations of .NET-Targeted Languages Problematic
February 2002
- Brainteaser
- RFI: Intro using Scheme and Haskell
- Some interesting weblogs
- Teaching an ML compiler to speak C natively
- Udell: What Is General-Purpose Scripting?
- Types and Programming Languages
- JavaScript 2.0 Versioning
- Applications of Continuations
- A Day of Programming Language Research
- stupid lambda tricks for python
- Python lambda tricks
- Functional and Declarative Programming in Education (FDPE99)
- Design By Contract
- Semantics-based Filtering: Logic Programming's Killer App?
- The .NET team on VB.NET
- Using a Language to Build an Experimental Analysis Tool
- The CSS debate rages on
- A Programming Paradox
- Anders Heljsberg on what's next for C#
- Revisiting an old thread: choosing a foundation language
- SVG - Open for Business
- Top trends
- Message2790
- The Practice of Type Theory in Programming Languages
- Don Box on the Importance of Being WSDL
- Java 1.4.0 SE Released
- a question about coding os
- Memorabilia from the 10th International Python Conference
- VB.NET Shadowing
- Slashdot looks for the perfect language
- Check the discussion group
- Guido van Rossum Python 10 DevDay Keynote
- Curry - A Truly Integrated Functional Logic Language
- Alphabet Soup
- Online Bibliography of Haskell Research
- Another slow week
- Turing Award to Ole-Johan Dahl and Kristen Nygaard
- Funny Flash hack
- ETAPS registration now open
- Backhouse on Mathematics and Programming
- LL1 on technetcast
- Summer schools: generic & functional programming
- Gems from IBM's Java Technology Centre
- Higher-order transformation of logic programs
- One Runtime to Bind Them All
- Functional programming in XSLT
- Complexity and expressive power of logic programming
- Reading list on XML and Web Programming
- Implementing debuggers
- Don Box on the Importance of Being WSDL
- The Web Server is Fully Functional
- Common Lisp Cookbook
- Squeak Modules
- Lambda Calculus in Python
- Programming Challenge
- Direct manipulation languages
- Message2707
- DIY Web Services with Radio 8
- Programming for the Web
- The web services debate continues
- Extreme Markup Languages 2002
- Support for Distributed Systems in Ada
- On Lisp, On Line
- Multics Software Features
- Modeling an Algebraic Stepper
January 2002
- 2002 Weblog Awards: Vote for LtU!
- PADL: Beautiful textures by combining functions
- Virtual Virtual Machine
- Compo - a language to describe music
- PADL02: Functional Approach to Texture Generation
- Message2646
- A Reduction Semantics for Array Expressions
- PADL: Machine reasoning about machines: ACL2 theorem prover
- Multics
- SLAM (at POPL)
- Speak Up!
- Imperative and Functional Suffix Tree Constructions
- Announce: School of Expression software
- Web services: Winer on WSDL
- New Block Closures in Squeak
- Book: Python How to Program
- Jscheme
- Sinister Scheme Sample Perplexes Python Porter
- Mining Specifications
- Quick spelling checker using MS-Word
- .NET fun fact
- Aspect-oriented programming for Python
- AI: A Modern Approach -- In Python
- OPML in the browser
- Software Patterns Representation Languages
- Why CASE Tools Aren't Useful
- More Macro Discussion
- HAP Python Remote Debugger
- Larry Wall: Apocalypse 4
- Slashdot: Hardware Description Languages
- Subject-oriented programming @ IBM
- PLAN: A Packet Language for Active Networks
- Calculi for Mobile Processes
- PythonCardPrototype release 0.6.2
- Cringely: Response to critics (C# vs. Java)
- Macros and Preprocessing in Haskell
- Language of the Year: Haskell
- Functional programming in Perl
- Pragmatic Programmer "Language of the Year" project - Learn Haskell in 2002
- Sound Generic Java type inference
- XSLT, Perl, Haskell, & a word on language design - A link from kur5hin
- XSLT, Perl, Haskell, & a word on language design
- Design Paradigms
- Why You Might Want to Try Ruby
- 2001 International PHP Conference Slides
- Has J2EE Hit a Fork In the Road?
- Beyond Ada: The First Paranoid Programming Language
- cdb, A Machine-Independent Debugger
- Incremental Mature GCUsing the Train Algorithm
- SE/Algebra course
- Interview: Matthew Dillon
- Cheetah, the Python-Powered Template Engine
- Trampolined Style
- 2001 -- The Year When DotGNU Was Born
- Monadic Programming in Scheme
- Message2424
- Examples of 119 programming languages
- Don's Favorite Aspects of the CLR
- The Roots of Lisp
- Autodep
- Mono C# compiler can compile itself
- Abramsky powerdomain
- Why Lisp?
- Mondrian for .NET
- 2002 Weblog Awards
- E - secure,distributed, pure OOP and p2p scripting language
- Tomorrow and Tomorrow and Tomorrow
- Message2369
- Abstracting input sources
- the Nice programming language
- New year resolutions
2001 604
December 2001
- Formal semantics for C
- So what do you think of cross-language inheritance?
- The Case Against C
- Lectures on the Curry-Howard Isomorphism
- gen<> past and present
- Understadning DO and side-effects in Haskell
- Memories of ADJ
- Thinking in Python
- LOOP: Formal methods for object-oriented systems
- First-class Modules for Haskell
- Practical Theory (was: T)
- Online Books and Lecture Notes in Mathematics
- Prevayler - Transparent Java Persistence
- Windows Scripting?
- Categorical Programming with Abstract Data Types
- Programming from Specifications
- Python 2.2 is released
- Re-writing abstractions
- The Charity Language
- The History of T
- The CityScript Little Language
- Reading long discussion threads
- Real Programmers Don't Use Pascal
- Generic Java type inference is unsound
- MVC for dummies
- Backwards Debugging
- My Trip To Microsoft
- J and K: One User's View
- Haskell/Java VM Bridge
- How do we tell truths that might hurt?
- Abusive posts
- The Future of Compilers
- Python timeline
- Playing with Swiki
- syntax across languages
- Languages or tools to play with rewrite rules?
- Out of reach
- The Java Memory Model
- <bigwig>
- <bigwig>
- Parsing with the offside rule.
- MathML/DHTML
- Foundational Proof-Carrying Code
- Comparison of OO languages late-binding semantics
- Mozart-Oz
- Searching LtU
- Arc - An Unfinished Dialect of Lisp
- GNU lightning
- C++ FAQ LITE
- Designing Tapestry Mega-Components
- structural stability in large-scale software
- ElectricalFire
- Hitch Hiker's Guide to the Smalltalk Compiler
- VPython
- Standard C
- Design Principles Behind Smalltalk
November 2001
- Suneido language
- Java Generics and Method Objects
- JRockit
- Updating your Python reading list
- A book to learn from?
- Example little languages
- Spirit Parser Framework
- DSLs: A Logical Approach
- RDF query language interpreter
- Lego in PostScript
- Awklisp
- Domain-Specific Languages: An Annotated Bibliography
- xsl-editors mailing list
- Beseme Project Overview
- Message2060
- LC stuff
- Quotation Help Wanted
- Reminder: Lightweight Languages Workshop
- XSLT and XQuery: a difference of culture
- Wirth: On the Design of Programming Languages
- C# From A Java Developer's Perspective
- History of the biohazard symbol
- Hoare's "Hints for Programming Language Design".
- Abstract Interpretation (good lecture notes)
- James Clark: The Design of RELAX NG
- SPITBOL 360
- Wonka - Embedded Java VM
- Automatically Restructuring Programs for the Web
- Kent M. Pitman's Second Wind
- Piccola - A Small Composition Language
- Formalizing the Safety of Java, the Java Virtual Machine and
- Self - The Power of Simplicity (Prototype Oriented versus Object Oriented)
- Java definite assignment
- Why learn FP?
- Readership skills and graphical programming
- Object-oriented programming and protected objects
- H-M type inference and imperative language features
- Types vs. Sets
- Handbook of Automated Reasoning
- Web Services Inspection Language
- Message1977
- Ada Programming Competition
- Dispelling Java programming language myths
- Kent M. Pitman Answers On Lisp
- Haskell Communities
- A modular module system
- IBM XSL Formatting Objects Composer
- BlueJ - The interactive Java environment
- PROLAC: Language for protocol compilation
- Dynamo- Dynamic Logic Programming
- Semantics with Applications
- Generic Haskell
- Command Line Hacks
- An Introduction to Esterel
October 2001
- Children’s Understanding of Process and Robot Behaviors
- GCC 3.0: The State of the Source
- Hating VBScript
- Contracts Reading List
- Role of Programming Languages Study in Programmer Education
- XQuery implementation demo
- Jikes Research Virtual Machine (RVM)
- Message1925
- The Sound of Silence
- Patterns for Scripted Applications and scripting
- Instruction scheduling and imperative functional programming
- Lambda The Ultimate: Topic Index
- Implementing Dynamic Language Features in Java
- Lambda Prolog
- Multiple inheritance thru automated delegation in Java
- FP in Scheme: A WWW-oriented approach
- Elucidative Programming
- Higher-order logic programming in Prolog
- Lightweight Languages Workshop 2001
- Generators in Python, Icon and Scheme
- Java.NET
- Ask Kent M. Pitman About Lisp, Scheme And More
- Embedded Java
- How To Steal Code or Inventing The Wheel Only Once
- Squeak ECOOP 2001 tutorial
- The Evolution of a Haskell Programmer
- programming languages with chicken
- Haskell for circuit description
- The countdown problem
- Erlang in Real Time
- Charming Python : Iterators and simple generators
- Lambda: the ultimate "little language"
- A lingua franca for the Internet
- Erlang tutorial and history
- Python Compared to Other Languages
- Object-Oriented Scripting in Ruby
- Erlang to OTP: A heavy duty TCP/IP Client Server application
September 2001
- Scheme interpreter in Javascript
- Java Performance
- SLAM project at Microsoft Research
- A semantics for imprecise exceptions
- Language Laziness Test
- Now online! Ada 95: The Craft of Object-Oriented Programming
- SPARK and Abstract Interpretation
- Robocode
- Chuck Moore holds Forth
- Eclipse
- Time Off
- The Pros and Cons of XML
- Whither Now C++?
- The Visual Language of Experts in Graphic Design
- Programming Languages White Papers
- Cyclone - a next generation systems language
- Genuinely Functional User Interfaces
- Results of 4th ICFP Programming Contest
- Maya - Syntax extension for Java
- Lisp Plus Plus
- PythonCard
- Adam Bosworth interview
- Lisp: A Language for Stratified Design
- Programming Puns
- Computer Programming for Everybody
August 2001
- The myth of code-centricity
- Dynamic Web Sites with XML, XSLT and JSP
- Is Java Language Neutral?
- Wired Rave Awards
- Garbage collection vs. reference counting in .NET
- Quick-and-dirty Java programming
- Bibliography of Scheme-related Research
- Category theory for non-mathematicians
- System CT
- Resources
- XML Spy 4.0 Public Beta 3 ( XSLT Designer )
- Worse Is Better
- Flexibility
- Beyond JS (library)
- Specifying reusable components using Contracts
- Language observations weblog
- Building an Extensible Menu Class
- The D Programming Language
- Fowler: Reducing Coupling
- Will Open Source Lose the Battle for the Web?
- Unifying types and classes in Python 2.2
- Sequentiality and the Pi-Calculus
- Industrial-Strength Functional Programming
- VMlambda: A Functional Calculus for Scientific Discovery
- Intro to the Common Language Infrastructure with David Stutz
- Typed Prolog
- Getting Up to Speed with Velocity
- Generating all n-tuples
- Java: Good and Bad
- Mechanizing the Development of Software
- Generic Programming in Haskell
- AOS VM
- PLEAC - Programming Language Examples Alike Cookbook
- Using XSLT for content management
- PBD and XML ?
- Folding over trees
- It's all about sharing
- CS 6520: Programming Languages and Semantics
- for and against conservative GC
- The ICFP Programming Contest is underway!
- txl -- an interesting language transformation tool
- Warren's Abstract Machine
- STL container's allocated space
July 2001
- The Salishan problems
- genericity using class substitution
- Python's proposed change to integer division
- cayenne: haskell with dependent types
- Happy Birthday LtU
- Programming by Demonstration
- C++ in the Real World: Advice from the Trenches
- circle "is-a" ellipse: round 42
- A Software Engineering Perspective on Algorithmics
- RDF Applications with Prolog (II)
- Next Generation Programming Language Research
- OOPSLA 2001
- Message1545
- ML Functors
- Miscellany
- Gosling: The Story of Java
- CSP for Java
- Question for y'all
- The pi-calculus: a Theory of Mobile Processes
- Using object methods with functional programming
- XML's Greatest Hits (And Misses)
- Simon Peyton Jones
- Hidden complexities of tail-call/tail-recursion optimization
- Message1527
- Miguel de Icaza on .NET
- Non-Software Examples of Software Design Patterns
- A History of CLU
- Efficient Prolog: A Practical Guide
- Cross-Language Implementation mailing list
- ICFP PROGRAMMING CONTEST
- Programming language theory texts online
- XQuery implementations
- Portable.NET
- Scheme Personality Test
- Lambda the Ultimate: Topic List
- Language Independent Arithmetic (LIA-2)
- Processing XML with Java
- Chuck Moore has a website
- Time off
- Departments
- Stroustrup FAQs
June 2001
- Constrained Genericity
- Microsoft Plans Shared Source .NET
- Linux Mag: GCC.NET
- Classes Containing Large Classes
- Software Design and Management Conference 2001
- Java is not type-safe
- Advanced Module Systems: A Guide for the Perplexed
- Google searches
- List of first programming languages
- JXTA spec available
- Multimedia programming in Python
- Nokia Releases Java-Friendly Phone
- Liskov Substitution all over again
- The decline of C++?
- Message1468
- Alan Cooper Infoworld interview
- On the Unusual Effectiveness of Logic in Computer Science
- Sun to change Java language
- Conference on Generic Programming
- Pioneers of the FORTRAN Programming Language
- Java as a CS Introductory Language?
- Three Myths of XML
- Categorical Logic and Type Theory
- Disney Losing Kay & Team
- Generics for the CLR
- Learning a new programming language
- Java and the Java Virtual Machine - Definition, Verification
- Version 9.4.0 of Icon
- XDuce: A Typed XML Processing Language
- Suitability of APL2 for Music
- .NET Goodies
- XHTML Events
- Type-Based Analysis and Applications
- JavaOne
- Java is not a hairball - Official
- Couple of Usenet threads
- C# for Java Programmers
- Visual Studio .NET vs. IBM WSDE
- subtraction and division in lambda-calculus
- Hardware Support for Objects/Java
- Sun admits ASP better than Java for Web
- First JDO implementation
- Knock Knock
- It all depends on what you mean by ($f)
- Conversations on .NET
May 2001
- Python 9: Interview with Bruce Eckel
- Double Check Locking In Java
- A Functional Pattern System for OO Design
- Compiler reliability
- SICP lectures online
- EJB stories
- 19th Century Logic and 21st Century Computing
- .Net x 2 + Mozart
- Scott Meyers: Future directions for C++.
- Why Threads Are A Bad Idea (and E)
- Python Cookbook
- strange problem
- Java-based supercomputing
- Java 1.4 adds Assertions
- Templates (C++, FPLs)
- IBM releases web-services flow language
- Will Java always be slower than C++
- Prolog (database)
- Message1359
- Functional Programming Archive
- Heap Profiling for Space Efficiency
- Hat - The Haskell Tracer
- The Evolution of Lisp
- On the Flexibility of Programming Languages
- Dynamic Languages Panel download
- Comprehending Monads
- C Books
- Programming Competition
- Perl Exegesis (examples)
- Adaptive Software
- The VB.NET Hillbillies
- Python, Redux
- Ada-Europe'2001
- How fundamental is information?
- Generics & Java
- Today! - Dynamic Languages Wizards Panel
- Python, XML, .NET - Lutz Interview
- Simula and Smalltalk: A Social and Political History
- Handling Graphs in Functional PLs
- Design Principles Behind Smalltalk
- Google stops indexing these servers
- Janos VM is available
- FACT - Multiparadigm Programming with C++
- FP in Python
- 99 Bottles: Take one down...
- Haskell Simulator of Quantum Computer
- Simple explanation of Continuation Passing
- Type Theory for Certified Code
- (Lisp) Beating the Averages
- Further information on "Beating The Averages"
- Lisp History
- Microsoft vs. Open Source
- The Objective-C Language
- Java IAQ: Infrequently Asked Questions
- Usefullness of Assertions in C
- EJB 2.0 Proposed Final Draft 2
- Python Iterators (proposal)
- Garbage Collection Can Be Faster Than Stack Allocation
- Comparing Two Garbage Collectors for C++
April 2001
- elj Roundup
- Uniprocessor Garbage Collection Techniques
- Q - Equational Programming Language
- Eric S. Raymond - Why Python?
- RDF Applications in Prolog
- BRICS Activities
- Future Directions for C++
- Literature on Programming Languages
- Mercury Programming Language
- Links to JFP Papers
- Scheme as a web server language/OS
- Scheme as a web server language/OS
- Meta-interpretation
- Server-side scripting languages
- Computability and Recursion
- Message1177
- Posting to front page (Pliant!)
- Squeak books
- The Zen of Python (by Tim Peters)
- Jython Servlet
- APL2001 - An Arrays Odyssey
- Free Zope Hosting
- Slashdot: Python + Ruby
- A practical lambda-calculator
- Quickies (GHC/OO-FP/Generative P)
- Message1148
- Java History
- Polymorphism from a type-oriented point of view
- Patterns for Domain Specific Languages
- FunDeps (Type classes, databases and more)
- Scripting: Higher Level Programming
- Squeak at 3.0
- XML and Scheme (SXML)
- Message1136
- ambiguous sentences
- Updated topic indexes
- Semiotics for Beginners
- Iteration Abstraction in Sather
- Interpreter Construction Framework
- Java Design Flaws
- Natural Language Programming
- Curl on /. + Quickies
- An Analysis of the Divergence of Two Sather Dialects
- A survey of optimization techniques
- Defining predicate
- Continuation examples
- A Perl Hacker in the Land of Python
- Haskell + Xml
- Flow Based Programming
- Message1055
- C# interview / OOP in any language
- Optimizations
- "Maths is true by accident."
- Bertrand Meyer Online Interview
- Larry Wall on Perl6
- Catching more errors at compile with Generic Java
- Lambda Calculi : A Guide for Computer Scientists - Hankin
- Visual Haskell
- Hits + Speed
- Missing Medium
- Message1064
- Test Shows 99.99% of High School Seniors Can't Read Perl
March 2001
- Quickies
- Sharing Code through First-class Environments
- Programming with pictures
- Curl goes to 1.0 Release
- Labanotation
- The TUNES Problem
- Message1044
- Notation as a Tool of Thought - Kenneth E. Iverson
- J2EEConnector Specification
- (Elegant) Recursive Ascent Parsing
- Lambda Dance
- Metamorphic Programming
- Technology for e-business
- Is Design Dead?
- More Papers
- C-like Functional Programming Languages
- Depressing, but true
- Archived
- Coding standards in C++
- Category Theory for the working computer scientist
- Vier und Neun
- Using Mix-ins with Python
- PROGRAMMING WITH {SETS}
- Moving FP from Academia
- Design Patterns in Dynamic Programming
- Why People Aren't Using Haskell
- Haskell v Ada v C++ v Awk v ...
- Object Functional Patterns
- C and system-level design
- Alan J. Perlis Epigrams
- Logic Programming
- Atoms as Objects?
- Was Ada Lovelace the first computer programmer?
- Software Development Magazine
- Concepts, Techniques and Models of CP
- Guido on Python
- Bruce Eckel: Why I Love Python
- CFP: First workshop on multi-language infrastructure...
- Introduction to Lambda Calculus
- Essentials of Programming Languages, 2e
- Aspect-Oriented Programming with AspectJ™
- Saxon: The Anatomy of an XSLT processor
- A skeptic's look at C#
- EJB discussion (and criticisms)
- Extended Static Checking for Java
- Compaq Web Language
- Language Support for Disributed Processing
- The Impact of The Lambda Calculus...
- Python Helps Disney Write a New Script
- Linguistic Relativity Hypothesis
- RFC: A Little IDL
- Contributors Needed!
- The Essence of Compiling with Continutations
- Perl Paraphernalia
- History of Programming Languages (Mirror Page)
- Model Checking Java Programs Using Java PathFinder
February 2001
- non plain-textual programming languages
- More typing debates!
- Jonas EJB Server
- GHood -- a graphical viewer for Hood
- XQuery, XSLT "overlap" debated (xmlhack)
- Obituary: Herbert Simon
- XSLT Extensions Revisited
- Functional Programming in Python
- The Man Who Listens to Horses
- Functional style in Perl
- Scheme on .NET
- Identity Problems
- EJB critique
- PSP Experiences
- Alan Kay: Software Design, the Future of Programming...
- Stroustrap interview at LinuxWorld
- Message886
- Review of Python Books
- Functional Images 2
- Tech Interview Questions
- Real Time Processing
- Critical Acclaim
- The Discoveries of Continuations - Reynolds
- Persistent Lisp (Mop Inside)
- iContract: DbC for Java
- F-Script programming language
- DBC for Lisp
- A Critique of Standard ML, Andrew Appel
- Object-Oriented C
- A "Popular Science" treatment of FP/OOP?
- The Esoteric Programming Languages Ring
- Using Physical Dimensions
- Comparison of Haskell (GHC) and ML (SML/NJ)
- FP and XML
- Y Combinator in Ruby
- Typeful Programming
- Struts, an open-source MVC implementation
- OCaml on top of JVM/.NET
- Smalltalk-80: The Language and Its Implementation
- Typing Haskell in Haskell
- Garbage Collection and the Radioactive Decay Model
- Prolog Programming A First Course
- Smalltalk-style o/p in Python
- Larry Wall interview
- Unix's Zoo of Languages
- Rearranging Haskell's Type Classes
- Prolog tutorial
- Quilt: an XML Query Language
- First Course Language List
- SILK - A Playful Blend of Scheme and Java
- Embedding Prolog into Haskell
- Sociology of Language Development (Python)
- SMLNJ RIP?
- End-User XML oriented proramming
- Computing Curricula 2001
- Interface based programming
- The 8th International Static Analysis Symposium
- Cultured Perl: Perl 5.6 for C and Java programmers
- G. Castagna. Covariance and contravariance: conflict without
- Third ACM SIGPLAN Workshop on Continuations
- Intro to call-with-current-continuation
- Heterogenous lists (existential types)
- Stockhausen
- Oz Grows Up
- elj Roundup
- Soft Typing
- XML in the technology food chain...
- Marco Cantù's Essential Pascal
January 2001
- Death of the client
- Poytypism in Practice
- Hits hits hits!
- Type safety
- APL Books
- Algorithmic Theories of Everything
- Design By Contract
- SICP Text Online
- Combinator Parsers
- Scripted wrappers for legacy applications
- Patterns for teaching Patterns
- Purely Functional Data Structures
- Beautiful code?
- Python 2.1 Alpha
- Covariant methods in Java
- Compiling with Continuations
- Generic Programming for Idiots
- XML-RPC HOWTO
- Functional Images
- How Do Linguists Learn Languages
- Perl Style Regular Expressions in Prolog
- OpenC++
- If I were Dean
- VB.Net and backwards compatibility
- Scheme & Lisp Language War
- SNOBOL Tutorial and Reference
- Eiffel Struggle Results
- SQL for Smarties
- Unicon - Unified Extended Dialect of Icon
- Tips to make you a better XSLT programmer
- Windows Scripting
- XSL on the client
- OCaml Tutorials and Summary
- Alice and computer programming for everybody
- ACM Classic of the Month
- Understanding Lispishness
- (Systems) Software Research is Irrelevant
- XSL: 99 Bottles of Beer
- While on the topic of generic programming
- C# Literature and Interviews
- Message563
- Anti-Java Article
- Compilers and Compiler Generators
- History of APL and J
- Comparisons between languages for performance.
- Programming Language Use Breakdown
- Bash Reference Manual
- More on Curl
- Generic Programming
- Roll your own with JavaCC
- Testing Graphical Applications
- Language testers wanted
- Math for the Layman, by Dr. Ken Iverson
- diagram & history of languages
- Infer: A Statically-typed Dialect of Scheme
- after vertical layout, what about horizontal layout?
- diagram & history of programming languages
- Interesting discussion on almost everything