2003–2026
1,127 posts
2026 6
May 2026
April 2026
March 2026
2023 3
March 2023
2022 7
December 2022
- Computer History Museum releases PostScript source
- Matt Hellige
- The Verse Calculus: a Core Calculus for Functional Logic Programming
August 2022
February 2022
2021 11
October 2021
June 2021
April 2021
- Google announces Logica: organizing your data queries, making them universally reusable and fun
- Coq will be renamed
- Ohad Kammar
January 2021
2020 8
September 2020
July 2020
- The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy
- Manuel J. Simoni
April 2020
February 2020
2019 9
September 2019
August 2019
June 2019
April 2019
March 2019
2018 20
September 2018
August 2018
July 2018
- Notes on notation and thought
- Safe Dynamic Memory Management in Ada and SPARK
- ICFP Programming Contest 2018
- Transfer of pywer
- Captcha
- next page
- Allan McInnes
- "C Is Not a Low-level Language"
May 2018
April 2018
March 2018
- How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules
- Why Is SQLite Coded In C
- Resource Polymorphism
- The Left Hand of Equals
February 2018
January 2018
2017 41
December 2017
- next page
- People of Programming Languages Interviews
- Exploiting Vector Instructions with Generalized Stream Fusion
November 2017
October 2017
- Is Haskell the right language for teaching functional programming principles?
- "8th" - a gentle introduction to a modern Forth
September 2017
- Rys McCusker
- Project Loom: adding fibers and continuations to Java
- Copattern matching and first-class observations in OCaml, with a macro
- Greg Buchholz
- Non-determinism: a sublanguage rather than a monad
- A unified approach to solving seven programming problems
- ICFP 2017 live streaming
August 2017
- next page
- Proceedings of the ACM on Programming Languages
- Graydon Hoare: What next for compiled languages?
- Review of Graham Hutton's Programming in Haskell, 2e
July 2017
- Happy Birthday, dear Lambda: 17 is good edition
- Implementing Algebraic Effects in C
- Project Snowflake: Non-blocking safe manual memory management in .NET
- The Syntax and Semantics of Quantitative Type Theory
- User
- hobbes, Morgan Stanley OSS
- Node
- RustBelt: Securing the Foundations of the Rust Programming Language
- next page
- Undefined Behavior in 2017
- YOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters
- The APL Idiom List
June 2017
- Co-hygiene and quantum gravity
- Jean Sammet, Co-Designer of a Pioneering Computer Language, Dies at 89
May 2017
April 2017
March 2017
January 2017
2016 33
December 2016
November 2016
- Joe Armstrong Interviews Alan Kay
- discussion)
- Salon des Refusés -- Dialectics for new computer science
- Proving Programs Correct Using Plain Old Java Types
September 2016
August 2016
- PowerShell is open sourced and is available on Linux
- Philip Wadler: Category Theory for the Working Hacker
July 2016
June 2016
- Dynamic Witnesses for Static Type Errors (or, ill-typed programs usually go wrong)
- Set-Theoretic Types for Polymorphic Variants
- How to Build Static Checking Systems Using Orders of Magnitude Less Code
May 2016
April 2016
- next page
- Simon Peyton Jones elected into the Royal Society Fellowship
- Bryan Turner
- Chez Scheme now open-source
- Remora: An Array-Oriented Language with Static Rank Polymorphism
- Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance
March 2016
- Usability of Programming Languages SIG at CHI'2016
- C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths”
February 2016
January 2016
2015 26
December 2015
November 2015
- Static vs. Dynamic Languages: A Literature Review
- BWK on "How to succeed in language design without really trying"
- Compilers as Assistants
- Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega
October 2015
- Blaisorblade
- On type safety for core Scala: "From F to DOT: Type Soundness Proofs with Definitional Interpreters"
- GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness
- Optimizing Closures in O(0) time
September 2015
- Dependent Types for Low-Level Programming
- Xavier Leroy will receive the Royal Society's 2016 Milner Award
- next page
- Coroutines with async and await syntax (Python 3.5)
- Ancient use of generators
- Portable Efficient Assembly Code-generation in High-level Python
- Freer Monads, More Extensible Effects
August 2015
- Haskell for Mac
- Reagents: Expressing and Composing Fine-grained Concurrency
- OcaPic: Programming PIC microcontrollers in OCaml
- Wolf Logan
July 2015
June 2015
May 2015
January 2015
2014 6
November 2014
October 2014
August 2014
July 2014
2012 3
July 2012
March 2012
2010 10
October 2010
September 2010
July 2010
February 2010
2009 1
November 2009
2008 2
October 2008
July 2008
2006 3
July 2006
June 2006
March 2006
2005 1
January 2005
2004 317
August 2004
June 2004
- Departments
- View
- Feedback
- Lambda archive2
- Lambda archive1
- last page
- View
- We have moved!
- EuroHaskell 2004
- Courses
- Research Papers
- Design Docs
- Quotations
- Genealogical Diagrams
- Message12710
- ICFP Accepted papers
- Cog code generator
- Be advised
- Our new location (not active yet!)
- Extensible Code Generation with Java
- No new items?
- Anders Hejlsberg - Tour through computing industry history at the Microsoft Museum
- Future of Lambda?
- Anders Hejlsberg - What's so great about generics?
- Slow News Day: How About Some Benchmarks?
- Adding Wildcards to Java
- EuroPython'2004 Slides
- Roles of Variables
- An Introduction to the XQuery (and XPath 2.0) Type System: The Impact on XQuery and XPath
- Meta Math - new Chaitin Book
- ToonTalk
- How an idea becomes a C# language feature?
- Axiom Computer Algebra System
- Robert Kowalski's publications
- OnLamp: Paul Graham on Hacking
- Nullable Types
- Ward Cunningham - Do you get religious about programming languages?
- The view from the left
- RT++ Higher Order Threads for C++
- Towards a Natural Theory of Programming Languages
- New vector language: Glee
May 2004
- Catching Uncaught Exceptions in JDK 1.5
- POOSL: Parallel Object-Oriented Specification Language
- Years of CSP
- The Case for First Class Messages
- The SkyNet Virus: Why it is Unstoppable; How to Stop it
- Continuations in Java and Java-based Web Frameworks
- new Vector Language: Glee
- Perl - Periodic Table of the Operators
- Case Study in Practical Language Use
- Turing completeness is not?
- Holiday
- Growing a Language
- Pointcuts and Advice in Higher-Order Languages
- AFP 2004
- Syntax-rules Primer
- Selective Open Recursion: A Solution to the Fragile Base Class Problem
- Lua Shines
- Nice collection of quotes
- The First Report on Scheme Revisited
- Wolfram's Future Math
- SPARK and high integrity software
- A Security Kernel Based on the Lambda-Calculus
- Extensible Programming for the 21st Century
- XSLT 2.0 in System.XML V2.0 ?
- Message12318
- Untangling the balancing and searching of balanced binary search trees
- LiveType Font Constraint Programming
- Aspect-Oriented Programming for Distributed Systems
- Haskell-Coloured Petri Nets
- Lisp Machine Progress Report
- The GNU 64-bit PL8 compiler
- Composing Monads using Coproducts
- Composing Monads using Coproducts
- lambda-calculus and types
- A Type Theory for Memory Allocation and Data Layout
- Moiell (aka Leoll++)
- late binding and self reference
- Why Learning Assembly Language is Still a Good Idea
- Udell discusses XBRL
- Programming as if Performance Mattered
- P# - Prolog compiler for .Net
- The Haskell Road to Logic, Maths and Programming
- Object-Oriented Programming Enhancements in Ada200Y
- Spreadsheet structure discovery
- A Generic Component Framework for System Modeling
- Tim Bray: Jython
- miniKanren: A declarative applicative logic programming system
- Pike 7.6 Released
- Prolog and Mercury Compared
- The Theory of Classification
- Lambda Lifting
- Programming in dc
- Spike in erlang
- Software safety by the numbers
- Special Topics in Domain Specific Languages (course)
- Enjoy the Soundness
April 2004
- Udell: Radical software customization
- When and How to Develop Domain-Specific Languages
- A Practical Theory of Programming
- Interpretation of the curry-howard isomorphism
- New version of Self released
- 2004 ICFP Programming Contest Announced
- UML and DSLs
- Excel examples
- Refal programming language
- Message12049
- Globus Project for Grid Computing
- Message11880
- Mozart Oz 1.3.0 Released
- VC++ Security Checks at Runtime and Compile Time
- A Modal Language for Effects
- Apocalypse 12 is out
- Tunneling Variables
- Alan Kay to receive Turing Award
- Linj - creates Java code from CL derivative
- Circular references
- RDFEngine
- Comega (C Omega) Language
- Calculating the Sieve of Eratosthenes
- Validating the Unit Correctness of Spreadsheet Programs
- Fractal Music (and a Personal Introduction)
- IJCAR 2004 Tutorial Program
- MS C++ Compiler Freely Available
- Apocalypse 12: Perl 6 OO
- Why, Krakatoa and Caduceus: Software proof
- Java to gain multitasking improvements
- Draining the Language out of Color
- Message11866
- The Sound of Mathematics
- OpenStack Collaborative Computing
- KANREN -- logic programming in Scheme
- Narcissus: JavaScript in JavaScript
- Impedance mismatch: RDBMS and PLs
- Dating Design Patterns
- 1st European Lisp and Scheme Workshop
- Simple scripting language
- New Language Features in C# 2.0, Part 1
- Teach Yourself Scheme in Fixnum Days
- Play nice...
- Parallel-Concurrent Programming Dept.
- April Second...
- Dying Tongues
- Eric Lippert does SimpleScript
- CCSL Tutorial
- Message11724
- Taming the x86 beast
- Static Type Inference (for Python) with Starkiller
- Semantic Web scripting languages
- Making Oz capability-secure
March 2004
- Implementing Distributed Systems Using Linear Naming
- Prothon
- K.R. Apt: Principles of Constraint Programming
- The Logic Programming Paradigm and Prolog
- What does Hello World show?
- XQuery Normalizer and Static Analyzer (alphaWorks)
- Why I Like PLT Scheme
- New department: parallel and distributed languages and paradigms
- distcc: a fast, free distributed C/C++ compiler
- Domain-Specific Modeling Languages
- A Eulogy for HyperCard
- Scripting with Free Software Rexx implementations
- Message11639
- PyCon Papers
- Two impromptus--or how Python helped us design our kitchen
- Game Theory and Constratint Programming
- Min-Maxing languages
- Cross-language future of open source desktops
- Y derived
- The Fault Tolerant Shell
- 'Concepts, Techniques, and Models' is a real book
- Post-Java Era : Back to Dynamicity
- Bad Engineering Properties of Object-Oriented Languages
- Gibbons: Metamorphisms and streaming algorithms
- Learning FP Through MultiMedia
- Bruce Eckel on Java generics
- Dressing up Self in JavaScript
- PL Points of View
- PL Points of View or Why we do that thing we do?
- xtc – eXTensible C
- Video lectures on SICP
- Site Availability
- Introduction to (Formal) Type Systems
- History of Programming Languages Seminar (Felleisen)
- J is free again (as in beer)
- Every Language War Ever
- Categories for Everybody
- New Department
- C++ Template Metaprograms
- C++ Expression Templates
- PyCon 2004 Talks
- Guaranteed Optimization for Domain-Specific Programming
- Book Review: Purely Functional Data Structures
- Practical Aspects of Multi-Stage Programming
- Fun and Games with Multi-Language Development
- CLR Hosting
- Message11450
- Metaprogramming, Toast and the Future of Development Tools
- EclipseCon 2004 Presentations
- Berkeley Visionaries Prognosticate About the Future
- Proof Theory of Martin-Lof Type Thoery - And Overview
- Waldo on "Types"
- Eidola Language
- A Prolog Introduction for Hackers
February 2004
- Monads in Scheme
- Polymorphic Variants
- The Vector
- 2nd edition of Code Complete
- MIT Theta Language and Thor Distributed OO Database
- Open-source C compiler targets FPGAs
- Python 'for' as Scheme 'let'
- Control operators
- The Next Move in Programming (Livschitz interview)
- Elements of Basic Category Theory
- Finalization (CLR)
- Environment Classifiers
- Microsoft Xen On Track to Debut as 'X Omega'
- Nemerle
- Interview with Intel's C++ Compiler Team
- Why's (Poignant) Guide to Ruby
- Basic Principles of Code Access Security
- hOp - Haskell Micro-Kernel
- DDJ, March 2004, Programming Languages
- Using SimCity to teach recursion
- Elements of Basic Category Theory
- Packrat Parsing
- Hancock - a TIA DSL?
- Martin Fowler on Domain Specific Languages
- Software Fault Prevention by Language Choice
- OCaml, an Introduction
- Udell: Programs that write programs
- History of Lua
- Generics in the CLR (MSDN)
- Embedding Lisp/Logic for Robotics
- Why is Ada Special?
- Collaborations+CrosscuttingConcerns
- Two more Hebrew tutorials
- CLR Design Choices
- Message11054
- PLT Spy - Python in Scheme
- LtU FAQ Update
- Currying of Complex Interfaces
- GraphPath
- Scope, generators and list comprehensions (Python)
- Designing a "Business Layer"
- Midland Graduate School 2004 / APPSEM Spring School 2004
- Building Collaboration into IDEs
- What's New in J2SE 1.5 Beta 1 Release
- New Scientist interview with Alexandra Aikhenvald
- Sina Language and Composition Filters
- Data as code
- Drafting Legislation Using XML
January 2004
- Real-Time OO Conf. - ISORC 2004
- Graphite DSL for Advanced Typography
- Implicit params in Haskell
- Apology
- TCLP is a type checker for Prolog dialects
- Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )
- Anders Hejlsberg interview on Generics in C#
- Programming OOP Pattern Libraries
- Concept programming
- Why Events Are a Bad Idea
- Squeak: a Language for Communicating with Mice
- Playful, streamlike computation
- The Lambda ethos
- Micro Autonomous Underwater Vehicles and Smalltalk
- Udell on licensing and lock-in
- The Art of Unix Programming
- "Why Events Are A Bad Idea"
- Testing the C# compiler
- Algorithmic complexity of evaluation: lazy, eager, pure and impure
- Great links
- Algorithmic complexity of evaluation: lazy, eager, pure and impure
- Mathematics of Program Construction Conf. 2004
- Processing: A language for visual arts
- FreshML - abstract syntax manipulation
- What is a Purely Functional Language?
- Reflection-Oriented Programming
- Java Syntactic Extender
- Macros for C++?
- DSL for financial contracts
- The Language Construction Kit
- Book on game scripting interpreters
- Eric Gunnerson on language design at Microsoft (well, sort of)
- DSL for financial contracts
- Klaus Wirth & Typeless Euler
- teaching programming; any research or results?
- Combining Generics, Pre-Compilation and Sharing Between Software-Based Processes
- Brian Harvey books available online
- Brian Harvey books available online
- MFA in Software: trial run
- Lisp Machines
- CW'04 Advance Program
- FxCop & DSLs
- Learn Prolog Now!
- categories study group
- Concepts: Design choices for template argument checking
- Thoughts From The Head
- Erik Meijer on LtU
- DSL Implementation in MetaOCaml, Template Haskell, and C++
- The Behavior of Behavior
- Python versus Parrot challenge, the Pie-thon
- Canonware Onyx
- Continuations: Haystack and Python
- Why Objects Have Failed
- ML-like Inference for Classifiers
- Groovy Language
- Free Smalltalk Books
- Model-Based Integration of Embedded Software
- Continuations (and call/cc) in Haskell
- PEP 323: Copyable Iterators
- Perl as a community DSL
- A VB.NET Critique
- Message10536
- XMLSpy XSLT designer & end users
- ONLamp: What I Hate About Your Programming Language
2003 620
December 2003
- Bach & Software Composition
- Polyglot: extensible compiler framework
- Happy New Year!
- Aspects, Quantification & Obliviousness
- python - spidermonkey
- Hierarchy of Needs (adapted to Design)
- Kai von Fintel: Essential Readings in Semantics
- Color Cognition and Language
- VB.NET Critique
- Presentation slides for secure C Library
- A Comparative Study of Language Support for Generic Programming
- Changeable class in Avalon
- Data Structure + Algorithm Survey (Caml)
- Versioning XML Vocabularies
- PostScript control structures
- Sun MSFT Java C# CLR Big Picture
- BrookGPU
- Research Publication Modes Need to be Reengineered
- Short Cut Fusion is Correct
- Reading, Writing, and Code
- Twisted Matrix Networking for Python
- Feature wishes may be granted
- StarLogo: Give the Gift of Learning
- Sun Invites IBM, Cray To Work On New Computer Language
- The Java™ specs in a formal way
- XML for End Users
- 100 prisoners and a light bulb
- Comments Requested on SML-Based Graphics DSL
- Programming Languages: Application and Interpretation
- Over and Under in a Box
- The Sound of Lost Productivity
- Hugunin's IronPython
- The Big Bang Theory of IDEs
- JWIG: Java Extensions for High-Level Web Service Development
- Erlang/OTP User Conference (euc'2003) Proceedings
- A Clockwork Orange: Nadsat
- Dynamic Properties
- Events and Continuations
- Smalltalk-72 Manual
- Adding Apples to Oranges
- DSL in Software Development and Releation to Partial Evaluation
- Language Construction
- Book opinions?
- Understanding Aspects
- What is missing from or broken about XAML?
- Python Scripting Everywhere
- Logic Programming in the Context of Multiparadigm Programming: The Oz Experience
- nesC: A Holistic Approach to Networked Embedded Systems
- Knuth: Selected Papers on Computer Languages
- 50 Questions for a Language Designer
- Frappe: Functional Reactive Programming in Java
- Transparent Language Implementation and Design
- Don Knuth Book Tour!
- Antipathy to Type Systems
- Meijer: On The (Non) Value of Programming Language Research
- The Revised C++ Language Design Supporting .NET
- Why Functional Programming Matters
- Interview with Robin Milner
- ParentheC
- A Self-Study Course in Squeak
- Stanley Lippman's C++ Blog
November 2003
- A Logic for Shared Mutable Data Structures
- On Garbage Collection
- Is it time for another guest blogger?
- Lambda Calculus
- Thielecke: Contrasting exceptions and continuations
- 50 Questions for a Language Designer
- The dominant paradigm
- The JPie Interactive Programming Environment
- DSL for bookmarklets
- Interview with Robin Milner
- Language Relativity (one more time)
- Viewing code - how much is just right?
- Towards the best collection API
- Control handling primitives
- Message9991
- Another milestone
- Proceedings of the Scheme Workshop 2003
- An Unbounded Spigot Algorithm for the Digits of Pi
- FPGA's, Soft Cores and Custom CPU's.
- Making reliable distributed systems in the presence of software errors
- Notes on Programming in C
- Coplien: Teaching OO
- European Summer School on Logic, Language and Information
- Introducing Continuations
- O'Reilly blog entry on battling VMs
- A Survey of Object-Oriented Concepts
- Web Architecture: Extensible Languages
- You call that a Monad? This HERE's a Monad.... And a Shell.
- Ada and Java: real-time advantages
- Vital: A Visual Interactive Typed Applicative Language
- Languages by people in langsmiths@yahoogroups.com
- LL3 Webcast
- Message9845
- Exercises in Coalgebraic Specification
- PEP 289: Generator Expressions - Accepted for Py2.4
- EMACS: The Extensible, Customizable Display Editor
- Longhorn Command Shell ("Monad")
- Coalgebraic Reasoning about Classes in Object-Oriented Languages
- Dylan Evans: Computer Illiteracy
- SQL Server "Yukon" Beta 1 Transact-SQL Enhancements
- LLVM Compiler Infrastructure Project
- What does C have in common with a scalding cup of coffee?
- Converting Common Lisp to Dylan
- Dines Bjorner Software Engineering textbooks
- Interfaces : a special construct of OO-Languages like Java/C# or only a crook?
- First WinFx "application" written in SML
- Editors, Ahoy!
- Shape Theory
- The JScript Type System, Part One
- Macros vs. Higher-order Programming
- Bertrand Meyer on Software Quality
- MS PDC Session slides
- Nonalgorithmic programming
- Algebraic Specification: some old history, and new thoughts
- Ideas for a master's thesis related to Python
- A big thank you to Peter Van Roy
- Longhorn Markup Language (code-named "XAML") Overview
- CLR Panel notes
- Zero Button Testing
- A case study in class library verification: Java's vector class
October 2003
- X2EE Revamps J2EE
- Clean System 2.1 is released
- Introduction to the Base Class Libraries (.Net)
- XAML the future of UI programming?
- C# Language Specification 2.0 (new features)
- Longhorn CodeDOM
- Open Programming Services for Virtual Machines: The Design of Mozart and SEAM
- Conceptual Integrity in Erlang
- C# Language Specification 2.0 draft
- 1983-1993: The Wonder Years of Sequential Prolog Implementation
- Teaching programming
- Concurrency-oriented programming
- Distributed programming made easy
- Expressiveness versus execution speed
- State and modularity
- Dan Friedman: Object Oriented Style
- A Research C# Compiler
- B. Stroustrup: Serving the C++ Community
- Two-column LtU home page?
- Magic Omega and the Limits of Mathematics
- Peter Van Roy: Expressiveness versus execution speed
- Evolution of a Programmer (Joke)
- Type Safety in a Dynamically Extensible Class Library
- Dynamically scoped functions vs. AOP
- Erik Meijer: Visual Basic Programmers Love Anamorphisms
- Peter Van Roy here on LtU
- Peter's first three posts
- Flow Java: Declarative Concurrency for Java
- Black-Scholes in Multiple Languages
- Advanced Functional Programming wiki @ Harvard
- Visual Basic Programmers Love Anamorphisms
- Message9071
- Genetic Evolution of Novel Entities Through Composite Abstractions
- Proofs and Types
- Spreadsheet Languages
- Programming with Rectangles, Triangles, and Circles
- A gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination
- The Future of .NET Languages
- Papers in Coalgebra Theory and Applications
- The Philosophy of Ruby
- PDC: Designing the CLR
- HydroJ: Object-Oriented Pattern Matching for Evolvable Distributed Systems
- A Revolution in Logic?
- Admin notices
- PL/I and Multics
- Excellent tutorial on Scheme macros
- A Tutorial on Proof Theoretic Foundations of Logic Programming
- C++ Style Bjarne Stroustrup
- Stroustrup's C++ Style Sweet Spot
- Scarlet Language
- Historic Documents
- Evaluating API usability at Microsoft
- Domain-specific and general-purpose aspects of spreadsheet languages
- The SOUL Logic Meta Programming Tool
- CLR Exception Model
- TECHNICAL SYMPOSIUM ON SOFTWARE, SCIENCE & SOCIETY
- Tuples + Objects + Infosets =Too Much Stuff!
- "Proofs and Types" available online
- Glossary page on Lambda?
- OO Best Feature Poll
- Readable Java 1.5
- Lambda tutorial
- HaRe -- The Haskell Refactorer
- Historic Documents in Computer Science
- Self-application as a fixpoint of call/cc
September 2003
- Definitional Interpreters for Higher-Order Programming Languages
- Glossary
- Iota and Jot: the simplest languages?
- Deriving a grammar from source
- Douglas Adams: Frank The Vandal
- Lightweight Languages 3 call for presentations online
- Future of Haskell discussion @ Haskell Workshop
- Moving Away From XSLT
- Philip Greenspun: Lisp diehards = Holocaust deniers
- Smalltalk Reports
- JScript is a Functional Language
- Inherited Traits - Classes Like Never Before
- Whither Self
- Continuations Reading Group
- Vacation
- Why don't more people use Prolog?
- Best PL tutorials?
- Metaclass programming in Python, Part 2
- Best PL tutorial/intro?
- Python's Beachhead in OpenOffice: PyUNO
- DP-COOL 2003 Proceedings
- Inside every API is a programming language struggling to get out
- Reversible Garbage Collection (and more)
- Trivia: Programming Language Naming Patterns
- Functional Pearl: A fresh look at binary search trees
- Implementing Business Rules in the BC4J Framework
- Declarative Meta-programming
- Scheme in the Real World: A Case Study
- DP-COOL 2003 Proceedings
- No "theory of types" in legal systems
- Felix: The power language for C++ programmers
- Looking for B. Moura dissertation
- Using Ruby
- Mobile Applications Need Scripting Too!
- Dynamic languages and virtual machines
- Using an Abstracted Interpreter to Understand Abstract Interpretation
- The Little Haskellist (once again)
August 2003
- XQuery 1.0 and XPath 2.0 Formal Semantics
- Bare metal Smalltalk
- Kata Two: Iteration, Recursion and Continuations
- The Trouble with Checked Exceptions
- Translating human language to database query language
- Maybe Erlang is OO after all?
- Lisp books mini reviews
- Let C = Q in OCL
- Set-Theoretic and Other Elementary Models of the LC
- Patterns in Datatype-Generic Programming
- Guest Bloggers on LtU?
- Perl 6 Essentials / Chapter 1 / Project Overview
- Closures and mutability
- Memoization in Java Using Dynamic Proxy Classes
- Oracle PL/SQL Best Practices
- All About Monads
- Codata and Comonads in Haskell
- C language history
- Patterns of Software
- Calculating Functional Programs: maximum segment sum
- Quiz: Language inventor or serial killer?
- Udell: Symbol grounding, XML, and RDF
- The Design of Parallel Programming Languages
- N3 -- a notation for writing RDF
- Udell: Test before you leap into development
- How to make a FPL successful
- Proof methods for corecursive programs
- [meta] RSS feed questions...
- Seven Paradoxes of Object-Oriented Programming Languages
- Demo of VB "Whidbey"
- JDO Architectures
- Region-Based Model Abstraction
- JavaScript with Continuations and its use in Apache Cocoon
- amb and Quantum Computation in Scheme
- Calling LtU editors
- The Little MLer
- The Pragmatic Language
- Theorems for free!
- Term rewriting system for code generation, and its termination analysis
- What Would You Ask Anders Hejlsberg?
- Exegesis 6
- JavaScript with Continuations and its use in Apache Cocoon
- USENIX2003: A Logic File System
July 2003
- XML and Data Binding
- Gregor Kiczales on Aspect Oriented Programming
- Happy Birthday LtU
- Java Is a Language for the Masses
- A Type System Equivalent to Model Checking
- Microsoft Forges Ahead With New Compiler Technology
- Are delegates the moniker of .NET?
- Message Object Oriented vs Function Object Oriented
- Windows security flaw - buffer-overflow
- Change user info?
- Types and Programming Languages: TNG
- The Power and Philosophy of Ruby
- Adaptation in HOT Languages
- Code Reading: The Open Source Perspective
- Datatype Library Language (XML)
- Godiva - a Very High Level Dialect of Java
- Jef Raskin: The Woes of IDEs
- Category Theory for Beginners* (slides)
- Programming Linguistics
- Are Higher-Order Type Systems Too Hard?
- Invocations as objects
- Typeless Language Pattern Matching
- Reconciling OO and Haskell-Style Overloading
- Partial Types in C#
- Neal Stephenson's USENIX keynote
- Object-Oriented Style
- The PILER Decompilation System
- Lost in Space
- Message7598
- Web Services Federation Language (WS-Federation)
- Mug Shots
- Linguistic Universals and Particulars
- Practical type inference for arbitrary-rank types
- JOVIAL References
- Another busy week
- CDuce: a programming language adapted to the manipulation of XML documents
- Perl 6 Design Philosophy
- Concepts, Techniques and Models of Computer Programming
- ICFP 2003
- OO Weed Languages
- CLAIRE: Combining Sets, Search and Rules to Better Express Algorithms
- Flow Caml
- Why use RDF instead of just XML
- FAD - A Functional Analysis and Design Methodology
- A Pointless Derivation of Radixsort
June 2003
- RSS vs. Echo
- Using, Understanding, and Unraveling The OCaml Language
- D4 - A Relational Query Language
- Constructive Computation Theory. Course notes on lambda calculus
- Compilation of Functional Programming Languages using GCC -- Tail Calls
- CAESAR project
- Charming Python: Using combinatorial functions in the itertools module
- Vesta System Description Language
- ATC in Ada and in Real Time Java (RTSJ)
- OO Weed Languages
- Typetool
- Modern Static Typing: Less Code, Better Code
- Point Free Style
- James Gosling on Jackpot
- Logic for Computer Science: Foundations of Automatic Theorem Proving
- Message7362
- Croquet: A Collaboration Architecture
- Fun project
- Sun, Zend push scripting for Java
- The Little Coder's Predicament
- TPK Algorithm in Different Programming Languages
- C.A.R. Hoare 1980 ACM Turing Award Lecture
- Message7281
- Next week
- Infoworld: XML querying proposed as Java standard
- Hoare: The Emperor's Old Clothes
- A syntactic approach to type soundness
- a new programming language called Lingo
- Sun urges Java research with new license
- Macros as Multi-Stage Computations
- Ars Digita ( http://aduni.org ) Study Group
- MOP/AOP Talks (Kiczales)
- Efficient coroutine generation of constrained Gray sequences
- Extensible Syntax with Lexical Scoping
- A declarative debugger for Haskell 98
- Towards a new model of abstraction in the engineering of software
- Principles for Computer System Design
- Continuations as UI elements
- Software Complexity
- Evolving a programming language
- Adenine: A Metadata Programming Language
- Unification on Stateless Objects
- Front Page
- How-To Guide for Descriptors
- Shrink-wrap developers: what programming language?
- Fugue: A Protocol Checker for the dotNET CLR
- Type-safe Covariance in Eiffel
- CLR Memory Model
- What's Wrong with XML APIs
- Scripting Languages For Java
- David Mertz: Multimethods
- Preview of Java 1.5
- Python Success Stories
May 2003
- Site speed
- OO late-binding semantics
- Variance in Java Generics
- Variance in Java Generics
- Mixin Modules and Computational Effects
- What's wrong with C++ templates?
- EXSLT: Enhancing the Power of XSLT
- Designing and Implementing Combinator Languages
- Erlang is Icky
- Naked Objects
- Seven (give or take) Smalltalk Implementations
- The Fun of Programming
- Article on F#
- Coroutines in C
- Tiny C Compiler - with dynamic code gen
- Tim Bray: The History of RDF
- Identity crisis
- Site speed
- Description Logics in Data Management
- Microsoft Includes C# and ML Hybrid in .net
- High Level Language = Virtual Machine
- Destructors, Finalizers, and Synchronization
- The Tragedy of the API
- Module Concept For C++
- Language Myths Again
- Tools for rules
- A Foundation for Embedded Languages
- BCPL history, design, user guide
- Mother Tongues of Computer Languages
- What I Hate About Your Programming Language
- Language Once Was Key-Now It's Design
- Joshua Bloch interview on new features in Java 1.5
- Using Memory Errors to Attack a Virtual Machine
- Don Box on C# generics vs. C++ generics
- Dynamic Languages on CLR
- Microsoft DirectX High Level Shading Language
- What I Hate About Your Programming Language
- Devils and Angels, via Monads
- Weblog on CLR Implementation
- Tim Bray: Language fermentation
- A Hacker's Assistant
- Java 1.5 New Features
- Popular Math
- Yes, Bob, I too want to work in a dynamically typed language
- The New C++: Trip Report, October 2002
- A Language for Bi-Directional Tree Transformations
- #Smalltalk - another .Net language
- Alan Kay's talk at O'Reilly Emerging Technology Conference 2003
- Earliest Uses of Various Mathematical Symbols
- A bit about LtU being a community weblog
- XeLda: Enforcing Dimensional Consistency in Spreadsheets
- Python Metaclass Programming
- Unifying Tables, Objects and Documents
- FindBugs - A Bug Pattern Detector for Java
- A structural approach to reversible computation
- Functional Programming with Apomorphisms / Corecursion
April 2003
- 80x86 ASM for ASP.NET
- David McAllester's "Ontic" Language
- Schemix - A Scheme In The Linux Kernel
- JXXX Compiler Service
- How to make a fast curry: push/enter vs eval/apply
- Message6586
- Recovery Oriented Computing
- Dissecting Unlambda Birds
- Scapy - network DSL in Python
- Haskell Wiki
- More weblogs to read
- Message6551
- ACCU Spring Conference
- Selectors Make Analysis of case-lambda Too Hard
- The Next 700 Programming Languages
- Selling a language
- Programming language booksale
- PyCon 2003 Papers
- Several interesting books for sale
- Lambda The Ultimate: Topic Index
- The One Hundred Year Language
- Paul Graham: The Hundred Year Language.
- Computer Languages for Secondary Education
- Hundred Year Language
- LtU indexes
- Insecure Macho Love
- Message6437
- Handling Failures In Erlang
- The New Jersey Programming Languages and Systems Seminar Series
- Is the current crop of statically typed languages giving static typing a bad name?
- J. McCarthy: Towards a Mathematical Science of Computation
- open source visual programming environments?
- C# Programming Language Future Features
- Implicit Parameters: Dynamic Scoping with Static Types
- CSP book online in PDF
- Toward an architecture for quantum programming
- Glowing review of Shared Source CLI Essentials
- Putting Failure in Context: ADTs of Computations & Contexts
- Unifying Tables, Objects and Documents
- XML Shallow Parsing with Regular Expressions
- A Framework for Programming Embedded Systems
- Continuations
- Environment, scripting, and behavior
- Book and Course in Constraint Programming and Reasoning
- Escape Analysis for Java
- Whitespace
- NewCode, a secure PL
- Silly Style Guides
- Yahoo! Store Switches Back to Lisp
- Copying and Comparing: Problems and Solutions
- Javascript with native XML support
- Javascript with native XML support
March 2003
- Bulk types for functional programming
- Java object models debated
- Representing Monads
- Strategies for learning new languages
- Functional Images
- An abstract view of programming languages
- Lecture Notes on Algorithmic Information Theory
- XML Is Too Hard For Programmers
- Texts on concurrency?
- Bertrand Meyer: Review of Liberty's Programming C#
- C++ Templates: The Complete Guide
- Hungarian Notation
- 101 Perl Articles
- Visual Basic .NET 2003 Language Changes
- 1995 SQL Reunion: People, Projects, and Politics
- Getting started with JML
- Screamer: a Common Lisp library for non-determinism
- Crenshaw: Let's build a compiler
- Tarski's fixpoint theorem - history of use
- An AWK to C++ Translator
- I/O in Three Programming Paradigms
- Defensive programming in erlang
- Larry Wall: Apocalypse 6
- Tcl Core Team Interview
- Small Time Languages
- Is Inheritance a Pillar of OO?
- Selective Memoization
- Mixing paradigms (Python)
- Logic/Object Oriented Fusion
- Checked and unchecked exceptions in Java
- Lisp powers Jak & Daxter at Naughty Dog
- The SPARK Approach to Safety and Security - sample chapters
- Functional and logic paradigms...
- Java and C++ and object-oriented paradigms
- Glee: A new array language
- Copying, Cloning, and Marshalling in .NET
- Miranda
- When Is it OK To Invent New Tags?
- Server problems
- Domains and Denotational Semantics: History, Open Problems
- Domain Theory
- Exploring CSP
- Byte Code Engineering Library
- Message6000
- 6000 messages ago
- A Survey Of Rewriting Strategies
- [Template Meta-|Generic] Programming
- Linguistic side effects
- Confused about what Macros could be.
- Call-by-name is dual to call-by-value
- Message5995
- Parallel Functional Programming: An Introduction
- Control Transfer in Operating System Kernels
February 2003
- Y Store now C++
- The O'Ciao Approach to OO Logic Programming
- "My C++ Experience/Disaster"
- Language Evaluations
- Language Evaluations
- Notes on "Algebra of Programming"
- Jungerl: A jungle of Erlang code
- Tools for the short hike
- Clean now available under LGPL license
- Clean Now Available under LGPL License
- Superx++
- non-null types in an OO language
- Erlang: A Case Study of Technology Introduction
- Finite State Machines in Forth
- Trees with parent "pointers"
- Checking polynomial time complexity with types
- Language Features for Executable Patterns
- Contrary Accumulator Generator
- Open Implementations and Metaobject Protocols
- The essence of compiling exceptions
- Python 2.3a2 was released on February 19, 2003
- Paul Graham: Accumulator Generator
- Designing Reusable Classes (PDF)
- Apache vs. Yaws
- Ward Cunningham: Testing, Types, and More
- Evolution of Indo-European Languages using ASP
- Learning Haskell portal
- Answer set programming and plan generation
- 0th IOHCC - Obfuscated Haskell Contest
- Impressions of the International Lisp conference ILC2002
- More on static vs. dynamic typing
- Wearing the hair shirt: a retrospective on Haskell
- Why We Refactored JUnit
- Jon Udell: Shipping the prototype
- New Tunes site
- This here being a community weblog...
- Matthias Felleisen:The Human Language Interface (ppt)
- Partial Evaluation (slides)
- Tunes.org and its review site updated.
- A Taxonomy of Program Transformation
- Ed Felten: Programs vs. Data
- Rebel with a Cause
- SXSLT presentation, types, and XQuery
- Bertrand Meyer: Proving Program Pointer Properties
- Proof Theory mailing list
January 2003
- How Java's Floating Point Hurts Everyone Everywhere
- MSDN: C# and Java - Comparing Programming Languages
- Guido van Rossum: Programming at Python Speed
- What a URI identifies
- S#.NET Tech Preview Release Information
- Constraint Logic Programming: A Survey
- Dynamic Languages on .NET
- Oleg: Formalization of two Puzzles Involving Knowledge
- Blue & BlueJ
- Inhouse training
- Using Redundancies to Find Errors
- ESSLLI 2003 - 18-29 August
- NetLogo
- Vault released
- Typed Logical Variables in Haskell
- java vs. C# speed comparisons?
- Programming languages will become OSs
- Message5532
- A Custom Image Viewing Game for an Autistic Child
- Java and Pointers
- Rewriting as a practical optimisation technique
- Recursion Theory and Joy
- Esoteric computer languages
- The Year in Scripting Languages
- The D programming language
- Introduction to Managed C++
- AlgoVista
- Self Introduction
- Refill - A Generative Java Dialect
- Source Code Formatter
- Apple uses XML but shuns SVG
- A Language-Based Approach to Security
- Advanced Programming Language Design (Finkel)
- Abstract Iterable Pattern Matching for Java (JMatch)
- Busy busy busy
- C.J. Date's new book
- The MLton Survey
- Alice released ML+Oz+
- Alice: ML + OZ
- GaTech SqueakEnd 2002
- Algebra of Logic Programming
- Distel: Distributed Emacs Lisp (for Erlang)
- Y in Practical Programs
- NESL: A Parallel Programming Language
- DSL for blog aggregators
- Automated Techniques for Provably Safe Mobile Code
- Teaching computer programming as a unified discipline with a practical scientific foundation
- Auditors: An Extensible, Dynamic Code Verification Mechanism
- Tony Hoare: Structured concurrent programming
- Cyclone 0.4 released