| Date | Msgs | Originator | Topic |
| 01/25/2007 | 1 | Boyko Bantchev | ''The Paradigms of Programming'' online |
| 08/13/2005 | 47 | Frank Atanassow | 'Information and Computation' Open Access |
| 11/03/2005 | 4 | bdenckla | A + b * c in Brian Meek's "The static semantics file" |
| 02/14/2003 | 2 | Shae Erisson | 0th IOHCC - Obfuscated Haskell Contest |
| 08/06/2002 | 18 | Chris | 10 Reasons We Need Java 3.0 |
| 08/10/2002 | 2 | jon fernquest | 10 Reasons We Need Java 3.0 |
| 02/08/2008 | 10 | Chris Okasaki | 10 Years of Purely Functional Data Structures |
| 12/14/2003 | 18 | Ehud Lamm | 100 prisoners and a light bulb |
| 03/23/2003 | 1 | Dan Shappir | 101 Perl Articles |
| 02/16/2008 | 2 | Robert Sexmith | 1667 State Machine John Milton |
| 10/24/2003 | 3 | Ehud Lamm | 1983-1993: The Wonder Years of Sequential Prolog Implementation |
| 03/18/2003 | 3 | Ehud Lamm | 1995 SQL Reunion: People, Projects, and Politics |
| 05/29/2001 | 1 | andrew cooke | 19th Century Logic and 21st Century Computing |
| 04/08/2004 | 1 | Chris Rathman | 1st European Lisp and Scheme Workshop |
| 04/26/2002 | 4 | Ehud Lamm | 1st International Conference on AOP (22-26/4/2002) |
| 06/22/2004 | 10 | Sebastian Bergmann | 1st International Workshop on Interpreted Languages |
| 06/29/2002 | 2 | Ken Shan | 1st North American Summer School in Logic, Language and Info |
| 09/13/2002 | 13 | Ehud Lamm | 20 Years of PLDI (1979 - 1999): A Selection |
| 03/30/2002 | 4 | Ehud Lamm | 20 Years of PLDI - CALL FOR NOMINATIONS |
| 01/07/2002 | 1 | Ehud Lamm | 2001 -- The Year When DotGNU Was Born |
| 01/14/2002 | 1 | Ehud Lamm | 2001 International PHP Conference Slides |
| 01/05/2002 | 1 | Ehud Lamm | 2002 Weblog Awards |
| 01/25/2002 | 2 | Ehud Lamm | 2002 Weblog Awards: Vote for LtU! |
| 04/27/2004 | 1 | nate foster | 2004 ICFP Programming Contest Announced |
| 01/06/2005 | 4 | Ehud Lamm | 2005 Bloggies |
| 06/06/2008 | 1 | Tim Chevalier | 2008 ICFP Programming Contest |
| 04/18/2009 | 23 | falcon | 2009 Lang.NET |
| 05/31/2004 | 1 | Ehud Lamm | 25 Years of CSP |
| 03/17/2005 | 3 | cas | 2nd CfP: Structures and Deductions |
| 02/27/2004 | 4 | Ehud Lamm | 2nd edition of Code Complete |
| 11/24/2003 | 3 | Manuel Simoni | 50 Questions for a Language Designer |
| 12/01/2003 | 3 | Ehud Lamm | 50 Questions for a Language Designer |
| 02/11/2007 | 8 | Ehud Lamm | 50 years of “Syntactic Structures” |
| 03/04/2003 | 4 | Ehud Lamm | 6000 messages ago |
| 04/30/2003 | 1 | Dan Shappir | 80x86 ASM for ASP.NET |
| 02/08/2001 | 1 | Ehud Lamm | The 8th International Static Analysis Symposium |
| 05/06/2001 | 2 | Chris Rathman | 99 Bottles: Take one down... |
| 04/29/2009 | 1 | phreda | :r4 The colorless colorforth language |
| 01/30/2006 | 9 | cdiggins | A-Posteriori Subtyping: Which Languages? |
| 06/25/2008 | 29 | Chris Rathman | The A-Z of Programming Languages |
| 06/16/2009 | 4 | Chris Rathman | A-Z of Programming Languages: Erlang |
| 12/30/2001 | 3 | Igor | Abramsky powerdomain |
| 12/18/2004 | 20 | Ehud Lamm | Absence |
| 03/20/2007 | 4 | cdiggins | Abstract Data Type Usage Analysis |
| 04/14/2007 | 1 | Ehud Lamm | Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ |
| 11/18/2001 | 1 | Ehud Lamm | Abstract Interpretation (good lecture notes) |
| 01/06/2003 | 3 | Ehud Lamm | Abstract Iterable Pattern Matching for Java (JMatch) |
| 03/25/2003 | 1 | Ehud Lamm | An abstract view of programming languages |
| 07/09/2006 | 12 | Ehud Lamm | Abstracting Allocation: The New new Thing |
| 01/03/2002 | 1 | Ehud Lamm | Abstracting input sources |
| 10/18/2005 | 3 | spdegabrielle | Abstraction |
| 06/22/2004 | 19 | Wouter | Abstractionless programming |
| 09/23/2005 | 32 | raould | Abstractions considered harmful? |
| 11/16/2006 | 26 | citylight | Abstractly typed languages |
| 12/17/2001 | 1 | Ehud Lamm | Abusive posts |
| 12/29/2005 | 22 | Ehud Lamm | Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism |
| 1 | | Access denied |
| 01/31/2007 | 6 | Peter J. Wasilko | The Accessibility of PL Research Papers on Mobile Devices |
| 02/16/2006 | 17 | DougOrleans | Accidental Syntax |
| 03/19/2005 | 72 | ade_oshineye | According to Allen Holub programming is now a liberal art. When did this happen? |
| 04/16/2003 | 2 | Kimberley Burchett | ACCU Spring Conference |
| 12/06/2002 | 6 | Isaac Gouy | ACE visual programming language |
| 05/31/2002 | 1 | Ehud Lamm | Achieving Closure (Perl) |
| 05/07/2009 | 1 | Paul Snively | Achieving Security Despite Compromise Using Zero-Knowledge |
| 05/20/2009 | 5 | ezrakilty | Acknowledging the cosmic bonk/oif balance |
| 03/08/2006 | 8 | Dave Herman | ACL2 in DrScheme |
| 01/16/2008 | 5 | Ehud Lamm | ACM Classic Books Series |
| 01/11/2001 | 3 | Ehud Lamm | ACM Classic of the Month |
| 02/09/2005 | 73 | Ehud Lamm | ACM Queue: A Conversation with Alan Kay |
| 03/11/2006 | 13 | Ehud Lamm | ACM Queue: A Conversation with Steve Ross-Talbot |
| 01/28/2005 | 1 | Ehud Lamm | ACM Queue: How Not to Write FORTRAN in Any Language |
| 12/31/2004 | 1 | Ehud Lamm | ACM Queue: Languages, Levels, Libraries, and Longevity |
| 03/15/2006 | 21 | raould | ACM Queue: On Usability of Programming Languages |
| 02/06/2007 | 6 | Ehud Lamm | ACM Queue: Realtime Garbage Collection |
| 09/27/2004 | 9 | Ehud Lamm | ACM Queue: Schizoid Classes |
| 11/12/2004 | 4 | Ehud Lamm | ACM Queue: There's Still Some Life Left in Ada |
| 12/10/2006 | 1 | Ehud Lamm | ACM Queue: Unlocking Concurrency - Multicore programming with transactional memory |
| 04/22/2006 | 1 | Ehud Lamm | ACM Queuecast: systems on a chip |
| 09/09/2002 | 1 | jon fernquest | Action Semantics and Compiler Generation |
| 03/06/2006 | 6 | Andris Birkmanis | Active Libraries and Universal Languages |
| 07/22/2002 | 1 | Jay Han | ActiveOberon |
| 12/07/2005 | 11 | James Hague | Actual programs written in FP or FL? |
| 08/06/2004 | 1 | Bryn Keller | Acute: high-level programming language design for distributed computation |
| 04/20/2005 | 2 | Ehud Lamm | Ada 2006 Documents |
| 11/12/2003 | 9 | Chris Rathman | Ada and Java: real-time advantages |
| 11/09/2001 | 1 | Ehud Lamm | Ada Programming Competition |
| 06/01/2006 | 5 | Ehud Lamm | Ada UK Conference 2006 (slides & videos) |
| 08/20/2002 | 1 | Ehud Lamm | Ada, Interfaces and the Listener Paradigm |
| 07/15/2008 | 13 | James Iry | Ada, the Ultimate Lambda? |
| 05/12/2001 | 3 | Ehud Lamm | Ada-Europe'2001 |
| 09/03/2001 | 1 | Ehud Lamm | Adam Bosworth interview |
| 06/02/2005 | 20 | Ehud Lamm | Adam Bosworth: Ajax reconsidered |
| 07/18/2003 | 7 | Chris Rathman | Adaptation in HOT Languages |
| 05/30/2002 | 1 | Ehud Lamm | Adaptive Functional Programming |
| 09/03/2000 | 1 | andrew cooke | Adaptive Programming Book |
| 05/15/2001 | 1 | andrew cooke | Adaptive Software |
| 07/23/2005 | 18 | Andris Birkmanis | AdbmaL |
| 11/08/2002 | 2 | Florian Hars | Add citeseer to mozilla |
| 08/08/2004 | 1 | Daniel Yokomizo | Adding a parent link to posts |
| 12/09/2003 | 4 | Ehud Lamm | Adding Apples to Oranges |
| 02/04/2008 | 5 | Ben L. Titzer | Adding Concurrent Constructs to a Language with State |
| 03/30/2002 | 1 | Ehud Lamm | Adding metadata to Java (JSR 175) |
| 06/14/2004 | 5 | Isaac Gouy | Adding Wildcards to Java |
| 10/03/2002 | 3 | Ehud Lamm | Additions to the research papers page |
| 06/02/2003 | 2 | Manuel Simoni | Adenine: A Metadata Programming Language |
| 02/11/2009 | 3 | Ehud Lamm | Admin notes |
| 10/14/2003 | 6 | Ehud Lamm | Admin notices |
| 03/26/2006 | 1 | Anton van Straaten | [admin] Domain lookup issues fixed |
| 10/06/2005 | 1 | Anton van Straaten | [Admin] Probation |
| 06/10/2002 | 1 | Ehud Lamm | Advanced .NET Remoting examples online |
| 10/19/2003 | 3 | Ehud Lamm | Advanced Functional Programming wiki @ Harvard |
| 06/26/2001 | 1 | Ehud Lamm | Advanced Module Systems: A Guide for the Perplexed |
| 08/06/2000 | 9 | Ehud Lamm | Advanced Programming Language Design (Finkel) |
| 04/12/2002 | 2 | Adewale Oshineye | Advanced Programming Language Design book available online |
| 06/01/2002 | 3 | Ehud Lamm | Advanced Programming Techniques |
| 03/05/2002 | 1 | Ehud Lamm | An Advanced Syntax-Rules Primer for the Mildly Insane |
| 05/13/2005 | 5 | falcon | Advanced Types in Qi |
| 03/13/2009 | 25 | John Nowak | Advantages of pointfree? |
| 07/18/2006 | 121 | Curtis W | Advantages of Soft Typing |
| 05/24/2004 | 7 | Ehud Lamm | AFP 2004 |
| 12/31/2000 | 10 | pixel | after vertical layout, what about horizontal layout? |
| 08/28/2000 | 1 | andrew cooke | Agent Oriented Programming |
| 12/26/2006 | 19 | Brent Fulgham | AgentSheets: End-User Programing (and Secret Lisp Success Story!) |
| 09/19/2008 | 8 | Charles Stewart | AgentSpeak(L): programming with beliefs, desires and intentions |
| 01/22/2002 | 1 | Ehud Lamm | AI: A Modern Approach -- In Python |
| 06/19/2001 | 1 | Ehud Lamm | Alan Cooper Infoworld interview |
| 03/19/2001 | 1 | Ehud Lamm | Alan J. Perlis Epigrams |
| 04/21/2004 | 8 | Ehud Lamm | Alan Kay to receive Turing Award |
| 02/23/2001 | 1 | Ehud Lamm | Alan Kay: Software Design, the Future of Programming... |
| 08/02/2004 | 8 | Luke Gorrie | Alan Kay: The Early History of Smalltalk |
| 04/26/2003 | 7 | Ehud Lamm | Alan Kay's talk at O'Reilly Emerging Technology Conference 2003 |
| 04/07/2007 | 2 | Jim Apple | Aldor going open source |
| 02/26/2005 | 2 | Paul McJones | Alex Stepanov's papers |
| 01/06/2003 | 2 | Ehud Lamm | Algebra of Logic Programming |
| 11/11/2005 | 30 | falcon | Algebra Of Programming (Bird, De Moor) |
| 06/17/2008 | 6 | Sjoerd Visscher | Algebraic Data Types in JavaScript |
| 10/01/2002 | 6 | Ehud Lamm | Algebraic patterns in Scheme |
| 11/03/2003 | 3 | Ehud Lamm | Algebraic Specification: some old history, and new thoughts |
| 03/25/2008 | 12 | billpage | Algebraist Network |
| 01/20/2004 | 3 | Jim Apple | Algorithmic complexity of evaluation: lazy, eager, pure and impure |
| 01/21/2004 | 3 | Patrick Logan | Algorithmic complexity of evaluation: lazy, eager, pure and impure |
| 01/28/2001 | 6 | andrew cooke | Algorithmic Theories of Everything |
| 10/24/2004 | 3 | Philip Dorrell | Algorithmically Unbounded Journal of Mathematical Truths |
| 01/14/2003 | 1 | Dejan Jelovic | AlgoVista |
| 10/10/2003 | 13 | Manuel Simoni | Alice |
| 01/11/2001 | 6 | Chris Rathman | Alice and computer programming for everybody |
| 08/16/2007 | 2 | msimoni | (Alice ML + monads - value cells) > Haskell? |
| 01/07/2003 | 1 | Isaac Gouy | Alice released ML+Oz+ |
| 01/07/2003 | 1 | Ehud Lamm | Alice: ML + OZ |
| 08/12/2003 | 14 | Ehud Lamm | All About Monads |
| 08/01/2000 | 3 | Ehud Lamm | All sorts of links |
| 06/11/2006 | 10 | Isaac Gouy | Alloy - The Book |
| 08/12/2002 | 1 | jon fernquest | Alloy: A Lightweight Object Modelling Notation |
| 02/12/2007 | 32 | Peter Van Roy | Almost everything happened in the Golden Age, right? |
| 04/22/2007 | 22 | Anton van Straaten | Almost invisible upgrade |
| 02/10/2002 | 2 | Ehud Lamm | Alphabet Soup |
| 04/30/2005 | 1 | Ehud Lamm | AlphaWorks: Pattern Modeling and Analysis Tool for Java Garbage Collector |
| 07/12/2004 | 2 | Ehud Lamm | Alt.lang.jre @ IBM developerWorks |
| 05/30/2008 | 1 | jbfryman | ALTA 2008 - Call for Participation |
| 08/03/2007 | 16 | Ehud Lamm | Amazon Flexible Payments Service |
| 02/05/2005 | 5 | Ehud Lamm | Amazon Web Services in Scheme |
| 08/06/2003 | 1 | Ehud Lamm | amb and Quantum Computation in Scheme |
| 04/13/2001 | 2 | Ehud Lamm | ambiguous sentences |
| 11/01/2004 | 5 | Ehud Lamm | Amusing |
| 07/01/2006 | 36 | Ehud Lamm | Amusing question |
| 04/11/2001 | 1 | Ehud Lamm | An Analysis of the Divergence of Two Sather Dialects |
| 08/16/2007 | 8 | neelk | Analyzing the Environment Structure ofHigher-Order Languages using Frame Strings |
| 09/30/2005 | 73 | el-vadimo | "The Anatomy of a Loop" |
| 06/15/2004 | 1 | Ehud Lamm | Anders Hejlsberg - Tour through computing industry history at the Microsoft Museum |
| 06/15/2004 | 4 | Aelij Arbel | Anders Hejlsberg - What's so great about generics? |
| 01/26/2004 | 4 | Ehud Lamm | Anders Hejlsberg interview on Generics in C# |
| 02/19/2002 | 1 | Chris Rathman | Anders Heljsberg on what's next for C# |
| 04/22/2009 | 9 | Charles Stewart | Andrej Bauer on PLD |
| 05/21/2007 | 1 | Philippa Cowderoy | AngloHaskell 2007 |
| 07/03/2002 | 7 | Noel Welsh | Animism: An Essential Concept in Programming? |
| 01/08/2008 | 1 | Mark Dalgarno | ANN: Final Call for Speakers - Code Generation 2008 |
| 08/30/2007 | 1 | luke | ANN: Open Quark (CAL language) 1.6 Released |
| 06/16/2007 | 2 | luke | ANN: Open Quark Framework for Java (CAL Language) 1.5.0 |
| 10/25/2008 | 8 | Adam Chlipala | ANN: Ur/Web: Statically-typed metaprogramming for the web |
| 12/23/2004 | 6 | cdiggins | ANN: YARD Parser |
| 01/15/2007 | 5 | Noel | Annotated POPL 2007 Program |
| 01/26/2002 | 1 | Ehud Lamm | Announce: School of Expression software |
| 12/23/2008 | 3 | Henrik Tidefelt | Announcing Shapes, a functional drawing language |
| 04/01/2009 | 10 | Anton van Straaten | Announcing the Haskot |
| 05/16/2007 | 1 | const | [ANN] AsyncObjects Framework (Java) |
| 10/19/2007 | 1 | Mark Dalgarno | [ANN] Call for Speakers - Code Generation 2008 |
| 10/26/2008 | 1 | Mark Dalgarno | [ANN] Call for Speakers - Code Generation 2009 |
| 05/22/2007 | 1 | cdiggins | [ANN] Cat v0.14 and MetaCat Programming Languages |
| 02/14/2007 | 1 | Mark Dalgarno | [ANN] Code Generation 2007 Programme available |
| 03/29/2006 | 8 | Martin Odersky | [ANN] Scala-2 |
| 09/07/2007 | 2 | Tiark Rompf | [ANN] Vodka: Join concurrency, multimethods and generators (thesis project) |
| 07/09/2007 | 15 | cdiggins | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
| 09/24/2007 | 1 | luke | [ANN]: Open Quark Framework for Java, version 1.6.1 released |
| 10/29/2007 | 2 | luke | [ANN]: Open Quark Framework for Java, version 1.7.0 released |
| 07/06/2003 | 1 | Ehud Lamm | Another busy week |
| 11/21/2003 | 7 | Ehud Lamm | Another milestone |
| 09/18/2008 | 1 | raould | Another multimedia dataflow programming system |
| 05/31/2002 | 3 | Ehud Lamm | Another RSS idea |
| 02/10/2002 | 1 | Ehud Lamm | Another slow week |
| 02/16/2003 | 1 | Ehud Lamm | Answer set programming and plan generation |
| 01/08/2001 | 3 | Zach Garner | Anti-Java Article |
| 11/22/2003 | 23 | Isaac Gouy | Antipathy to Type Systems |
| 04/04/2006 | 18 | alanine | any functional language without GC? |
| 10/18/2007 | 16 | Pinku Surana | Any multi-threaded interpreters? |
| 12/16/2008 | 56 | scottmcl | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 05/04/2009 | 9 | Ehud Lamm | Any tips (Logo)? |
| 08/26/2002 | 6 | Ehud Lamm | Anybody home? |
| 11/13/2006 | 2 | coreyt1111 | Anyone know Prolog here? |
| 04/18/2005 | 8 | beev | Anyone remember Russell (the language, that is)? |
| 04/28/2005 | 9 | Ehud Lamm | AOP blog and aosd discussion |
| 07/15/2004 | 4 | John Heron | AOP Without The Buzzwords |
| 04/20/2002 | 16 | Chris Rathman | AOP: The 15% Solution |
| 08/08/2001 | 1 | Bryn Keller | AOS VM |
| 05/26/2002 | 2 | Dan Moniz | AP5: A declaritive language extension to Common Lisp |
| 08/06/2007 | 11 | Andris Birkmanis | Apache Camel routing rules: a DSL? |
| 02/12/2003 | 19 | Noel Welsh | Apache vs. Yaws |
| 03/25/2002 | 1 | Ehud Lamm | Apache's JSPA Position |
| 01/30/2001 | 1 | Ehud Lamm | APL Books |
| 11/30/2002 | 1 | Darius Bacon | APL crosswords |
| 11/30/2002 | 6 | Ehud Lamm | APL Crosswords |
| 05/06/2006 | 1 | shrogers | APL Quote Quad Call for Papers |
| 08/19/2000 | 4 | andrew cooke | APL, J, Hardware |
| 04/21/2001 | 1 | Ehud Lamm | APL2001 - An Arrays Odyssey |
| 07/24/2007 | 10 | Max | Apocalypse - the empire strikes back |
| 04/16/2004 | 18 | Keith Devens | Apocalypse 12 is out |
| 04/17/2004 | 1 | Ehud Lamm | Apocalypse 12: Perl 6 OO |
| 01/29/2004 | 2 | Ehud Lamm | Apology |
| 08/31/2004 | 13 | Frank Atanassow | Apple Flunks First Grade Math |
| 01/12/2003 | 1 | Ehud Lamm | Apple uses XML but shuns SVG |
| 09/03/2005 | 29 | Isaac Gouy | Apple: procedural -> OO -> AOP -> advanced procedural |
| 07/26/2002 | 2 | jon fernquest | Application Generators |
| 06/20/2007 | 4 | neelk | Application-specific foreign-interface generation |
| 02/22/2002 | 2 | Ehud Lamm | Applications of Continuations |
| 06/23/2005 | 4 | bdenckla | "applicative" vs."functional" |
| 06/04/2008 | 4 | Ehud Lamm | Applied Proof Theory: Proof Interpretations and their Use in Mathematics |
| 05/11/2005 | 1 | Jim Apple | Applied Type System |
| 04/02/2008 | 32 | Ehud Lamm | April 1st special: The War of the Worlds |
| 04/02/2004 | 2 | Ehud Lamm | April Second... |
| 11/27/2001 | 18 | Bryn Keller | Arc - An Unfinished Dialect of Lisp |
| 04/25/2007 | 39 | Anton van Straaten | Arc in action (a.k.a. it's aliiiiive!) |
| 01/30/2008 | 65 | Ehud Lamm | Arc is released |
| 11/30/2002 | 1 | Ehud Lamm | The Architecture of a Debugger for Lazy Functional Languages |
| 03/24/2001 | 7 | andrew cooke | Archived |
| 05/23/2005 | 6 | Paul McJones | Archiving LISP history |
| 07/22/2003 | 33 | Dan Shappir | Are delegates the moniker of .NET? |
| 05/09/2002 | 1 | Chris Rathman | Are dylan macros Turing-complete? |
| 06/04/2009 | 4 | Douglas McClean | Are extensible records first class patterns? |
| 01/05/2007 | 10 | JamesLitsios | Are Frames and Slots anything more that OO with a different name? |
| 07/15/2003 | 67 | Marc Hamann | Are Higher-Order Type Systems Too Hard? |
| 12/02/2005 | 4 | Jim Apple | Are we missing out on fancy types? |
| 09/20/2008 | 1 | Sean McDirmid | Are you feeling FOOLish? |
| 09/13/2005 | 3 | tmoertel | Are you using delimited continuations? |
| 05/05/2008 | 7 | Charles Stewart | Arrows generalise monads and idioms |
| 06/05/2003 | 5 | Glen | Ars Digita ( http://aduni.org ) Study Group |
| 03/24/2009 | 16 | neelk | The Art of the Propagator |
| 01/21/2004 | 12 | Luke Gorrie | The Art of Unix Programming |
| 12/09/2004 | 1 | pantagruel | Art, Craft, and Design in Software Development |
| 05/23/2003 | 7 | andrew cooke | Article on F# |
| 06/27/2006 | 12 | pmougin | Article: Exploring Cocoa with F-Script |
| 10/12/2001 | 1 | Ehud Lamm | Ask Kent M. Pitman About Lisp, Scheme And More |
| 03/10/2008 | 12 | Ravi Mohan | [Ask LTU] How to implement concurrent languages ? |
| 04/01/2002 | 1 | Ehud Lamm | Aspect-oriented compilers |
| 05/15/2004 | 5 | Peter Van Roy | Aspect-Oriented Programming for Distributed Systems |
| 01/20/2002 | 8 | Ehud Lamm | Aspect-oriented programming for Python |
| 03/12/2001 | 3 | Ehud Lamm | Aspect-Oriented Programming with AspectJ |
| 12/20/2002 | 1 | Dejan Jelovic | AspectC# |
| 12/30/2003 | 2 | Isaac Gouy | Aspects, Quantification & Obliviousness |
| 06/08/2006 | 7 | James McCartney | assistance with some data flow terms |
| 05/18/2005 | 16 | Danx | AST intermediate representations |
| 07/04/2007 | 28 | Denis Bredelet -jido | Asynchronous calls and error handling |
| 04/24/2007 | 3 | Scott Johnson | Asynchronous sequential processes/Theory of Distributed Objects? |
| 06/22/2003 | 5 | Ehud Lamm | ATC in Ada and in Real Time Java (RTSJ) |
| 03/15/2001 | 9 | andrew cooke | Atoms as Objects? |
| 12/13/2006 | 2 | Isaac Gouy | Attempto Controlled English (ACE) |
| 12/28/2002 | 3 | Ehud Lamm | Auditors: An Extensible, Dynamic Code Verification Mechanism |
| 12/31/2005 | 22 | Chris Rathman | Auld Lang Alice |
| 01/05/2002 | 4 | Ehud Lamm | Autodep |
| 01/03/2003 | 1 | Ehud Lamm | Automated Techniques for Provably Safe Mobile Code |
| 06/02/2007 | 7 | Ehud Lamm | Automated Whitebox Fuzz Testing |
| 05/20/2006 | 4 | Niels Hoogeveen | Automath |
| 05/05/2008 | 8 | neelk | Automatic Generation of Peephole Superoptimizers |
| 04/29/2008 | 6 | Charles Stewart | Automatic Patch-Based Exploit Generation |
| 06/15/2007 | 6 | Achilleas Margaritis | automatic program parallelization for multicore cpus as a software problem |
| 09/18/2002 | 5 | Ehud Lamm | Automatic Run-time Interface Building |
| 08/07/2006 | 14 | Curtis W | automatic theorem proving |
| 07/17/2005 | 3 | Ehud Lamm | Automatic type inference via partial evaluation |
| 11/16/2001 | 1 | Ehud Lamm | Automatically Restructuring Programs for the Web |
| 10/06/2006 | 1 | Leland McInnes | AutoTest - Automated contract based testing for Eiffel |
| 12/12/2007 | 40 | Ehud Lamm | Avi Bryant: Ruby IS-A Smalltalk |
| 06/03/2005 | 3 | Andris Birkmanis | Avionics Control Systems DSL from 1994, by Doug Lea |
| 12/14/2000 | 2 | Chris Rathman | Avoiding Language Advocacy |
| 01/31/2005 | 31 | James Hague | Avoiding worst case GC with large amounts of data? |
| 10/05/2004 | 2 | el-vadimo | Away from interpreter hacking and toward enhancing stdlib |
| 03/17/2003 | 3 | Ehud Lamm | An AWK to C++ Translator |
| 11/25/2001 | 1 | Ehud Lamm | Awklisp |
| 06/05/2004 | 11 | Mark Evans | Axiom Computer Algebra System |
| 12/16/2006 | 1 | Luke Gorrie | An Axiomatic Basis for Computer Programming |
| 03/05/2002 | 3 | Walter Wilson | Axiomatic Language |
| 01/26/2008 | 2 | Greg Buchholz | Axioms and Theorems for a Theory of Arrays |
| 05/11/2009 | 5 | yang | Axum - A .NET language for safe, scalable and productive parallel programming through isolation, actors and message-passing |
| 10/20/2003 | 33 | Ehud Lamm | B. Stroustrup: Serving the C++ Community |
| 12/29/2003 | 5 | Isaac Gouy | Bach & Software Composition |
| 12/23/2005 | 4 | Jillis ter Hove | Back to Basic |
| 12/07/2006 | 3 | Luke Gorrie | Back to the Future |
| 06/08/2008 | 6 | Ehud Lamm | Back to the future |
| 12/11/2005 | 27 | Ehud Lamm | Back to the future... |
| 12/21/2004 | 2 | Chris Rathman | Back to the language roots |
| 02/09/2002 | 2 | Frank Atanassow | Backhouse on Mathematics and Programming |
| 08/26/2002 | 3 | Cezar Ionescu | Backus Turing Award Lecture |
| 05/26/2006 | 5 | Jim Apple | Backwards debugging |
| 12/14/2001 | 8 | Ehud Lamm | Backwards Debugging |
| 03/17/2004 | 1 | Isaac Gouy | Bad Engineering Properties of OO Languages |
| 03/12/2009 | 5 | Ehud Lamm | Barbara Liskov Wins Turing Award |
| 02/15/2005 | 6 | Ehud Lamm | Barbara Partee: Reflections of a Formal Semanticist as of Feb 2005 |
| 08/31/2003 | 2 | Isaac Gouy | Bare metal Smalltalk |
| 08/29/2007 | 2 | Ehud Lamm | Barker & Szabolcsi: New directions for proof theory in linguistics |
| 12/17/2002 | 1 | Ehud Lamm | Barrier Methods for Garbage Collection |
| 08/11/2002 | 1 | Viktor Szathmary | Barter (design by contract w/ AspectJ) |
| 01/05/2001 | 4 | Chris Rathman | Bash Reference Manual |
| 02/19/2004 | 1 | Ehud Lamm | Basic Principles of Code Access Security |
| 06/01/2005 | 26 | jimdesu | Basic(er) Simple(r) Type Theory(?) |
| 11/30/2005 | 6 | dav0 | Battle of the Languages II |
| 11/09/2005 | 42 | Paul Snively | Battling Bugs: A Digital Quagmire |
| 05/18/2003 | 3 | Isaac Gouy | BCPL history, design, user guide |
| 06/15/2004 | 2 | Ehud Lamm | Be advised |
| 03/12/2007 | 9 | Ehud Lamm | Beautiful Code: Leading Programmers Explain How They Think |
| 01/24/2001 | 5 | Chris Rathman | Beautiful code? |
| 01/15/2007 | 2 | Andris Birkmanis | Beauty in the Beast |
| 09/17/2004 | 18 | Albert Y.C. Lai | "... because common people think like so-and-so..." |
| 12/18/2005 | 5 | Ehud Lamm | The Behavior of Behavior |
| 01/08/2004 | 8 | Patrick Logan | The Behavior of Behavior |
| 07/02/2005 | 18 | Ehud Lamm | Behaviour: Using CSS selectors to apply Javascript functionality |
| 02/29/2008 | 9 | johnwcowan | Bell-LaPadula and type safety |
| 03/01/2004 | 8 | Manuel Simoni | Berkeley Visionaries Prognosticate About the Future |
| 01/11/2007 | 6 | Chris Rathman | Berkeley Webcast Courses |
| 11/03/2003 | 22 | Ehud Lamm | Bertrand Meyer on Software Quality |
| 04/03/2001 | 3 | Ehud Lamm | Bertrand Meyer Online Interview |
| 01/31/2003 | 2 | Ehud Lamm | Bertrand Meyer: Proving Program Pointer Properties |
| 03/22/2003 | 4 | Ehud Lamm | Bertrand Meyer: Review of Liberty's Programming C# |
| 11/22/2001 | 11 | Ehud Lamm | Beseme Project Overview |
| 03/20/2005 | 5 | ydewit | Best Common Lisp IDE? |
| 10/18/2005 | 51 | Greg Buchholz | Best default sequence? |
| 09/15/2002 | 10 | Ehud Lamm | Best Language Design Papers (survey) |
| 09/15/2003 | 8 | Frank Atanassow | Best PL tutorial/intro? |
| 09/15/2003 | 4 | Ehud Lamm | Best PL tutorials? |
| 05/07/2005 | 14 | Morris Johns | Best route for new language to be self-hosting |
| 09/21/2008 | 5 | marco | Best way to interface with C/C++? |
| 02/09/2007 | 15 | orbitz | Better language tools |
| 01/11/2002 | 2 | Bryn Keller | Beyond Ada: The First Paranoid Programming Language |
| 12/21/2005 | 7 | Ehud Lamm | Beyond "Beyond Java" etc. |
| 07/27/2008 | 37 | Sean McDirmid | Beyond FRP: physics-inspired programming abstractions? |
| 08/17/2001 | 7 | Ehud Lamm | Beyond JS (library) |
| 01/24/2006 | 51 | Erik Meijer | Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming |
| 09/20/2008 | 6 | el-vadimo | beyond multi-methods |
| 09/18/2002 | 1 | jon fernquest | Beyond Objects: Generative Programming |
| 08/24/2007 | 6 | neelk | Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators |
| 08/28/2001 | 1 | Ehud Lamm | Bibliography of Scheme-related Research |
| 07/16/2002 | 1 | Ehud Lamm | Bicycle Repair Man (a refactoring browser for Python) |
| 06/05/2005 | 16 | Ehud Lamm | Bidirectional fold and scan |
| 12/15/2003 | 1 | Ehud Lamm | The Big Bang Theory of IDEs |
| 08/29/2005 | 3 | shapr | Big O complexity for abstractions? |
| 11/01/2003 | 3 | Ehud Lamm | A big thank you to Peter Van Roy |
| 07/28/2002 | 2 | Ehud Lamm | Biglook: A Widget Library for Scheme |
| 12/07/2001 | 2 | Cimarron Taylor | <bigwig> |
| 12/07/2001 | 1 | Ehud Lamm | <bigwig> |
| 09/18/2007 | 24 | Chris Rathman | Binary Lambda Calculus and Combinatory Logic |
| 06/22/2004 | 6 | citylight | Binary relations |
| 10/17/2007 | 4 | msimoni | binpac: A yacc for Writing Application Protocol Parsers |
| 06/15/2009 | 1 | Ehud Lamm | Biological computation (personal message, non PL-related) |
| 08/22/2005 | 1 | Ehud Lamm | The birth of the FORTRAN II subroutine |
| 05/05/2003 | 1 | Ehud Lamm | A bit about LtU being a community weblog |
| 10/19/2008 | 21 | Ehud Lamm | A bit of Scheming |
| 01/26/2005 | 32 | Alexandre Richer | BitC, a new OS implementation language |
| 07/12/2002 | 1 | Ehud Lamm | Bitter Java |
| 12/07/2006 | 7 | Ehud Lamm | Bjarne Stroustrup: The Problem with Programming |
| 10/19/2003 | 5 | Ehud Lamm | Black-Scholes in Multiple Languages |
| 05/26/2006 | 1 | claudio | BlackBox Component Builder has been open sourced |
| 03/08/2007 | 4 | dbfaken | Blending static and dynamic typing |
| 05/10/2006 | 12 | Ehud Lamm | Block performance in Ruby |
| 01/28/2006 | 4 | Jeff Nowakowski | Blockquote color |
| 07/02/2004 | 5 | Ehud Lamm | Blogrolls |
| 01/25/2003 | 1 | Isaac Gouy | Blue & BlueJ |
| 11/03/2001 | 2 | Ehud Lamm | BlueJ - The interactive Java environment |
| 03/28/2003 | 5 | Ehud Lamm | Book and Course in Constraint Programming and Reasoning |
| 08/08/2000 | 1 | Ehud Lamm | Book in Honour of Robin Milner |
| 01/17/2004 | 2 | Darius Bacon | Book on game scripting interpreters |
| 12/09/2003 | 4 | Matt Hellige | Book opinions? |
| 03/03/2004 | 17 | Chris Rathman | Book Review: Purely Functional Data Structures |
| 11/27/2001 | 2 | Ehud Lamm | A book to learn from? |
| 01/23/2002 | 11 | Ehud Lamm | Book: Python How to Program |
| 03/27/2005 | 2 | Chris Rathman | Book: The Standard ML Basis Library |
| 12/18/2006 | 3 | simon langley | Books available |
| 07/31/2002 | 6 | Dan Shappir | The Boost Lambda Library |
| 07/17/2002 | 1 | Dan Shappir | BorCon 2002 Highlights |
| 07/02/2002 | 3 | Ehud Lamm | Boring... |
| 07/09/2004 | 3 | Dominic Fox | Bossa, a framework for scheduler development |
| 06/09/2005 | 4 | Andris Birkmanis | Bottom-Up beta-Substitution: Uplinks and lambda-DAGs |
| 01/31/2007 | 9 | Max | brainstorming dataflow language visualizations |
| 02/26/2002 | 4 | Ehud Lamm | Brainteaser |
| 07/01/2007 | 6 | Andris Birkmanis | Branching affordance? |
| 04/26/2009 | 22 | Allan McInnes | Branching Time vs. Linear Time: Semantical Perspective |
| 12/02/2005 | 54 | raould | The breaking point of language usability? |
| 12/05/2006 | 5 | atbusbook | Breaking the Abstraction Ceiling |
| 01/17/2008 | 3 | rossjudson | Bret Victor's Substroke |
| 01/15/2004 | 1 | Matt Hellige | Brian Harvey books available online |
| 01/15/2004 | 2 | Ehud Lamm | Brian Harvey books available online |
| 09/17/2002 | 17 | Ehud Lamm | Bricklin: Why Johnny can't program |
| 04/27/2001 | 1 | Ehud Lamm | BRICS Activities |
| 06/10/2009 | 10 | Neil Toronto | Bridging the informal and the formal |
| 11/25/2002 | 1 | Michael McCracken | Brook: a Streaming Lanugage from Stanford |
| 12/21/2003 | 11 | Luke Gorrie | BrookGPU |
| 03/12/2004 | 18 | Ehud Lamm | Bruce Eckel on Java generics |
| 03/15/2001 | 1 | Ehud Lamm | Bruce Eckel: Why I Love Python |
| 10/20/2005 | 113 | falcon | Bruce Tate: Technologies that may challenge Java |
| 04/25/2006 | 15 | Chris Rathman | Build your own scripting language for Java |
| 03/02/2005 | 18 | Ehud Lamm | Building a Modern Computer From First Principles |
| 08/18/2001 | 1 | Ehud Lamm | Building an Extensible Menu Class |
| 02/06/2004 | 2 | Ehud Lamm | Building Collaboration into IDEs |
| 09/13/2005 | 1 | Allan McInnes | Building Compilers by Combining Algebras |
| 09/18/2002 | 1 | Ehud Lamm | Building cyclic data structures in pure languages |
| 05/11/2006 | 19 | Andris Birkmanis | Building Interpreters by Composing Monads |
| 03/31/2003 | 1 | Isaac Gouy | Bulk types for functional programming |
| 05/27/2006 | 249 | Isaac Gouy | Buried Treasure - No Fluff Just Stuff |
| 09/27/2006 | 16 | BenMoseley | Business Objects Quark - Haskell meets Java |
| 01/09/2003 | 1 | Ehud Lamm | Busy busy busy |
| 09/16/2004 | 3 | Ehud Lamm | Busy, busy |
| 02/21/2005 | 1 | Ehud Lamm | Busy, busy, busy |
| 11/08/2005 | 1 | Ehud Lamm | Busy, busy, busy |
| 08/02/2006 | 1 | Ehud Lamm | Busy, busy, busy |
| 11/08/2006 | 4 | Ehud Lamm | Busy, busy, busy |
| 08/21/2000 | 1 | andrew cooke | BUT... Haskell! |
| 04/24/2009 | 3 | Justin Johansson | Butcher, Baker or CandlestickMaker |
| 03/05/2003 | 9 | Ehud Lamm | Byte Code Engineering Library |
| 12/29/2000 | 1 | Ehud Lamm | Bytecode translation |
| 03/10/2008 | 9 | bieberbrueder | C - header files |
| 07/17/2002 | 2 | Dan Shappir | C and C++: A Case for Compatibility |
| 06/06/2002 | 5 | Dan Shappir | C and C++: Siblings |
| 03/18/2001 | 2 | Chris Rathman | C and system-level design |
| 05/18/2001 | 2 | andrew cooke | C Books |
| 02/16/2006 | 11 | Ewan | The C Family of Languages: Interview with Dennis Ritchie, Bjarne Stroustrup, and James Gosling |
| 08/19/2003 | 1 | Isaac Gouy | C language history |
| 07/11/2002 | 2 | thomas | c programming |
| 10/01/2008 | 1 | JeffB | C# and Computer World |
| 08/09/2000 | 4 | andrew cooke | C# details (and .NET SDK) |
| 09/02/2000 | 9 | Ehud Lamm | C# Features |
| 06/09/2001 | 1 | Ehud Lamm | C# for Java Programmers |
| 11/19/2001 | 4 | Chris Rathman | C# From A Java Developer's Perspective |
| 04/05/2001 | 7 | andrew cooke | C# interview / OOP in any language |
| 10/24/2003 | 16 | Ehud Lamm | C# Language Specification 2.0 (new features) |
| 10/24/2003 | 1 | Isaac Gouy | C# Language Specification 2.0 draft |
| 01/11/2001 | 1 | Ehud Lamm | C# Literature and Interviews |
| 04/06/2003 | 5 | Dan Shappir | C# Programming Language Future Features |
| 08/10/2000 | 2 | andrew cooke | C# review |
| 10/11/2002 | 1 | Ehud Lamm | C# standardization moves ahead |
| 07/16/2004 | 27 | aelij | Cω Preview Available |
| 08/13/2004 | 7 | bzhou | Cω vs. Erlang? |
| 12/14/2000 | 1 | zarblarj | C++ -> HDL |
| 03/09/2004 | 3 | Ehud Lamm | C++ Expression Templates |
| 11/30/2001 | 10 | Ehud Lamm | C++ FAQ LITE |
| 05/11/2009 | 19 | Srikumar Subramanian | C++ Frequently Questioned Answers |
| 03/04/2009 | 65 | Chris Rathman | C++ Futures |
| 11/28/2006 | 43 | Isaac Gouy | C++ has indeed become too "expert friendly" |
| 06/12/2007 | 1 | Ehud Lamm | C++ Historical Sources Archive |
| 07/29/2001 | 1 | Dejan Jelovic | C++ in the Real World: Advice from the Trenches |
| 01/29/2005 | 11 | Ehud Lamm | C++ OR mapping - cross platform and db |
| 07/21/2004 | 25 | Mark Evans | The C++ Source Journal |
| 10/13/2003 | 1 | Isaac Gouy | C++ Style Bjarne Stroustrup |
| 03/09/2004 | 1 | Ehud Lamm | C++ Template Metaprograms |
| 11/17/2000 | 2 | Chris Rathman | C++ Templates as Partial Evaluation |
| 03/22/2003 | 4 | Dan Shappir | C++ Templates: The Complete Guide |
| 11/28/2002 | 11 | Dejan Jelovic | C++ vs. Lisp |
| 11/15/2000 | 1 | andrew cooke | C-- (portable assembly language) |
| 03/24/2001 | 1 | andrew cooke | C-like Functional Programming Languages |
| 06/12/2003 | 3 | Isaac Gouy | C.A.R. Hoare 1980 ACM Turing Award Lecture |
| 01/09/2003 | 1 | Ben Menasha | C.J. Date's new book |
| 12/05/2000 | 3 | Chris Rathman | C9X - The New ISO Standard for C |
| 10/22/2004 | 3 | Luke Gorrie | CADR Lisp Machine emulator |
| 06/21/2003 | 3 | Ehud Lamm | CAESAR project |
| 11/10/2007 | 8 | Ehud Lamm | Caja: Capability Javascript |
| 05/02/2002 | 2 | Ehud Lamm | Calculating Functional Programs |
| 08/11/2003 | 16 | Ehud Lamm | Calculating Functional Programs: maximum segment sum |
| 04/19/2004 | 4 | Ehud Lamm | Calculating the Sieve of Eratosthenes |
| 01/17/2002 | 2 | Ehud Lamm | Calculi for Mobile Processes |
| 10/04/2006 | 7 | David N. Welton | call by ? and mental models |
| 01/11/2007 | 26 | Denis Bredelet -jido | Call by push-value |
| 05/01/2005 | 103 | rwuyts | Call for Papers: ACM Symposium on Dynamic Languages |
| 06/18/2008 | 1 | yegor | Call for Papers: Symposium on Logical Foundations of Computer Science |
| 01/20/2009 | 1 | csells | Call for Speakers: DSL DevCon |
| 10/29/2008 | 1 | Daniel Weinreb | Call for Submissions, for the International Lisp Conference 2009 |
| 11/15/2004 | 2 | Andris Birkmanis | Call Processing Language |
| 04/26/2005 | 2 | Ehud Lamm | Call to and for editors |
| 03/26/2002 | 1 | Ehud Lamm | Call with Current Continuation Patterns |
| 03/02/2003 | 8 | Ken Shan | Call-by-name is dual to call-by-value |
| 01/08/2008 | 4 | Daniel Yokomizo | Call-by-value Termination in the Untyped Lambda-calculus |
| 08/11/2004 | 19 | Andris Birkmanis | Call-by-what? |
| 09/05/2005 | 2 | akallio | Calling imperative code from declarative? |
| 08/04/2003 | 10 | Ehud Lamm | Calling LtU editors |
| 08/18/2006 | 13 | raganwald | Can a dynamically typed language support type inference? |
| 11/15/2006 | 1 | Ehud Lamm | Can Abstract State Machines Be Useful in Language Theory? |
| 12/26/2005 | 9 | Elizabeth Daniel | Can anyone help me solve this Sudoku? |
| 07/11/2006 | 6 | soapdog | Can anyone here help a newbie on language interpretation, want book reference and possible sample code. |
| 09/06/2008 | 6 | happycow | Can Lambda do things like arrays and matrixs? If so how? |
| 04/10/2008 | 39 | cdiggins | Can local variables assignments be considered pure functional without monads? |
| 11/08/2005 | 8 | raould | Can one avoid monads? |
| 08/27/2002 | 16 | Ehud Lamm | Can Programming Be Liberated from the von Neumann Style? |
| 07/10/2008 | 2 | Charles Stewart | Can reply to a post that one is previewing |
| 02/21/2008 | 5 | Mike McClurg | Can we start an LtU group on CiteULike? |
| 01/03/2004 | 5 | Patrick Logan | Canonware Onyx |
| 04/09/2009 | 3 | James Iry | Capabilities for External Uniqueness |
| 06/13/2007 | 24 | dorait | Carnap Programming Language |
| 11/24/2007 | 5 | Ehud Lamm | The Carnap Programming Language |
| 12/28/2001 | 1 | Ehud Lamm | The Case Against C |
| 05/14/2004 | 166 | Chris Rathman | The Case for First Class Messages |
| 08/02/2005 | 2 | Frank Atanassow | A Case for Formal Specification |
| 06/07/2009 | 58 | Thomas Lord | A Case for Gestures/Visualizations and Against Concrete Syntax |
| 11/10/2005 | 43 | Riaan Moll | CaSe SenSitIviTy! What is its purpose in programming language syntax? |
| 11/01/2003 | 1 | Ehud Lamm | A case study in class library verification: Java's vector class |
| 05/23/2004 | 22 | andrew cooke | Case Study in Practical Language Use |
| 05/28/2006 | 6 | cdiggins | Cat Language Download, Sources, and Introduction |
| 12/06/2006 | 16 | cdiggins | The Cat Language Kind System |
| 04/04/2001 | 1 | Ehud Lamm | Catching more errors at compile time with Generic Java |
| 05/30/2004 | 7 | Dan Shappir | Catching Uncaught Exceptions in JDK 1.5 |
| 06/14/2001 | 1 | Ehud Lamm | Categorical Logic and Type Theory |
| 12/22/2001 | 1 | Ehud Lamm | Categorical Programming with Abstract Data Types |
| 01/26/2001 | 10 | Ehud Lamm | Categories |
| 03/03/2004 | 7 | Andrei Formiga | Categories for Everybody |
| 09/22/2005 | 1 | Isaac Gouy | Categories for Software Engineering - recommend? |
| 01/11/2004 | 1 | Ehud Lamm | categories study group |
| 09/15/2005 | 6 | citylight | Category theory |
| 07/14/2003 | 16 | Isaac Gouy | Category Theory for Beginners* (slides) |
| 08/01/2004 | 6 | Ehud Lamm | Category Theory for Dummies - slides available |
| 08/20/2001 | 5 | Ehud Lamm | Category theory for non-mathematicians |
| 03/19/2001 | 10 | andrew cooke | Category Theory for the working computer scientist |
| 05/23/2008 | 12 | jdgallag | Category theory in design |
| 07/26/2001 | 6 | pixel | cayenne: haskell with dependent types |
| 04/02/2004 | 2 | Ehud Lamm | CCSL Tutorial |
| 01/09/2002 | 4 | Ehud Lamm | cdb, A Machine-Independent Debugger |
| 03/03/2003 | 1 | Isaac Gouy | CDuce |
| 03/04/2003 | 1 | Ehud Lamm | CDuce |
| 07/03/2003 | 13 | Ken Shan | CDuce: a programming language adapted to the manipulation of XML documents |
| 05/11/2005 | 8 | Ehud Lamm | Cellang |
| 08/08/2006 | 2 | Ehud Lamm | CellML |
| 03/22/2007 | 14 | Paul Snively | A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language |
| 04/07/2007 | 11 | Jim Apple | Cforall |
| 09/03/2007 | 2 | jurgenv | CFP: 8th international workshop on Language Descriptions, Tools and Applications (LDTA 2008) |
| 03/27/2008 | 1 | jbfryman | CFP: ALTA 2008 (Architectures and Languages for Throughput Applications) |
| 03/14/2001 | 1 | Ehud Lamm | CFP: First workshop on multi-language infrastructure... |
| 06/02/2009 | 1 | eeide | CFP: PLOS ཅ: 5th Workshop on Programming Languages and Operating Systems |
| 04/16/2009 | 1 | Hank Thediek | Challenges |
| 06/21/2002 | 5 | Bryn Keller | Chameleon |
| 07/22/2003 | 3 | Sam Gentile | Change user info? |
| 12/24/2003 | 2 | Ehud Lamm | Changeable class in Avalon |
| 12/21/2001 | 28 | Ehud Lamm | The Charity Language |
| 06/20/2006 | 6 | Niels Hoogeveen | Charles Babbage Institute |
| 09/27/2001 | 27 | Ehud Lamm | Charming Python : Iterators and simple generators |
| 01/05/2007 | 8 | Ehud Lamm | Charming Python: Decorators make magic easy |
| 06/23/2003 | 38 | Dan Shappir | Charming Python: Using combinatorial functions in the itertools module |
| 11/29/2006 | 7 | Chris Rathman | Cheat Sheet |
| 02/13/2002 | 1 | Ehud Lamm | Check the discussion group |
| 03/11/2003 | 12 | Ehud Lamm | Checked and unchecked exceptions in Java |
| 02/20/2003 | 3 | Ehud Lamm | Checking polynomial time complexity with types |
| 01/08/2002 | 2 | Ehud Lamm | Cheetah, the Python-Powered Template Engine |
| 04/17/2005 | 19 | gmol | Chemistry, Graph Tranformation and Programming Languages |
| 10/26/2001 | 9 | Ehud Lamm | Childrens Understanding of Process and Robot Behaviors |
| 01/22/2006 | 79 | marco | Choice of OS of LtU readers |
| 12/13/2004 | 7 | Chris Rathman | Choosing a Language for Interactive Fiction |
| 03/12/2006 | 5 | Michael Stone | Choosing Conferences |
| 04/13/2008 | 2 | Ehud Lamm | Chris Crawford's 9 Breakthroughs |
| 02/26/2008 | 10 | naasking | Chris Okasaki on Indentation Syntax |
| 02/13/2006 | 8 | Derek Elkins | Chu Spaces |
| 04/26/2006 | 15 | doublec | Chuck - Concurrent audio programming language |
| 07/03/2001 | 1 | Brad Knotwell | Chuck Moore has a website |
| 09/16/2001 | 4 | Chris Rathman | Chuck Moore holds Forth |
| 02/08/2005 | 4 | Andris Birkmanis | The Church Project |
| 10/09/2005 | 71 | naasking | The Church-Turing Thesis: Breaking the Myth |
| 06/12/2006 | 25 | Bryan Turner | Church-Turning is False? |
| 04/20/2007 | 10 | Chris Rathman | Church's Thesis and Functional Programming |
| 11/18/2004 | 1 | Andrei Formiga | CIL (C Intermediate Language) |
| 03/30/2004 | 2 | Mark Evans | Cilk |
| 09/13/2008 | 1 | Ilya Mirman | Cilk++ (alpha) docs made public |
| 12/27/2008 | 1 | Ilya Mirman | Cilk++ for Linux now available for download |
| 07/09/2007 | 2 | J Storrs Hall | Cilk, OpenMP, or what? |
| 07/26/2001 | 5 | paul jensen | circle "is-a" ellipse: round 42 |
| 04/11/2004 | 13 | andrew cooke | Circular references |
| 12/09/2004 | 3 | marcoil | CiteULike |
| 12/18/2001 | 12 | Dan Shappir | The CityScript Little Language |
| 09/15/2004 | 5 | cas | CL vs scheme |
| 07/01/2003 | 3 | Isaac Gouy | CLAIRE: Combining Sets, Search and Rules to Better Express Algorithms |
| 03/30/2006 | 1 | Ehud Lamm | Class decorators in Python |
| 06/27/2001 | 2 | heherson | Classes Containing Large Classes |
| 06/10/2005 | 7 | B Lee | Classes or prototypes |
| 07/10/2005 | 7 | Ehud Lamm | Classic LISP books online |
| 12/07/2005 | 1 | Paul Snively | ClassicJava in PLT Redex |
| 07/24/2002 | 2 | Ehud Lamm | Clean and Haskell compared |
| 02/26/2003 | 1 | Lennon Day-Reynolds | Clean now available under LGPL license |
| 02/26/2003 | 2 | Brent Fulgham | Clean Now Available under LGPL License |
| 10/12/2000 | 1 | Chris Rathman | Clean Shapes |
| 10/31/2003 | 2 | Isaac Gouy | Clean System 2.1 is released |
| 09/17/2006 | 1 | Isaac Gouy | CleanJ - Concurrent Clean on Java VM |
| 05/16/2002 | 1 | Chris Rathman | CLI Standard (ECMA-335) |
| 12/06/2003 | 29 | Ehud Lamm | A Clockwork Orange: Nadsat |
| 11/28/2007 | 13 | raould | Clojure |
| 09/08/2008 | 5 | James Iry | Clojure's Approach to Identity and State |
| 11/26/2008 | 20 | Chris Rathman | Clojure: Trampoline for mutual recursion |
| 10/22/2006 | 3 | DanielMyers | Clorox - AJAX shared memory |
| 10/01/2008 | 4 | fanf | closure-based object-oriented programming languages |
| 08/18/2003 | 10 | Ehud Lamm | Closures and mutability |
| 09/01/2008 | 27 | Charles Stewart | Closures for C |
| 08/19/2006 | 160 | el-vadimo | Closures for Java or money back |
| 12/25/2000 | 1 | Chris Rathman | Closures in Python |
| 02/04/2004 | 8 | Ehud Lamm | CLR Design Choices |
| 10/02/2003 | 12 | Ehud Lamm | CLR Exception Model |
| 12/05/2004 | 1 | Ehud Lamm | CLR Generics and code sharing |
| 02/22/2004 | 21 | Ehud Lamm | CLR Hosting |
| 05/28/2003 | 8 | Ehud Lamm | CLR Memory Model |
| 10/30/2003 | 7 | Ehud Lamm | CLR Panel notes |
| 11/09/2001 | 1 | Ehud Lamm | CML2 |
| 06/29/2007 | 3 | Luke Gorrie | CMU AI repository |
| 11/27/2000 | 1 | andrew cooke | Co- and Contra-variance |
| 10/25/2007 | 3 | Gavin Mendel-Gleason | Co-Logic Programming |
| 11/10/2003 | 13 | Ehud Lamm | Coalgebraic Reasoning about Classes in Object-Oriented Languages |
| 01/03/2009 | 2 | jamii | Coconut : Haskell code assembly on the cell processor |
| 08/13/2003 | 3 | Ehud Lamm | Codata and Comonads in Haskell |
| 03/06/2009 | 1 | Mark Dalgarno | Code Generation 2009 - June 16 - 18. Cambridge, UK |
| 05/22/2006 | 16 | Ehud Lamm | Code Generation Network |
| 10/31/2006 | 21 | raould | Code generation vs. dynamic/introspective languages |
| 02/09/2005 | 24 | Ehud Lamm | Code Generation with Python, Cog, and Nant |
| 11/22/2005 | 63 | Ehud Lamm | Code Reading |
| 07/19/2003 | 2 | Ehud Lamm | Code Reading: The Open Source Perspective |
| 09/22/2007 | 4 | Ehud Lamm | Code Splitting for Network Bound Web 2.0 Applications |
| 08/27/2005 | 9 | andrew cooke | CodeProfiles.java - CODeDOC 2002 |
| 03/24/2001 | 1 | Chris Rathman | Coding standards in C++ |
| 06/18/2004 | 1 | Ehud Lamm | Cog |
| 06/17/2004 | 1 | Ehud Lamm | Cog code generator |
| 04/13/2005 | 1 | Andris Birkmanis | CogPrints - if you believe PLs are languages |
| 04/26/2009 | 2 | Greg Buchholz | Coherent Reaction |
| 07/03/2002 | 1 | Ken Meltsner | CoKinetic windows user interface markup language |
| 05/01/2008 | 4 | msimoni | COLA Brainfuck |
| 02/11/2004 | 1 | Andris Birkmanis | Collaborations+CrosscuttingConcerns |
| 11/07/2008 | 3 | Charles Stewart | College Publications |
| 12/28/2003 | 1 | Ehud Lamm | Color Cognition and Language |
| 03/23/2002 | 1 | Ehud Lamm | COM support in Python |
| 01/24/2001 | 3 | andrew cooke | Combinator Parsers |
| 11/15/2002 | 1 | Luke Gorrie | Combinatorics, Complexity, and Randomness |
| 10/05/2005 | 4 | Andris Birkmanis | Combining computational effects |
| 01/13/2004 | 3 | Ehud Lamm | Combining Generics, Pre-Compilation and Sharing Between Software-Based Processes |
| 05/03/2007 | 4 | Ehud Lamm | Combining Total and Ad Hoc Extensible Pattern Matching in a Lightweight Language Extension |
| 04/19/2004 | 6 | David B. Wildgoose | Comega (C Omega) Language |
| 10/31/2001 | 3 | Ehud Lamm | Command Line Hacks |
| 01/14/2005 | 9 | Chris Rathman | Commentary on Standard ML |
| 06/04/2008 | 7 | Leon P Smith | Comments can effect comments below them |
| 03/01/2002 | 13 | Chris Rathman | Comments on Comments |
| 12/14/2003 | 6 | Brent Fulgham | Comments Requested on SML-Based Graphics DSL |
| 10/18/2005 | 4 | Ehud Lamm | Commercial Users of Functional Programming (CUFP) |
| 12/08/2006 | 24 | Isaac Gouy | Commercial Users of Functional Programming 2006 |
| 08/21/2007 | 6 | Ehud Lamm | Commercial Users of Functional Programming 2007 |
| 02/06/2002 | 2 | Ehud Lamm | Common Lisp Cookbook |
| 07/09/2006 | 13 | Anton van Straaten | Community enforcement discussion |
| 08/08/2006 | 3 | Matt Hellige | Comonadic Functional Attribute Evaluation |
| 03/09/2001 | 1 | Ehud Lamm | Compaq Web Language |
| 11/15/2000 | 1 | andrew cooke | Comparative Regexps |
| 12/24/2003 | 5 | Ehud Lamm | A Comparative Study of Language Support for Generic Programming |
| 09/27/2000 | 5 | Ehud Lamm | Comparing Ada and C |
| 05/01/2001 | 2 | Ehud Lamm | Comparing Two Garbage Collectors for C++ |
| 07/19/2006 | 4 | Ehud Lamm | A Comparison of Ada and Real-Time Java for Safety-Critical Applications |
| 02/15/2001 | 3 | andrew cooke | Comparison of Haskell (GHC) and ML (SML/NJ) |
| 12/06/2001 | 1 | Ehud Lamm | Comparison of OO languages late-binding semantics |
| 12/01/2002 | 2 | Isaac Gouy | Comparisons between languages for performance |
| 01/06/2001 | 8 | pixel | Comparisons between languages for performance. |
| 05/26/2005 | 4 | Amir Michail | Competitive Collaborative Specification of GUI Applications through User Test Cases and Merit-Based Conflict Resolution |
| 06/29/2003 | 1 | Anton van Straaten | Compilation of Functional Programming Languages using GCC -- Tail Calls |
| 01/16/2009 | 7 | scottmcl | Compilation/method resolution with structural subtyping |
| 12/13/2006 | 3 | Gregory Propf | Compile to binary in common lisp? |
| 01/22/2008 | 18 | cdiggins | Compile-Time Execution in an Object Oriented Language |
| 09/08/2007 | 1 | Isaac Gouy | Compile-time meta-programming in Metalua and Converge |
| 05/31/2001 | 1 | Ehud Lamm | Compiler reliability |
| 09/05/2008 | 3 | Charles Stewart | Compiler Validation through Program Analysis |
| 11/02/2006 | 3 | Andy Kish | Compiler with easily retargetable and flexible back-end? |
| 01/08/2001 | 2 | andrew cooke | Compilers and Compiler Generators |
| 05/20/2002 | 2 | Ehud Lamm | Compiling Eiffel for the CLR |
| 12/17/2006 | 5 | doublec | Compiling Factor to Javascript |
| 05/01/2002 | 1 | Ehud Lamm | Compiling functional languages |
| 12/08/2000 | 1 | andrew cooke | Compiling Perl |
| 01/21/2007 | 10 | msimoni | Compiling tail-calls to simple C? |
| 01/26/2001 | 3 | Ehud Lamm | Compiling with Continuations |
| 08/17/2007 | 8 | neelk | Compiling with Continuations, Continued |
| 11/27/2006 | 2 | Peter A Jonsson | A Complete, Co-Inductive Syntactic Theory of Sequential Control and State. |
| 02/07/2002 | 1 | Ehud Lamm | Complexity and expressive power of logic programming |
| 01/31/2002 | 1 | Chad Slaughter | Compo - a language to describe music |
| 09/28/2002 | 1 | Ehud Lamm | Composable and Compilable Macros: You Want it When? |
| 01/05/2005 | 15 | Ehud Lamm | Composable memory transactions |
| 05/14/2004 | 2 | Frank Atanassow | Composing Monads using Coproducts |
| 05/14/2004 | 1 | andrew cooke | Composing Monads using Coproducts |
| 09/02/2002 | 1 | jon fernquest | Composing Programming Languages by Combining Action-Semantic |
| 11/18/2002 | 1 | Isaac Gouy | Composition Languages |
| 11/20/2002 | 13 | Ehud Lamm | Composition Languages |
| 09/13/2007 | 6 | cdiggins | Compositional type systems for stack-based low-level languages |
| 05/20/2001 | 1 | andrew cooke | Comprehending Monads |
| 07/25/2007 | 12 | Isaac Gouy | Comprehensions with ‘Order by' and ‘Group by' |
| 04/23/2001 | 3 | Ehud Lamm | Computability and Recursion |
| 09/18/2002 | 2 | Jude | Computation Complexity Weblog |
| 12/10/2007 | 28 | neelk | Computation Orchestration: A Basis for Wide-Area Computing |
| 09/28/2002 | 7 | Ehud Lamm | Computational biolinguistics |
| 10/17/2006 | 1 | Ehud Lamm | Computer Aided Formal Reasoning (@ Nottingham) |
| 04/09/2003 | 5 | Ehud Lamm | Computer Languages for Secondary Education |
| 05/13/2009 | 45 | Peter Van Roy | Computer music: a bastion of interactive visual dataflow languages |
| 11/09/2002 | 2 | Luke Gorrie | Computer Programming as an Art |
| 08/30/2001 | 3 | Ehud Lamm | Computer Programming for Everybody |
| 02/24/2007 | 23 | Luke Gorrie | The Computer Revolution Hasn't Happened Yet |
| 01/08/2008 | 84 | Ehud Lamm | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 04/01/2002 | 5 | Ehud Lamm | Computer Scientist Gets to the Bottom of Financial Scandal |
| 07/14/2006 | 12 | Rys David McCusker | computerhistory's History of LISP |
| 04/08/2005 | 48 | Ehud Lamm | Computerworld Development Survey |
| 02/05/2001 | 10 | Ehud Lamm | Computing Curricula 2001 |
| 10/05/2007 | 60 | Hank Thediek | Computing is a Natural Science |
| 08/14/2007 | 1 | Koray Can | Computing Kazhdan-Lusztig-Vogan Polynomials for E8 |
| 06/01/2009 | 32 | Allan McInnes | Computing Needs Time |
| 06/04/2002 | 1 | Ehud Lamm | Computing with Cells and Atoms |
| 02/14/2006 | 4 | cdiggins | Concatenation Operators in Unimperative |
| 01/19/2004 | 52 | Christophe de Dinechin | Concept programming |
| 06/18/2003 | 30 | Dan Shappir | Concepts, Techniques and Models of Computer Programming |
| 03/16/2001 | 1 | andrew cooke | Concepts, Techniques and Models of CP |
| 03/17/2004 | 2 | Peter Van Roy | 'Concepts, Techniques, and Models' is a real book |
| 12/24/2003 | 12 | Ehud Lamm | Concepts: Design choices for template argument checking |
| 10/24/2003 | 28 | Patrick Logan | Conceptual Integrity in Erlang |
| 08/12/2002 | 1 | jon fernquest | Concern Graphs |
| 07/21/2005 | 12 | mjstahl | Concerning introspection and compilation. |
| 07/19/2002 | 1 | Ehud Lamm | ConCert Project - Certified Code for Grid Computing |
| 03/12/2007 | 7 | Paul Snively | Concoqtion: Indexed Types Now! |
| 07/23/2006 | 3 | Paul Snively | Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference |
| 08/01/2005 | 2 | arthur.amshukov | Concrete Parse Tree to AST |
| 08/05/2000 | 2 | andrew cooke | Concurrency |
| 12/14/2006 | 4 | Koen Van Damme | Concurrency and dominators |
| 12/18/2007 | 11 | vieiro | Concurrency with Scheme |
| 10/21/2003 | 21 | Peter Van Roy | Concurrency-oriented programming |
| 12/04/2007 | 7 | Tommy McGuire | Concurrency: The Compiler Writer's Perspective |
| 07/26/2005 | 6 | Andris Birkmanis | Concurrent Clustered Programming |
| 03/27/2008 | 1 | raould | Concurrent Composition and Algebras of Events, Actions, and Processes |
| 10/10/2000 | 2 | Ehud Lamm | Concurrent OCaml |
| 05/27/2005 | 3 | Tucho | Conference in Vancouver |
| 06/18/2001 | 1 | Ehud Lamm | Conference on Generic Programming |
| 03/01/2003 | 2 | M.J. Stahl | Confused about what Macros could be. |
| 03/02/2008 | 125 | naasking | Confused Deputies in Programming Languages |
| 06/10/2005 | 13 | Ehud Lamm | Connecting The Dots |
| 12/05/2007 | 7 | rmlinden | Connecting the first steps |
| 09/02/2006 | 12 | cdiggins | Constant Values as Types |
| 06/30/2001 | 2 | Ehud Lamm | Constrained Genericity |
| 03/26/2008 | 2 | Winheim Raulsh | Constraint Imperative Programming |
| 08/26/2000 | 2 | andrew cooke | Constraint Languages |
| 01/28/2003 | 1 | Ehud Lamm | Constraint Logic Programming: A Survey |
| 02/07/2006 | 1 | Paul Snively | A constraint-based approach to guarded algebraic data types |
| 06/21/2004 | 1 | Ehud Lamm | Constraint-Based Type Inference for Guarded Algebraic Data Types |
| 08/09/2004 | 5 | Andris Birkmanis | Constraint-Based Type Inference for Guarded Algebraic Data Types |
| 02/07/2006 | 1 | Paul Snively | Constraint-based type inference for guarded algebraic data types |
| 04/21/2005 | 1 | Andris Birkmanis | Constructing Sequent Rules for Generalized Propositional Logics |
| 06/29/2003 | 2 | Ehud Lamm | Constructive Computation Theory. Course notes on lambda calculus |
| 07/14/2002 | 1 | Ehud Lamm | The Constructor Calculus |
| 10/16/2008 | 13 | jdgallag | Constructor classes |
| 09/18/2008 | 5 | JaapSuter | Content Addressable Type Systems |
| 05/26/2005 | 7 | MtnViewMark | Context Free: Grammars as Graphics |
| 06/02/2007 | 1 | Oleg | CONTEXT07. Delimited contexts in OS |
| 06/01/2008 | 4 | raould | Continuation based I/O with referential trasparency (Hope+) ? |
| 04/09/2001 | 1 | Ehud Lamm | Continuation examples |
| 08/13/2008 | 4 | Tommy McGuire | Continuation Fest 2008 |
| 12/06/2000 | 2 | Ehud Lamm | Continuations |
| 04/04/2003 | 4 | andrew cooke | Continuations |
| 01/03/2004 | 5 | Ehud Lamm | Continuations (and call/cc) in Haskell |
| 12/10/2006 | 3 | Denis Bredelet -jido | Continuations and freeing the stack |
| 06/04/2003 | 3 | Kimberley Burchett | Continuations as UI elements |
| 06/02/2006 | 12 | Andris Birkmanis | Continuations for Parallel Logic Programming |
| 12/08/2005 | 2 | Isaac Gouy | Continuations from Generalized Stack Inspection |
| 05/26/2004 | 10 | Noel Welsh | Continuations in Java and Java-based Web Frameworks |
| 09/23/2005 | 30 | Anton van Straaten | Continuations library for Java |
| 05/19/2002 | 1 | Ehud Lamm | Continuations Made Simple and Illustrated |
| 09/15/2003 | 6 | Patrick Logan | Continuations Reading Group |
| 10/27/2006 | 6 | Vassily Gavrilyak | Continuations, yield, ES4 |
| 01/04/2004 | 2 | Patrick Logan | Continuations: Haystack and Python |
| 02/09/2001 | 4 | Ehud Lamm | Continued Fraction Arithmetic - Bill Gosper |
| 03/12/2006 | 4 | cdiggins | Contract Verification and Structural Subtyping of Interfaces |
| 10/29/2001 | 2 | Ehud Lamm | Contracts Reading List |
| 02/16/2003 | 6 | Isaac Gouy | Contrary Accumulator Generator |
| 10/06/2002 | 11 | Ehud Lamm | Contributing (?) Editors |
| 03/04/2001 | 10 | Ehud Lamm | Contributors Needed! |
| 11/20/2003 | 11 | Andris Birkmanis | Control handling primitives |
| 02/23/2004 | 2 | Jim Apple | Control operators |
| 03/01/2003 | 1 | Dejan Jelovic | Control Transfer in Operating System Kernels |
| 10/06/2005 | 2 | Ehud Lamm | Control-Flow Integrity |
| 06/01/2001 | 1 | Ehud Lamm | Conversations on .NET |
| 05/01/2009 | 14 | Isaac Gouy | Conversations with the Creators of Major Programming Languages |
| 07/19/2005 | 17 | axilmar | Conversion of 'functional' to 'imperative' algorithms: is it possible? |
| 11/07/2003 | 10 | Chris Rathman | Converting Common Lisp to Dylan |
| 07/31/2004 | 4 | Daniel Yokomizo | Cookie expiration |
| 12/03/2004 | 3 | Ehud Lamm | Cool Python "spreadsheet" |
| 03/21/2002 | 2 | Ehud Lamm | Coping with Change |
| 11/17/2003 | 10 | Ehud Lamm | Coplien: Teaching OO |
| 04/01/2003 | 2 | Ehud Lamm | Copying and Comparing: Problems and Solutions |
| 03/09/2003 | 3 | Ehud Lamm | Copying, Cloning, and Marshalling in .NET |
| 07/14/2006 | 17 | Niels Hoogeveen | A Core Calculus for Scala Type Checking |
| 06/02/2005 | 2 | segphault | A Core Calculus of Metaclasses |
| 05/23/2003 | 7 | Martin DeMello | Coroutines in C |
| 12/22/2004 | 5 | Chris Rathman | Coroutines in Lua |
| 09/16/2006 | 2 | Bruce Rennie | Corrections to be made to the Papers page |
| 03/12/2002 | 4 | Ehud Lamm | Correctness by Construction: Better Can Also Be Cheaper |
| 06/01/2007 | 2 | Daniel Zingaro | Correctness of Parsers |
| 07/22/2006 | 38 | Ehud Lamm | Cost of provably-correct code |
| 10/08/2001 | 1 | Ehud Lamm | The countdown problem |
| 12/16/2005 | 18 | Curt Sampson | Countering Trusting Trust through Diverse Double-Compiling |
| 06/08/2001 | 3 | Ehud Lamm | Couple of Usenet threads |
| 08/08/2005 | 12 | Andris Birkmanis | Coupling of concepts - good or bad |
| 04/16/2007 | 19 | Paul Snively | Course on Interactive Computer Theorem Proving Based on Coq |
| 08/28/2000 | 1 | Ehud Lamm | Course: Non-imperative programming |
| 07/29/2000 | 1 | Ehud Lamm | Courses Home Pages |
| 01/25/2001 | 5 | andrew cooke | Covariant methods in Java |
| 07/27/2002 | 1 | jon fernquest | Cracking the 500-Language Problem |
| 11/01/2002 | 3 | Michael Mounteney | The crapness that is the Win-32 API |
| 07/15/2004 | 4 | Ehud Lamm | Crash-Only Software |
| 07/14/2008 | 2 | topdotter | Creating a markup language compiler |
| 10/17/2002 | 5 | Michael Vanier | Creating applications with Mozilla |
| 08/12/2007 | 30 | javiadip | creating my own programming language |
| 09/28/2002 | 12 | Michael Vanier | Creating types at run time? |
| 11/12/2002 | 7 | Luke Gorrie | [The Creation of a Constraint-based Programming Language] |
| 03/17/2003 | 2 | Ehud Lamm | Crenshaw: Let's build a compiler |
| 01/08/2002 | 2 | Ehud Lamm | Cringely: Response to critics (C# vs. Java) |
| 02/19/2001 | 1 | andrew cooke | Critical Acclaim |
| 02/17/2001 | 3 | Ehud Lamm | A Critique of Standard ML, Andrew Appel |
| 08/29/2002 | 3 | Ehud Lamm | Critique of the Windows API |
| 10/15/2002 | 3 | Ehud Lamm | Critique: Why Pascal is Not My Favorite Programming Language |
| 10/12/2004 | 4 | Dominic Fox | Croquet Project Releases Initial Developer Release |
| 06/16/2003 | 7 | Manuel Simoni | Croquet: A Collaboration Architecture |
| 03/18/2004 | 7 | Mark Evans | Cross-language future of open source desktops |
| 07/04/2001 | 2 | pixel | Cross-Language Implementation mailing list |
| 03/09/2007 | 1 | Ehud Lamm | CrossTalk: Secure Coding Standards |
| 06/22/2005 | 3 | Andris Birkmanis | Crystal Scheme: A Language for Massively Parallel Machines |
| 08/03/2001 | 1 | Ehud Lamm | CS 6520: Programming Languages and Semantics |
| 11/12/2007 | 3 | Charles Stewart | CSLI lecture notes made freely available |
| 04/07/2003 | 5 | Luke Gorrie | CSP book online in PDF |
| 05/27/2002 | 2 | andrew cooke | CSP for C |
| 07/18/2001 | 4 | Ehud Lamm | CSP for Java |
| 02/17/2002 | 5 | Ehud Lamm | The CSS debate rages on |
| 07/29/2005 | 1 | rhat | CTM Author American University Tour |
| 12/12/2007 | 21 | Ehud Lamm | CUFP write-up |
| 02/06/2001 | 1 | Ehud Lamm | Cultured Perl: Perl 5.6 for C and Java programmers |
| 03/30/2001 | 1 | Pam | Curl goes to 1.0 Release |
| 04/07/2001 | 6 | andrew cooke | Curl on /. + Quickies |
| 07/14/2007 | 11 | vputz | Current "best books on FP"? |
| 02/13/2002 | 1 | Bryn Keller | Curry - A Truly Integrated Functional Logic Language |
| 11/02/2005 | 3 | Daniel Slaney | Curry/Howard and Disjunction |
| 10/14/2002 | 15 | Ehud Lamm | Currying |
| 05/24/2007 | 10 | cdiggins | Currying != Generalized Partial Application?! |
| 02/06/2004 | 10 | andrew cooke | Currying of Complex Interfaces |
| 01/16/2003 | 2 | Ehud Lamm | A Custom Image Viewing Game for an Autistic Child |
| 01/13/2004 | 1 | Ehud Lamm | CW'04 Advance Program |
| 01/15/2009 | 8 | Koray Can | CWE/SANS TOP 25 Most Dangerous Programming Errors |
| 02/01/2009 | 1 | Hank Thediek | Cybernetics and AI |
| 04/29/2008 | 7 | noisesmith | A Cybernetics DSL? |
| 01/28/2008 | 1 | Gavin Mendel-Gleason | Cyclic Proofs for First-Order Logic with Inductive Definitions |
| 09/06/2001 | 3 | Bryn Keller | Cyclone - a next generation systems language |
| 01/01/2003 | 1 | Michael Vanier | Cyclone 0.4 released |
| 09/24/2002 | 1 | Jared | d |
| 01/03/2007 | 2 | David Medlock | D 1.0 finally released |
| 08/16/2001 | 2 | John Lawter | The D Programming Language |
| 01/12/2003 | 3 | Michael Vanier | The D programming language |
| 08/25/2007 | 13 | Ehud Lamm | D Programming Language Conference |
| 06/30/2003 | 2 | Dominic Fox | D4 - A Relational Query Language |
| 10/29/2002 | 2 | Cimarron Taylor | The Dada Engine |
| 08/28/2006 | 2 | Paul Snively | The Daikon Invariant Detector |
| 10/23/2003 | 2 | Ehud Lamm | Dan Friedman: Object Oriented Style |
| 08/06/2004 | 1 | Ehud Lamm | Dan Sugalski: Implementing an Interpreter |
| 02/18/2009 | 17 | Paul Snively | Dana |
| 02/21/2007 | 13 | Will Byrd | DanFest 2004 videos online |
| 05/22/2002 | 10 | Ehud Lamm | Daniel Friedman: A Poorman's 'Roll Your Own' Logic System |
| 03/02/2002 | 8 | Ehud Lamm | Daniel Friedman: A Poorman's 'Roll Your Own' Object System |
| 03/06/2009 | 9 | phoolimin | Dao, the official 1.0 version is released |
| 02/06/2004 | 20 | Bryn Keller | Darcs |
| 11/25/2004 | 7 | Dominic Fox | Darcs: an open source version control system implemented in Haskell |
| 02/02/2004 | 11 | Mike Summers | Data as code |
| 05/26/2005 | 4 | kilrati | Data flow analysis on functional Language |
| 06/07/2005 | 10 | falcon | Data locality and data structures |
| 11/25/2002 | 1 | Luke Gorrie | Data Parallel Algorithms |
| 12/23/2006 | 3 | Ehud Lamm | Data Parallel Haskell: a status report |
| 12/24/2003 | 1 | andrew cooke | Data Structure + Algorithm Survey (Caml) |
| 02/28/2008 | 8 | Matt Hellige | Data Types a la Carte |
| 09/06/2004 | 7 | David B. Wildgoose | Database File System |
| 07/23/2004 | 6 | Matt Estes | Database Theory and Type systems/Programming Languages. |
| 01/02/2006 | 6 | Serguey Zefirov | Dataflow languages and hardware - current status and directions |
| 06/15/2006 | 14 | Peter Scott | Dataflow programming for PIC microcontrollers |
| 07/19/2003 | 1 | Ehud Lamm | Datatype Library Language (XML) |
| 12/07/2006 | 9 | Denis Bredelet -jido | Date format in the forum |
| 04/08/2004 | 25 | Noel Welsh | Dating Design Patterns |
| 04/28/2003 | 2 | Tim Sweeney | David McAllester's "Ontic" Language |
| 10/17/2002 | 1 | Ehud Lamm | David McCusker is looking for a job |
| 03/06/2002 | 1 | Ehud Lamm | David McCusker on artificial languages |
| 05/31/2003 | 12 | Ehud Lamm | David Mertz: Multimethods |
| 11/15/2007 | 15 | Ehud Lamm | David Pollak on lift |
| 01/04/2002 | 2 | Ehud Lamm | A Day of Programming Language Research |
| 05/23/2007 | 3 | raould | DbC + OPascal == Chrome |
| 02/17/2001 | 2 | andrew cooke | DBC for Lisp |
| 02/18/2004 | 4 | Dan Shappir | DDJ, March 2004, Programming Languages |
| 12/08/2002 | 4 | Ehud Lamm | De-biforestation |
| 11/17/2006 | 54 | Kay Schluehr | De-Scheming MIT? |
| 03/07/2005 | 1 | Ehud Lamm | De-typechecker: converting from a type to a term |
| 06/27/2005 | 17 | Jim Apple | Dead Languages |
| 09/17/2000 | 1 | Chris Rathman | Dead Languages Society |
| 06/02/2008 | 12 | Ehud Lamm | Dead-end theorems |
| 01/18/2006 | 3 | pintman | Deadlink |
| 06/08/2002 | 7 | Zach Garner | dealing with Scheme (or Lisp, etc) |
| 05/04/2009 | 5 | Basile STARYNKEVITCH | dealing with spam? |
| 01/28/2001 | 12 | Chris Rathman | Death of the client |
| 04/21/2009 | 13 | Jason Dusek | The deBrujin Criterion and the "LCF Approach". |
| 09/10/2004 | 4 | Andris Birkmanis | A Debugging Environment for Lazy Functional Languages |
| 06/24/2004 | 24 | Ehud Lamm | Debugging Functional Programs |
| 10/01/2005 | 3 | Hank Thediek | Debuging state. |
| 09/19/2007 | 9 | SamK | Decayed Memoization |
| 04/24/2007 | 1 | neelk | Decidability of Higher Order Matching |
| 08/22/2007 | 7 | Michael Stone | Declarative Assembler |
| 06/05/2003 | 2 | andrew cooke | A declarative debugger for Haskell 98 |
| 07/06/2002 | 1 | Ehud Lamm | Declarative Event-Oriented Programming |
| 10/28/2008 | 36 | naasking | Declarative layout and/or UI languages? |
| 09/09/2003 | 1 | Mark Evans | Declarative Meta-programming |
| 08/06/2002 | 5 | jon fernquest | A Declarative Model for Simple Narratives |
| 04/08/2007 | 7 | kaveh.shahbazian | "Declarative" or "Functional" |
| 08/21/2000 | 4 | andrew cooke | Declarative or Inferential? |
| 06/22/2001 | 1 | Chris Rathman | The decline of C++? |
| 09/07/2000 | 1 | Ehud Lamm | Decompilation |
| 04/25/2006 | 14 | Ehud Lamm | Deconstructing Process Isolation |
| 09/02/2004 | 14 | Dominic Fox | A Deeper Look At Metafunctions |
| 03/10/2003 | 6 | Ehud Lamm | Defensive programming in erlang |
| 12/22/2008 | 3 | raeck | Defining a containing function on polymorphic list |
| 02/16/2005 | 7 | Dominic Fox | Defining new infix operators in Python |
| 04/08/2001 | 3 | Lai | Defining predicate |
| 04/01/2007 | 3 | William Davis | Defining Types not as Classes but as Mathematical Sets |
| 09/30/2003 | 2 | Ehud Lamm | Definitional Interpreters for Higher-Order Programming Languages |
| 05/19/2007 | 12 | MarkM | Delegating Responsibility in Digital Systems: Horton's "Who Done It?" |
| 10/17/2006 | 14 | D.G.Gaev | Delevoping a new language... |
| 06/22/2006 | 9 | Chung-chieh Shan | Delimited dynamic binding |
| 04/07/2007 | 38 | Hank Thediek | Deliverable code? |
| 08/04/2000 | 13 | Ehud Lamm | Delphi?!! |
| 08/02/2003 | 15 | Ehud Lamm | Demo of VB "Whidbey" |
| 02/19/2009 | 12 | Matt Hellige | Denotational design with type class morphisms |
| 04/14/2005 | 14 | Andris Birkmanis | Denotational semantics of a DSL? |
| 11/26/2004 | 3 | Ehud Lamm | Denotational Semantics: A Methodology for Language Development |
| 07/02/2001 | 1 | Ehud Lamm | Departments |
| 07/01/2002 | 1 | Ehud Lamm | Departments |
| 11/06/2007 | 27 | Matt Hellige | Dependent Classes |
| 03/23/2008 | 10 | Serguey Zefirov | Dependent Types, Generic Programming and Overloading. |
| 11/21/2005 | 16 | David Teller | Dependent types: literature, implementations and limitations ? |
| 09/20/2008 | 2 | Isaac Gouy | dependent-types linear-types 101 ? |
| 03/24/2001 | 1 | andrew cooke | Depressing, but true |
| 10/04/2007 | 5 | neelk | Derivation and Evaluation of Concurrent Collectors |
| 11/26/2007 | 6 | ilSignorCarlo | Derivation trees for lambda-calculus |
| 01/03/2007 | 19 | Andris Birkmanis | Derivatives and dissections of data types |
| 09/28/2003 | 5 | andrew cooke | Deriving a grammar from source |
| 10/16/2002 | 3 | Ken Shan | Deriving backtracking monad transformers |
| 05/23/2009 | 8 | Jules Jacobs | Deriving Functions to Work on Different Types of Data |
| 05/23/2003 | 5 | andrew cooke | Description Logics in Data Management |
| 09/08/2004 | 11 | Danny Ayers | Description Logics in Literate Haskell |
| 02/20/2007 | 8 | neelk | The Design and Implementation of a Dataflow Language for Scriptable Debugging |
| 08/08/2000 | 1 | Ehud Lamm | 'The Design and Implementation of Programming Languages' |
| 01/22/2008 | 33 | Ehud Lamm | The Design and Implementation of Typed Scheme |
| 01/29/2001 | 4 | Ehud Lamm | Design By Contract |
| 02/22/2002 | 2 | Brent Fulgham | Design By Contract |
| 10/22/2002 | 10 | Brent Fulgham | Design By Contract Discussion |
| 07/03/2005 | 6 | Andris Birkmanis | Design Concepts in Programming Languages |
| 08/22/2008 | 1 | Tim Chevalier | Design Concepts in Programming Languages |
| 10/20/2008 | 9 | Dan Moniz | Design Concepts in Programming Languages is now available |
| 01/21/2005 | 3 | Neil Madden | Design Docs - Tcl TIPs |
| 08/29/2006 | 1 | peter steiner | design docs links c/c++ |
| 07/05/2005 | 9 | Ehud Lamm | The design of C++0x |
| 08/10/2003 | 12 | Ehud Lamm | The Design of Parallel Programming Languages |
| 01/09/2002 | 7 | Brent Fulgham | Design Paradigms |
| 03/16/2006 | 18 | Ehud Lamm | Design Patterns as Higher-Order Datatype-Generic Programs. |
| 03/21/2001 | 1 | Ehud Lamm | Design Patterns in Dynamic Programming |
| 08/29/2002 | 5 | Ehud Lamm | Design Patterns in XML Applications |
| 09/23/2000 | 2 | Ehud Lamm | Design Principles and Design Patterns (OOD) |
| 05/10/2001 | 1 | Ehud Lamm | Design Principles Behind Smalltalk |
| 12/01/2001 | 1 | Ehud Lamm | Design Principles Behind Smalltalk |
| 02/05/2004 | 7 | andrew cooke | Designing a "Business Layer" |
| 05/06/2006 | 18 | cdiggins | Designing a Type Notation for a Stack Based Functional Language |
| 05/28/2003 | 1 | Neel Krishnaswami | Designing and Implementing Combinator Languages |
| 02/22/2005 | 10 | ydewit | Designing and Implementing DSL languages: recommended reading? |
| 12/23/2002 | 2 | Ehud Lamm | Designing and Using Combinators |
| 07/05/2007 | 1 | Ehud Lamm | Designing High-Security Systems: A Comparison of Programming Languages |
| 02/13/2003 | 10 | Manuel Simoni | Designing Reusable Classes (PDF) |
| 11/30/2001 | 2 | Ehud Lamm | Designing Tapestry Mega-Components |
| 05/21/2003 | 2 | Ehud Lamm | Destructors, Finalizers, and Synchronization |
| 04/07/2009 | 2 | Ehud Lamm | Detecting Data Race and Atomicity Violation via Typestate-Guided Static Analysis |
| 12/31/2008 | 13 | ellisk | "Determinism" of types? |
| 02/27/2002 | 3 | Dan Shappir | The developer's dilemma |
| 04/01/2002 | 1 | Ehud Lamm | Developing Applications with Objective Caml |
| 07/13/2002 | 8 | jon fernquest | Developing Applications with Objective CAML |
| 12/13/2002 | 9 | Ehud Lamm | Developing Interactive Web Programs (Scheme Servlets) |
| 12/18/2002 | 55 | Ehud Lamm | Developing Reliable Software with Scripting Languages |
| 10/02/2002 | 1 | jon fernquest | Devils and Angels |
| 05/11/2003 | 2 | Ehud Lamm | Devils and Angels, via Monads |
| 07/16/2005 | 1 | Serguey Zefirov | DiaGen and DiaPlan |
| 08/30/2002 | 1 | jon fernquest | Diagnosing Java code: Assertions and temporal logic in Java |
| 10/19/2002 | 1 | jon fernquest | Diagnosing Java code: Unit tests and automated code analysis |
| 01/04/2001 | 2 | pixel | diagram & history of languages |
| 12/31/2000 | 9 | pixel | diagram & history of programming languages |
| 08/19/2007 | 64 | Peter Van Roy | Diagram showing all programming paradigms and their relationships |
| 08/02/2002 | 1 | jon fernquest | Diagrammatic Representations in Domain-Specific Languages |
| 12/20/2007 | 2 | Matt Hellige | A Dialogue on Infinity |
| 02/13/2009 | 2 | Alex Rubinsteyn | Differences between gradual, soft, and dynamic dependent typing? |
| 08/08/2008 | 4 | Ehud Lamm | Differentiating regions |
| 12/18/2000 | 3 | Chris Rathman | DigitaScript: Scripting Language for Digital Cameras |
| 08/08/2002 | 4 | Ehud Lamm | Dijkstra and the Ada language |
| 02/19/2007 | 20 | Zombywuf | Dimensional analysis typing |
| 11/09/2003 | 1 | Isaac Gouy | Dines Bjorner Software Engineering textbooks |
| 02/01/2002 | 4 | Ehud Lamm | Direct manipulation languages |
| 12/07/2006 | 10 | Luke Gorrie | Directness and liveness in the morphic user interface construction environment |
| 03/20/2008 | 9 | Daniel Yokomizo | The Disciplined Disciple Compiler |
| 02/19/2001 | 1 | Ehud Lamm | The Discoveries of Continuations - Reynolds |
| 02/28/2002 | 2 | Ehud Lamm | Discovering Squeak |
| 10/25/2000 | 4 | Ehud Lamm | Discussion Group |
| 06/14/2001 | 3 | Chris Rathman | Disney Losing Kay & Team |
| 11/07/2001 | 2 | Ehud Lamm | Dispelling Java programming language myths |
| 08/18/2002 | 18 | Ehud Lamm | Disruptive Programming Language Technologies |
| 04/19/2003 | 4 | Chris Rathman | Dissecting Unlambda Birds |
| 03/26/2004 | 2 | Luke Gorrie | distcc: a fast, free distributed C/C++ compiler |
| 08/30/2002 | 1 | Frank Atanassow | Distel: Distributed Emacs Lisp |
| 12/29/2002 | 10 | Ehud Lamm | Distel: Distributed Emacs Lisp (for Erlang) |
| 10/15/2004 | 14 | dkondr | Distributed Functional Programming |
| 11/30/2006 | 1 | naasking | Distributed Meta-Programming |
| 06/14/2007 | 22 | raould | Distributed Objects vs. Messaging |
| 10/21/2003 | 8 | Peter Van Roy | Distributed programming made easy |
| 08/29/2008 | 6 | Denis Bredelet -jido | Distributed/Parallel language semantics |
| 09/12/2005 | 8 | Ehud Lamm | Distributive laws for the Coinductive Solution of Recursive Equations |
| 09/12/2007 | 14 | Ehud Lamm | DivaScheme |
| 02/04/2002 | 1 | Ehud Lamm | DIY Web Services with Radio 8 |
| 05/23/2001 | 2 | Lai | DJGPP |
| 11/06/2002 | 15 | Isaac Gouy | Do languages matter? |
| 08/21/2002 | 2 | Ehud Lamm | Do we Need Dependent Types? |
| 11/10/2006 | 54 | Denis Bredelet -jido | Dodo |
| 02/06/2008 | 12 | David Minor | Does anyone know of work done on co-data-types? |
| 08/08/2002 | 2 | jon fernquest | Does Code Decay? |
| 05/25/2007 | 7 | Ahnfelt | Does these constructs solve the expression problem? |
| 09/04/2008 | 14 | jimdesu | doing letrec with lambdas |
| 03/02/2002 | 1 | Patrick Logan | DOM and Lisp's READ |
| 09/13/2004 | 1 | Vitaly Lugovsky | Domain Specific Languages hierarchy discussion |
| 03/06/2003 | 1 | Ehud Lamm | Domain Theory |
| 10/07/2003 | 9 | Ehud Lamm | Domain-specific and general-purpose aspects of spreadsheet languages |
| 05/16/2002 | 14 | Ehud Lamm | Domain-specific Embedded Languages and Program Generators |
| 11/24/2001 | 4 | Ehud Lamm | Domain-Specific Languages: An Annotated Bibliography |
| 03/26/2004 | 3 | Isaac Gouy | Domain-Specific Modeling Languages |
| 03/06/2003 | 1 | Ehud Lamm | Domains and Denotational Semantics: History, Open Problems |
| 11/27/2003 | 4 | David B. Wildgoose | The dominant paradigm |
| 09/01/2002 | 2 | Frank Atanassow | Domino on Acid |
| 04/11/2005 | 27 | cas | Dominus talks about HO Perl |
| 05/12/2003 | 18 | Dan Shappir | Don Box on C# generics vs. C++ generics |
| 02/06/2002 | 1 | Dan Shappir | Don Box on the Importance of Being WSDL |
| 02/07/2002 | 22 | Dejan Jelovic | Don Box on the Importance of Being WSDL |
| 02/21/2005 | 38 | Ehud Lamm | Don Box: Teaching my kids to program |
| 12/04/2003 | 1 | scruzia | Don Knuth Book Tour! |
| 02/25/2008 | 5 | hhm | "Don't become a scientist" discussion at HN |
| 01/04/2002 | 4 | Dejan Jelovic | Don's Favorite Aspects of the CLR |
| 05/30/2001 | 3 | Chris Rathman | Double Check Locking In Java |
| 09/27/2003 | 2 | Ehud Lamm | Douglas Adams: Frank The Vandal |
| 04/20/2006 | 4 | dbfaken | "Down with Lambda-Lifting" |
| 04/30/2002 | 4 | Chris Rathman | Downsides to the C++ STL? |
| 09/07/2003 | 1 | Mark Evans | DP-COOL 2003 Proceedings |
| 09/08/2003 | 7 | Ehud Lamm | DP-COOL 2003 Proceedings |
| 04/08/2003 | 21 | andrew cooke | DPROG |
| 01/23/2006 | 1 | Satrajit Chatterjee | Dr Jekyll and Mr C |
| 10/22/2004 | 14 | shrogers | Dr. Kenneth Iverson Passes Away |
| 09/09/2002 | 3 | jon fernquest | Dr. Seuss on Parser Monads |
| 09/14/2006 | 15 | Dave Herman | Draft R6RS available |
| 01/29/2004 | 3 | Mark Evans | Drafting Legislation Using XML |
| 04/12/2004 | 4 | Chris Rathman | Draining the Language out of Color |
| 11/09/2002 | 2 | Ehud Lamm | The Dream of a Perfect Language |
| 06/25/2007 | 4 | sidhu | The dream of Church and Curry realized? |
| 03/12/2004 | 10 | M.J. Stahl | Dressing up Self in JavaScript |
| 05/09/2008 | 1 | Ehud Lamm | DryadLINQ |
| 06/10/2006 | 3 | Matt Estes | A DSL based Web Framework. |
| 01/05/2003 | 1 | Ehud Lamm | DSL for blog aggregators |
| 11/26/2003 | 3 | Ehud Lamm | DSL for bookmarklets |
| 01/16/2004 | 2 | Olivier Lefevre | DSL for financial contracts |
| 01/16/2004 | 15 | Ehud Lamm | DSL for financial contracts |
| 01/08/2004 | 5 | Ehud Lamm | DSL Implementation in MetaOCaml, Template Haskell, and C++ |
| 12/08/2003 | 5 | Ehud Lamm | DSL in Software Development and Releation to Partial Evaluation |
| 07/04/2006 | 32 | dataangel | DSLs and operator associativity/precedence |
| 11/24/2001 | 2 | Ehud Lamm | DSLs: A Logical Approach |
| 03/10/2006 | 5 | Matt Hellige | DSLs: How and When? |
| 05/13/2005 | 1 | Ehud Lamm | Dtracing Python |
| 08/24/2007 | 7 | paddy3118 | Duck Typing advocated where? |
| 12/29/2005 | 7 | lmeyerov | Duck typing vs Structural Subtyping |
| 03/26/2004 | 45 | Isaac Gouy | Dying Tongues |
| 08/31/2000 | 7 | Chris Rathman | Dylan comments... |
| 11/11/2003 | 2 | Ehud Lamm | Dylan Evans: Computer Illiteracy |
| 09/01/2000 | 1 | Ehud Lamm | The Dylan Reference Manual |
| 01/18/2005 | 11 | Greg Buchholz | Dynamic Eager Haskell |
| 03/20/2002 | 2 | Ehud Lamm | Dynamic Functions using FXSL |
| 06/26/2005 | 10 | bdenckla | "dynamic" generative programming? |
| 05/02/2007 | 20 | Sean McDirmid | Dynamic interactivity in Mathematica 6 |
| 08/26/2003 | 33 | Ehud Lamm | Dynamic languages and virtual machines |
| 07/06/2005 | 6 | Ovid | Dynamic Languages Journal? |
| 01/28/2003 | 2 | Chris Double | Dynamic Languages on .NET |
| 05/14/2003 | 2 | Dejan Jelovic | Dynamic Languages on CLR |
| 05/17/2001 | 2 | andrew cooke | Dynamic Languages Panel download |
| 08/09/2004 | 7 | Luke Gorrie | Dynamic Languages Wizards panel videos (rerun) |
| 03/05/2009 | 4 | Hank Thediek | Dynamic Logic |
| 11/30/2003 | 40 | Patrick Logan | Dynamic Properties |
| 08/29/2006 | 27 | Hank Thediek | Dynamic Semantics |
| 04/21/2006 | 5 | Isaac Gouy | Dynamic Software Updating for C |
| 09/20/2005 | 27 | Matt Hellige | Dynamic typing in OCaml |
| 09/21/2005 | 16 | Jim Apple | Dynamic vs. Static Typing - A Pattern-Based Analysis |
| 08/20/2001 | 11 | Ehud Lamm | Dynamic Web Sites with XML, XSLT and JSP |
| 10/20/2003 | 13 | Ehud Lamm | Dynamically scoped functions vs. AOP |
| 10/30/2001 | 8 | Ehud Lamm | Dynamo- Dynamic Logic Programming |
| 12/04/2007 | 3 | Ehud Lamm | DySy: Dynamic Symbolic Execution for Invariant Inference |
| 12/31/2001 | 7 | Ehud Lamm | E - secure,distributed, pure OOP and p2p scripting language |
| 04/16/2006 | 21 | Chris Rathman | E Thesis: Robust Composition |
| 06/04/2002 | 3 | Bryn Keller | Eager Haskell |
| 05/02/2003 | 4 | Ehud Lamm | Earliest Uses of Various Mathematical Symbols |
| 04/02/2002 | 3 | Ehud Lamm | Early Adopters Like Visual Studio .Net |
| 07/05/2004 | 10 | Ehud Lamm | Early history of Fortran |
| 07/17/2002 | 8 | Ehud Lamm | Early Java: Worse is Better and Meta is Better, Two Lessons |
| 04/07/2007 | 4 | Jim Apple | Early Programming Languages (A Logic Puzzle) |
| 01/04/2008 | 4 | raould | Early vs. late binding dogma/experiences? |
| 04/29/2002 | 8 | Ehud Lamm | Ease - Evolutionary Algorithms Scripting Environment |
| 04/16/2007 | 8 | falcon | Easylanguage: domain specific language for trading stocks |
| 09/10/2001 | 3 | Ehud Lamm | Eclipse |
| 05/01/2002 | 1 | Brent Fulgham | Eclipse and Emacs |
| 03/04/2004 | 1 | Mark Evans | EclipseCon 2004 Presentations |
| 02/11/2006 | 1 | Luke Gorrie | ECLM 2006 |
| 11/06/2007 | 5 | Dave Herman | ECMAScript Edition 4 and Backwards Compatibility |
| 06/08/2007 | 55 | Dave Herman | ECMAScript Edition 4 Reference Implementation |
| 07/18/2005 | 13 | David N. Welton | Economics of Programming Languages |
| 02/05/2003 | 11 | Ehud Lamm | Ed Felten: Programs vs. Data |
| 02/27/2007 | 9 | Ehud Lamm | Ed Felten: Why Understanding Programs is Hard |
| 06/30/2002 | 2 | Ehud Lamm | Edge Side Includes (ESI) |
| 07/01/2004 | 1 | Ehud Lamm | Editors Ahoy! |
| 05/17/2005 | 1 | Ehud Lamm | Editors on Vacation |
| 11/05/2003 | 9 | Ehud Lamm | Editors, Ahoy! |
| 12/17/2002 | 1 | Ehud Lamm | Editors? |
| 08/07/2002 | 4 | Jarno Virtanen | Edsger W. Dijkstra has died |
| 08/07/2002 | 4 | Ehud Lamm | Edsger Wybe Dijkstra (1930-2002) |
| 03/10/2008 | 5 | chihiro | Educational environments to learn programming |
| 03/09/2005 | 61 | Ehud Lamm | Educational Pearl: Automata as Macros |
| 01/06/2006 | 5 | jesuswaffle | Effect Systems? |
| 07/18/2008 | 8 | msid | Effectiveness of C++ for scientific computing? |
| 02/20/2007 | 7 | cdiggins | Effects in Types |
| 06/09/2003 | 6 | Ehud Lamm | Efficient coroutine generation of constrained Gray sequences |
| 01/21/2009 | 2 | Isaac Gouy | Efficient Interpretation by Transforming Data Types and Patterns to Functions |
| 10/20/2002 | 1 | Ehud Lamm | Efficient JVM Just-in-Time Compilation |
| 07/08/2001 | 1 | Ehud Lamm | Efficient Prolog: A Practical Guide |
| 12/25/2000 | 3 | Chris Rathman | Efficient tree searches in Logic Languages |
| 09/10/2007 | 1 | Ehud Lamm | Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus |
| 03/01/2004 | 7 | Mark Evans | Eidola Language |
| 07/25/2002 | 1 | Ehud Lamm | Eiffel on .Net |
| 11/11/2000 | 2 | Chris Rathman | Eiffel Seperate Classes and Java |
| 01/18/2001 | 1 | Ehud Lamm | Eiffel Struggle Results |
| 04/06/2006 | 11 | John Eikenberry | Eiffel Studio adds GPL version |
| 05/02/2001 | 1 | Chris Rathman | EJB 2.0 Proposed Final Draft 2 |
| 02/23/2001 | 3 | Ehud Lamm | EJB critique |
| 03/10/2001 | 1 | Chris Rathman | EJB discussion (and criticisms) |
| 05/30/2001 | 1 | Ehud Lamm | EJB stories |
| 12/04/2001 | 1 | Ehud Lamm | ElectricalFire |
| 03/27/2001 | 2 | andrew cooke | (Elegant) Recursive Ascent Parsing |
| 06/26/2004 | 13 | Ohad Kammar | Elementary Category Theory |
| 02/15/2004 | 1 | Andris Birkmanis | Elements of Basic Category Theory |
| 02/16/2004 | 25 | Ehud Lamm | Elements of Basic Category Theory |
| 12/16/2006 | 5 | Luke Gorrie | Elements of Interaction |
| 06/20/2002 | 2 | John Kozak | Elephant 2000 |
| 06/21/2002 | 1 | andrew cooke | Elephant 2000 |
| 01/21/2009 | 12 | Ehud Lamm | Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts |
| 08/06/2004 | 13 | Ehud Lamm | Eliminating Array Bound Checking through Non-dependent types |
| 02/02/2001 | 1 | andrew cooke | elj Roundup |
| 04/30/2001 | 1 | andrew cooke | elj Roundup |
| 01/14/2003 | 4 | Dan Moniz | Elle |
| 10/19/2001 | 1 | Ehud Lamm | Elucidative Programming |
| 11/06/2003 | 9 | Luke Gorrie | EMACS: The Extensible, Customizable Display Editor |
| 06/05/2006 | 17 | Jeff Nowakowski | Email/news interface |
| 01/24/2008 | 23 | raould | Embedded concurrent FPish languages? |
| 10/12/2001 | 1 | Ehud Lamm | Embedded Java |
| 06/18/2005 | 44 | andrew cooke | Embedded Languages in Java |
| 02/07/2007 | 1 | raould | Embedded ML? |
| 02/09/2004 | 5 | M.J. Stahl | Embedding Lisp/Logic for Robotics |
| 03/15/2005 | 23 | Sudarshan | Embedding one language in another |
| 07/18/2004 | 3 | Frank Atanassow | Embedding Prolog in Haskell |
| 08/06/2002 | 9 | jon fernquest | Embedding Prolog in Haskell |
| 02/09/2001 | 1 | Ehud Lamm | Embedding Prolog into Haskell |
| 12/26/2002 | 1 | Ehud Lamm | Embedding Sequence Analysis in FP |
| 12/26/2000 | 3 | Ehud Lamm | Empirical Results |
| 07/13/2006 | 3 | Paolo Martini | Encoding Information Flow in Haskell |
| 04/20/2005 | 1 | David Teller | Encodings (wikipedia) |
| 02/05/2001 | 12 | Ehud Lamm | End-User XML oriented proramming |
| 01/10/2008 | 4 | Allan McInnes | Engineering Formal Metatheory |
| 10/01/2005 | 22 | ade_oshineye | The English-Likeness Monster |
| 05/02/2004 | 3 | andrew cooke | Enjoy the Soundness |
| 03/04/2009 | 3 | Paul Snively | Ensuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent Types |
| 06/29/2004 | 5 | Ehud Lamm | Enumerating the Rationals |
| 02/19/2004 | 3 | Ehud Lamm | Environment Classifiers |
| 03/24/2003 | 19 | Dan Shappir | Environment, scripting, and behavior |
| 04/17/2002 | 2 | Ehud Lamm | Environmental Acquisition - A New InheritancE Mechanism |
| 12/06/2005 | 30 | Ehud Lamm | Envisioning a New Language: A Conversation With Victoria Livschitz |
| 01/09/2008 | 2 | Ehud Lamm | EOPL3 |
| 05/11/2005 | 1 | Jim Apple | The Epigram Blog |
| 03/03/2009 | 5 | neelk | Equality Saturation: A New Approach to Optimization |
| 04/02/2008 | 32 | cdiggins | Erasmus: A Modular Language for Concurrent Programming |
| 01/13/2004 | 10 | Ehud Lamm | Eric Gunnerson on language design at Microsoft (well, sort of) |
| 07/08/2004 | 2 | Ehud Lamm | Eric Gunnerson's JavaOne report |
| 03/30/2004 | 7 | Dan Shappir | Eric Lippert does SimpleScript |
| 04/29/2001 | 1 | Ehud Lamm | Eric S. Raymond - Why Python? |
| 05/13/2008 | 1 | David B. Wildgoose | Erik Meijer and Bertrand Meyer - Objects, Contracts, Concurrency, Sleeping Barbers and Eiffel |
| 01/08/2004 | 3 | Ehud Lamm | Erik Meijer on LtU |
| 10/20/2003 | 22 | Ehud Lamm | Erik Meijer: Visual Basic Programmers Love Anamorphisms |
| 03/11/2008 | 13 | neelk | Eriskay: a Programming Language Based on Game Semantics |
| 08/28/2000 | 5 | Ehud Lamm | Erlang |
| 07/20/2006 | 36 | coffeemug | Erlang concurrency: why asynchronious messages? |
| 10/23/2002 | 1 | Francesco Cesarini | Erlang in Large Scale Software Design |
| 10/06/2001 | 1 | Ehud Lamm | Erlang in Real Time |
| 05/28/2003 | 14 | Kimberley Burchett | Erlang is Icky |
| 03/31/2002 | 4 | Ehud Lamm | Erlang Is Worth a Look |
| 11/29/2004 | 1 | Ehud Lamm | Erlang REPOS 1.0 |
| 08/17/2004 | 18 | Luke Gorrie | Erlang the Movie |
| 09/25/2001 | 11 | Ehud Lamm | Erlang to OTP: A heavy duty TCP/IP Client Server application |
| 09/06/2004 | 1 | Ehud Lamm | Erlang tutorial |
| 10/02/2001 | 5 | Ehud Lamm | Erlang tutorial and history |
| 12/03/2006 | 2 | Isaac Gouy | Erlang vs C++ for Robust Telecom Software |
| 07/25/2006 | 1 | feeley | Erlang Workshop 2006 |
| 12/10/2003 | 4 | Ehud Lamm | Erlang/OTP User Conference (euc'2003) Proceedings |
| 02/18/2003 | 23 | Ehud Lamm | Erlang: A Case Study of Technology Introduction |
| 07/13/2007 | 3 | Jason Dusek | ErlCaml |
| 10/13/2004 | 9 | Fernando Rodriguez | Erlisp: Common Lisp Meets Erlang |
| 10/19/2007 | 5 | dbfaken | ErlOCaml |
| 08/19/2004 | 14 | Ehud Lamm | Error handling strategies |
| 05/23/2007 | 2 | J Storrs Hall | Error messages |
| 08/20/2008 | 7 | Jules Jacobs | Error Messages in Dynamically Typed Languages |
| 12/27/2002 | 3 | Ehud Lamm | Es: A shell with higher-order functions |
| 08/22/2006 | 7 | Jim Apple | ESC not just for Java any more |
| 03/31/2003 | 2 | Ehud Lamm | Escape Analysis for Java |
| 08/20/2006 | 2 | Hank Thediek | Escape sequence for XML |
| 12/07/2006 | 1 | Denis Bredelet -jido | eskimo: experimenting with skeletons in the shared address model. |
| 07/09/2005 | 8 | Chris Rathman | ESL Design |
| 07/17/2005 | 3 | Kevin Lipe | Esolang Extravaganza |
| 01/14/2003 | 3 | Michael Vanier | Esoteric computer languages |
| 02/16/2001 | 2 | Ehud Lamm | The Esoteric Programming Languages Ring |
| 11/11/2002 | 24 | Sam Gentile | Essay: Multi-Paradigm Design and Generic Programming |
| 02/18/2003 | 2 | Ehud Lamm | The essence of compiling exceptions |
| 03/05/2001 | 1 | Ehud Lamm | The Essence of Compiling with Continutations |
| 05/28/2005 | 1 | Ehud Lamm | The Essence of Data Access in Cw |
| 09/21/2005 | 13 | shapr | The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene |
| 02/02/2006 | 1 | Jim Apple | The essence of ML type inference |
| 07/23/2002 | 8 | jon fernquest | The Essence of Strategic Programming |
| 04/13/2006 | 6 | Ehud Lamm | The Essence of the Iterator Pattern |
| 07/22/2002 | 2 | Ehud Lamm | The Essence of XML |
| 03/21/2006 | 3 | Thomas Sutton | Essential Language Support for Generic Programming |
| 03/12/2001 | 1 | Ehud Lamm | Essentials of Programming Languages, 2e |
| 01/22/2003 | 2 | Ehud Lamm | ESSLLI 2003 - 18-29 August |
| 02/09/2002 | 1 | Ehud Lamm | ETAPS registration now open |
| 03/26/2004 | 1 | Ehud Lamm | A Eulogy for HyperCard |
| 06/19/2004 | 2 | Shae Erisson | EuroHaskell 2004 |
| 11/19/2003 | 1 | Ken Shan | European Summer School on Logic, Language and Information |
| 07/02/2002 | 2 | Ehud Lamm | Europython presentations |
| 06/14/2004 | 2 | Ehud Lamm | EuroPython'2004 Slides |
| 03/18/2002 | 6 | Ehud Lamm | Evaluating a new programming language |
| 10/08/2003 | 5 | Isaac Gouy | Evaluating API usability at Microsoft |
| 06/08/2007 | 4 | James Hague | Evaluating High-Level Distributed Language Constructs |
| 09/15/2002 | 4 | jon fernquest | Evaluation Order Semantics in Expressions with Side Effects |
| 07/12/2006 | 14 | Matt Hellige | Event-Based Programming without Inversion of Control |
| 12/01/2003 | 29 | Andris Birkmanis | Events and Continuations |
| 02/28/2004 | 21 | Dan Shappir | Every Language War Ever |
| 08/23/2004 | 2 | andrew cooke | Every language you never wanted to know |
| 01/31/2006 | 5 | mvw | Everything Your Professor Failed to Tell You About Functional Programming |
| 10/11/2001 | 2 | Ehud Lamm | The Evolution of a Haskell Programmer |
| 10/22/2003 | 2 | Mark Evans | Evolution of a Programmer (Joke) |
| 02/17/2003 | 2 | Ehud Lamm | Evolution of Indo-European Languages using ASP |
| 07/07/2007 | 56 | Isaac Gouy | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 05/22/2001 | 3 | Biep | The Evolution of Lisp |
| 12/02/2007 | 2 | doublec | Evolutionary Programming and Gradual Typing in ECMAScript 4 |
| 05/30/2003 | 17 | Toby Reyelts | Evolving a programming language |
| 02/07/2006 | 19 | Ehud Lamm | eWeek: 'Exotic' Programming Tools Go Mainstream |
| 10/30/2004 | 1 | Ehud Lamm | EWeek: Programming Legends Debate .Net, J2EE |
| 11/23/2001 | 6 | Ehud Lamm | Example little languages |
| 01/03/2002 | 4 | Adewale Oshineye | Examples of 119 programming languages |
| 09/06/2007 | 6 | echinuz | Examples of Categorical Semantics for Languages with Dependent Types |
| 03/06/2008 | 14 | raould | Excel as a different programming paradigm |
| 04/25/2004 | 2 | andrew cooke | Excel examples |
| 10/08/2003 | 6 | Ehud Lamm | Excellent tutorial on Scheme macros |
| 08/30/2002 | 1 | Manuel Simoni | Exception-Safety in Generic Components |
| 12/22/2005 | 1 | Chung-chieh Shan | Exceptional syntax |
| 02/26/2008 | 25 | raould | exceptions again |
| 11/10/2002 | 2 | Ehud Lamm | Executable Implementation of Scheme Denotational Semantics |
| 04/04/2002 | 3 | Ehud Lamm | Exegesis 4 |
| 08/23/2002 | 5 | Keith Devens | Exegesis 5 is out |
| 08/25/2002 | 2 | Ehud Lamm | Exegesis 5 is out |
| 07/30/2003 | 27 | Ehud Lamm | Exegesis 6 |
| 11/12/2003 | 1 | Ehud Lamm | Exercises in Coalgebraic Specification |
| 05/06/2005 | 1 | Jim Apple | Existential Types == Guarded Types |
| 03/28/2007 | 27 | Anton van Straaten | Expect New Major Language Within Five Years |
| 08/08/2007 | 8 | Ehud Lamm | Experience Report: Scheme in Commercial Web Application Development |
| 07/13/2004 | 175 | Ehud Lamm | Explaining monads |
| 03/09/2005 | 53 | bdenckla | Exploiting parser ambiguity |
| 07/17/2002 | 1 | Dan Shappir | Exploring .NET Alternatives |
| 10/30/2002 | 1 | Ehud Lamm | Exploring alternative syntaxes for XML |
| 03/06/2003 | 1 | Patrick Logan | Exploring CSP |
| 09/22/2002 | 9 | jon fernquest | Exploring NLP in Oz/Mozart |
| 12/15/2000 | 1 | andrew cooke | Exploring Randomness |
| 03/10/2007 | 3 | neelk | Expressing Heap-shape Contracts in Linear Logic |
| 08/06/2006 | 6 | cdiggins | Expressing the Type of a While Loop |
| 05/11/2007 | 4 | naasking | Expressing usage constraints within the language |
| 05/06/2007 | 7 | Ehud Lamm | The Expression Problem Revisited |
| 05/06/2007 | 3 | Ehud Lamm | The expression problem, Scandinavian style |
| 02/26/2006 | 7 | Ehud Lamm | An Expressive Language of Signatures |
| 08/22/2000 | 4 | andrew cooke | Expressiveness of Declarative Languages |
| 10/21/2003 | 45 | Peter Van Roy | Expressiveness versus execution speed |
| 08/09/2005 | 23 | David B. Held | Expressivity |
| 03/29/2005 | 216 | el-vadimo | expressivity of "idiomatic C++" |
| 04/26/2005 | 42 | falcon | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 12/10/2002 | 1 | bryan rasmussen | Expresso, environment for ISO 10303-1 |
| 05/28/2003 | 1 | Ehud Lamm | EXSLT: Enhancing the Power of XSLT |
| 04/14/2008 | 1 | jbfryman | Extended Deadline - ALTA 2008 CFP |
| 03/09/2001 | 1 | Ehud Lamm | Extended Static Checking for Java |
| 09/13/2007 | 9 | Ingo Wechsung | Extending HM type inference -- would this be possible? Or even desirable? |
| 07/30/2007 | 2 | Dominic Fox | Extending Java with Yield |
| 12/20/2006 | 3 | Ehud Lamm | Extending Prolog with Incomplete Fuzzy Information |
| 11/20/2004 | 5 | Ehud Lamm | Extending Ruby with C |
| 06/13/2004 | 7 | Chris Rathman | Extensible Code Generation with Java |
| 07/09/2007 | 2 | skaller | Extensible Languages |
| 04/09/2007 | 3 | naasking | Extensible Pattern Matching via a Lightweight Language |
| 05/12/2004 | 10 | Ehud Lamm | Extensible Programming for the 21st Century |
| 11/15/2005 | 10 | Matt Hellige | Extensible Records With Scoped Labels |
| 06/09/2003 | 1 | Ehud Lamm | Extensible Syntax with Lexical Scoping |
| 01/17/2007 | 1 | thgibbs | Extracting Queries by Static Analysis of Transparent Persistence |
| 02/03/2002 | 1 | Ehud Lamm | Extreme Markup Languages 2002 |
| 07/20/2002 | 1 | Ehud Lamm | Extreme Markup Languages 2002 (conference program) |
| 10/19/2008 | 9 | christopher | F in System F |
| 05/16/2002 | 6 | Dejan Jelovic | F# |
| 04/07/2007 | 1 | grant | F# 1.9.1 released |
| 05/20/2009 | 3 | Isaac Gouy | F# tip toes into the mainstream? |
| 10/16/2004 | 5 | Danny Ayers | F#, a functional language for .Net |
| 10/22/2008 | 7 | Charles Stewart | Fω^C: a symmetrically classical variant of System Fω |
| 02/16/2001 | 4 | Chris Rathman | F-Script programming language |
| 10/17/2002 | 2 | Ehud Lamm | F-Script: Smalltalk Scripting for Mac OS X |
| 11/14/2006 | 6 | rossjudson | F3 - Functional GUI Development for Java |
| 05/09/2007 | 6 | rossjudson | F3 is now openjfx |
| 01/20/2007 | 13 | dough | F3: New statically typed scripting language for java |
| 06/25/2004 | 8 | Dominic Fox | Fabian Pascal on XQuery |
| 05/07/2001 | 4 | andrew cooke | FACT - Multiparadigm Programming with C++ |
| 04/21/2002 | 2 | Ken Shan | Factasia |
| 10/29/2008 | 10 | msimoni | Factor: an extensible interactive language |
| 06/30/2003 | 4 | andrew cooke | FAD - A Functional Analysis and Design Methodology |
| 07/07/2006 | 38 | Anton van Straaten | Failure-oblivious computing |
| 04/15/2008 | 9 | naasking | Fan Programming Language |
| 07/17/2004 | 9 | Andris Birkmanis | Fantazies on "final" |
| 07/29/2000 | 1 | Ehud Lamm | FAQ |
| 03/31/2005 | 2 | Andris Birkmanis | FAQ typo |
| 03/17/2005 | 80 | Andrei Formiga | The fate of reduce() in Python 3000 |
| 03/16/2004 | 6 | Dan Shappir | The Fault Tolerant Shell |
| 01/01/2006 | 3 | Simon Haines | Favourite Use of Embedded Interpreters? |
| 06/19/2001 | 2 | Paul Snively | FC++ |
| 06/29/2007 | 9 | cjh | The feasability of Haskell in Scheme |
| 01/07/2008 | 6 | Andris Birkmanis | Featherweight JavaScript? |
| 12/19/2003 | 15 | John Skaller | Feature wishes may be granted |
| 08/20/2008 | 13 | msimoni | Features of Common Lisp |
| 07/29/2000 | 1 | Ehud Lamm | Feedback |
| 11/18/2000 | 1 | andrew cooke | Feedback on Article? |
| 11/19/2005 | 2 | ramses0 | Feedback on post? |
| 01/27/2005 | 3 | Amir Michail | Feedback Sought on Software System Design and Implementation Course |
| 09/02/2003 | 14 | Manuel Simoni | Felix: The power language for C++ programmers |
| 10/13/2002 | 6 | Ehud Lamm | Felleisen: From Patterns to Programming Languages |
| 07/29/2002 | 1 | jon fernquest | Feng Shui for Standard ML Programmers |
| 05/24/2007 | 7 | Ehud Lamm | Festschrift for John C Reynolds's 70th Birthday |
| 08/04/2002 | 1 | Ehud Lamm | Fifth ICFP Programming Contest |
| 08/24/2005 | 9 | Ethan Aubin | Filtering Threads |
| 02/21/2004 | 9 | Ehud Lamm | Finalization (CLR) |
| 03/03/2005 | 3 | olpa | Find with XPath over file system |
| 04/30/2003 | 7 | Dan Shappir | FindBugs - A Bug Pattern Detector for Java |
| 01/12/2007 | 7 | A B Carter | Finding Landin's "The Mechanical Evaluation of Expressions" |
| 12/16/2002 | 6 | Brent Fulgham | Findler's Contract Flaw Analysis and Eiffel |
| 02/26/2007 | 2 | James Hague | Finite State Machines in Forth |
| 02/18/2003 | 6 | John Fraser | Finite State Machines in Forth |
| 07/01/2006 | 1 | Ehud Lamm | The First 10 Prolog Programming Contests |
| 06/06/2008 | 7 | scottmcl | First class class objects, class vs. value namespaces, etc. |
| 03/11/2006 | 1 | marcoil | First Class Copy & Paste |
| 11/29/2002 | 3 | Ehud Lamm | First Class Patterns |
| 01/31/2007 | 15 | neelk | First Class Relationships in an Object-oriented Language |
| 05/29/2006 | 96 | Bruce Rennie | First Class Values, Types as values within a Programming Language |
| 02/09/2001 | 4 | Ehud Lamm | First Course Language List |
| 06/03/2001 | 10 | Ehud Lamm | First JDO implementation |
| 05/20/2005 | 2 | Dave Benjamin | First public release of PyPy |
| 05/22/2004 | 1 | Andris Birkmanis | The First Report on Scheme Revisited |
| 11/07/2003 | 1 | Ehud Lamm | First WinFx "application" written in SML |
| 08/01/2002 | 4 | jon fernquest | First-class Attribute Grammars |
| 08/08/2004 | 1 | Frank Atanassow | First-class labels for extensible rows (draft) |
| 12/25/2001 | 1 | Ehud Lamm | First-class Modules for Haskell |
| 11/12/2008 | 14 | naasking | First-Class Patterns |
| 08/03/2007 | 6 | naasking | First-class Polymorphism |
| 02/16/2006 | 8 | Ehud Lamm | Fission for Program Comprehension |
| 05/15/2002 | 1 | Dejan Jelovic | Five Little Languages and How They Grew: Talk at HOPL |
| 09/14/2006 | 3 | Ohad Kammar | Fixed-Point Induction |
| 10/11/2000 | 2 | Chris Rathman | Fixing Java Threading |
| 02/03/2008 | 8 | darkmage35@hotmail.com | FL programming language |
| 03/15/2002 | 5 | Ehud Lamm | Flash MX |
| 08/17/2001 | 6 | Ehud Lamm | Flexibility |
| 04/08/2006 | 9 | Ehud Lamm | Flexible Exception Handling (in Smalltalk) |
| 10/31/2002 | 3 | Ehud Lamm | Floating Point Arithmetic |
| 09/16/2005 | 1 | Philip Wadler | FLOPS 2006 |
| 04/06/2001 | 1 | andrew cooke | Flow Based Programming |
| 07/02/2003 | 1 | Ehud Lamm | Flow Caml |
| 10/21/2003 | 1 | Ehud Lamm | Flow Java: Declarative Concurrency for Java |
| 01/16/2008 | 27 | Thomas Lord | Flower: a new way to write web services |
| 05/07/2002 | 1 | Ehud Lamm | Flu |
| 05/30/2002 | 1 | Ehud Lamm | A flurry of activity on XQuery |
| 10/05/2002 | 2 | jon fernquest | Fold and Unfold for Program Semantics |
| 04/01/2005 | 23 | Noel | Fold Must Fold! |
| 04/29/2006 | 36 | cdiggins | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 07/29/2001 | 6 | Ehud Lamm | Folding over trees |
| 12/06/2006 | 11 | dbfaken | "Folding"/FP traversal over trees |
| 09/09/2006 | 1 | Jim Apple | Folds, Church Encodings, Builds, and Short Cut Fusion for Nested Types: A Principled Approach |
| 08/03/2001 | 1 | Ehud Lamm | for and against conservative GC |
| 06/16/2008 | 8 | Janzo | Forex trading with functional programming |
| 12/03/2005 | 6 | Matt Estes | Formal Frustration... |
| 10/12/2005 | 93 | Andris Birkmanis | Formal methods for O/R mapping |
| 10/17/2002 | 2 | jon fernquest | A Formal Model for an Expressive Fragment of XSLT |
| 12/29/2001 | 2 | Ehud Lamm | Formal semantics for C |
| 08/19/2005 | 7 | C G | Formal semantics for working programmers |
| 09/22/2002 | 1 | jon fernquest | A formal semantics of patterns in XSLT |
| 07/29/2002 | 1 | Ehud Lamm | Formal Techniques for Software Reliability |
| 04/23/2007 | 2 | Daniel Ehrenberg | Formalizing a minimal subset of concatenative languages |
| 05/07/2007 | 1 | Isaac Gouy | Formalizing and extending C# type inference |
| 11/15/2001 | 1 | Ehud Lamm | Formalizing the Safety of Java, the Java Virtual Machine and |
| 07/18/2004 | 18 | Mark Evans | Formatting hints from Mark |
| 06/29/2005 | 2 | Andris Birkmanis | A Formulae-as-Types Interpretation of Subtractive Logic |
| 05/24/2009 | 12 | Luke Gorrie | Forth Dimensions |
| 06/29/2007 | 47 | raould | Forth in hardware ("not dead yet") |
| 01/02/2006 | 1 | Ehud Lamm | Fortran articles online |
| 04/24/2005 | 2 | Ehud Lamm | FORTRAN pilot project |
| 03/12/2005 | 12 | Ehud Lamm | Fortress focuses on the needs of scientists |
| 04/27/2005 | 37 | Dave Herman | The Fortress Language Spec v0.618 |
| 01/27/2008 | 6 | Justin Love | Fortress Presentation |
| 11/17/2005 | 21 | Givas | Fortress Specs Updated: 0.785 |
| 10/17/2004 | 2 | andrew cooke | Forum Topics broken? |
| 08/16/2005 | 50 | andnaess | Forum usability |
| 05/18/2003 | 1 | Ehud Lamm | A Foundation for Embedded Languages |
| 03/06/2009 | 1 | neelk | A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking |
| 03/16/2005 | 1 | Anton van Straaten | Foundational Calculi for Programming Languages (intro) |
| 12/06/2001 | 1 | Ehud Lamm | Foundational Proof-Carrying Code |
| 11/29/2007 | 12 | alix | foundations for J, APL etc |
| 02/24/2008 | 9 | neelk | Foundations for Structured Programming with GADTs |
| 03/20/2002 | 1 | Ehud Lamm | Foundations of Object-Oriented Programming Languages |
| 09/29/2002 | 3 | Ehud Lamm | The Foundations of Two-Dimensional Semantics |
| 01/09/2005 | 24 | Dave Herman | The Four Questions |
| 08/16/2001 | 1 | Ehud Lamm | Fowler: Reducing Coupling |
| 02/15/2001 | 1 | andrew cooke | FP and XML |
| 07/23/2008 | 28 | raould | FP in D 2.0 |
| 05/08/2001 | 1 | andrew cooke | FP in Python |
| 10/19/2001 | 2 | Ehud Lamm | FP in Scheme: A WWW-oriented approach |
| 12/02/2008 | 6 | MLstate | FP Jobs |
| 09/27/2007 | 11 | erich | FPGA CPUs |
| 11/20/2003 | 5 | John Carter | FPGA's, Soft Cores and Custom CPU's. |
| 04/16/2004 | 5 | Danny Ayers | Fractal Music (and a Personal Introduction) |
| 09/11/2008 | 5 | Andris Birkmanis | A Framework for Comparing Models of Computation |
| 04/05/2003 | 1 | Noel Welsh | A Framework for Programming Embedded Systems |
| 07/29/2004 | 10 | Ehud Lamm | Francis Crick (1916-2004) |
| 12/04/2003 | 8 | Patrick Logan | Frappe: Functional Reactive Programming in Java |
| 09/01/2000 | 1 | Ehud Lamm | Free compiler & language tools |
| 11/01/2002 | 1 | Luke Gorrie | A Free Implementation of CLIM |
| 08/19/2002 | 2 | Ehud Lamm | Free Smalltalk books |
| 01/05/2004 | 2 | Patrick Logan | Free Smalltalk Books |
| 09/23/2004 | 1 | ecavazos | Free video lectures presented by Kay, Lampson, Ingalls, ... |
| 04/21/2001 | 1 | Ehud Lamm | Free Zope Hosting |
| 01/17/2008 | 1 | cha0s | FreeBASIC |
| 07/03/2002 | 1 | Ehud Lamm | The Frege Program Prover (FPP) |
| 12/11/2005 | 3 | Ehud Lamm | Frege's Contribution to Philosophy of Language |
| 01/20/2004 | 1 | Jim Apple | FreshML - abstract syntax manipulation |
| 09/18/2007 | 1 | drcode | FringeDC Formal Meeting 1PM Saturday Sept 22nd |
| 03/15/2008 | 1 | drcode | FringeDC Formal Meeting March 22nd at 1PM- Haskell Spectacular: XMonad, Zippers and More! |
| 10/05/2008 | 1 | drcode | FringeDC Formal Meeting Oct 11th 6PM- Writing a compiler for a functional programming language |
| 04/15/2009 | 1 | drcode | FringeDC Formal Meeting- April 18th 12PM Noon- Advanced Common Lisp Features |
| 12/31/2007 | 3 | drcode | FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software |
| 02/06/2008 | 1 | drcode | FringeDC informal meeting Saturday Feb 9th |
| 05/08/2008 | 1 | drcode | FringeDC informal meeting Saturday May 10th |
| 11/06/2007 | 1 | drcode | FringeDC Informal Meeting Saturday Nov 10 |
| 05/07/2007 | 1 | drcode | FringeDC Informal Meeting- May 12th, 6PM |
| 06/22/2008 | 1 | drcode | FringeDC Programming Group Formal Meeting- July 12th, 6PM |
| 09/03/2006 | 1 | drcode | FringeDC- New Washington DC Organization for Fringe Programming Languages |
| 11/22/2004 | 6 | tomaco | Frink |
| 10/14/2005 | 1 | raould | (from 2004) Possibly faster Haskell |
| 04/21/2007 | 21 | Chung-chieh Shan | From abstract interpretation to small-step typing |
| 12/09/2002 | 1 | Ehud Lamm | From Direct Style to Monadic Style through CPS |
| 06/06/2005 | 16 | Andris Birkmanis | From shift and reset to polarized linear logic |
| 06/04/2003 | 3 | andrew cooke | Front Page |
| 05/08/2002 | 1 | andrew cooke | Frost - Multimethods and FWVAs for C++ |
| 06/03/2003 | 1 | Ken Hirsch | Fugue: A Protocol Checker for the dotNET CLR |
| 07/24/2002 | 2 | Sam Gentile | Full Eiffel on the .NET Framework |
| 06/25/2007 | 11 | cdiggins | Fully Inferable Languages |
| 03/06/2004 | 2 | Ehud Lamm | Fun and Games with Multi-Language Development |
| 12/22/2002 | 4 | Ehud Lamm | The Fun of Programming |
| 05/27/2003 | 3 | andrew cooke | The Fun of Programming |
| 06/18/2003 | 1 | andrew cooke | Fun project |
| 05/03/2002 | 2 | Michael Christopher Vanier | fun with combinators |
| 03/30/2005 | 3 | Derek Elkins | Fun: HaWiki Quotes Page |
| 05/23/2007 | 32 | chinu | function overriding workaround in dynamically typed languages |
| 08/16/2002 | 2 | Ehud Lamm | The Function Pointer Tutorials |
| 02/22/2002 | 1 | Ehud Lamm | Functional and Declarative Programming in Education (FDPE99) |
| 03/12/2003 | 2 | Tanya | Functional and logic paradigms... |
| 08/22/2005 | 16 | Greg Buchholz | Functional anti-memoization |
| 11/28/2008 | 80 | Peter Van Roy | Functional building blocks as concurrency patterns |
| 06/08/2007 | 2 | neelk | A Functional Description of TeX's Formula Layout |
| 02/17/2005 | 2 | Ehud Lamm | Functional Geometry |
| 01/21/2001 | 2 | andrew cooke | Functional Images |
| 03/26/2003 | 7 | Ehud Lamm | Functional Images |
| 02/20/2001 | 2 | andrew cooke | Functional Images 2 |
| 07/09/2008 | 5 | neelk | Functional Netlists |
| 05/03/2007 | 26 | jsnx | Functional Object-Oriented Programming |
| 07/05/2004 | 2 | Ehud Lamm | Functional Objects |
| 08/07/2000 | 1 | Ehud Lamm | 'A Functional Pattern System for Object-Oriented Design' |
| 05/31/2001 | 1 | andrew cooke | A Functional Pattern System for OO Design |
| 09/10/2003 | 1 | Ehud Lamm | Functional Pearl: A fresh look at binary search trees |
| 05/05/2007 | 2 | Derek Elkins | Functional Pearls |
| 10/09/2007 | 2 | Isaac Gouy | Functional Programming - A Secret Weapon for Software Testing - John Hughes |
| 11/11/2006 | 80 | Kay Schluehr | Functional programming and software engineering |
| 05/17/2001 | 2 | andrew cooke | Functional Programming Archive |
| 04/09/2006 | 21 | Erik Meijer | Functional Programming Has Reached The Masses; It's Called Visual Basic |
| 10/06/2000 | 1 | Chris Rathman | Functional Programming in Clean |
| 07/15/2004 | 18 | Anton van Straaten | Functional programming in Java |
| 01/11/2002 | 3 | Ehud Lamm | Functional programming in Perl |
| 02/21/2001 | 3 | Chris Rathman | Functional Programming in Python |
| 06/11/2008 | 98 | mwand | Functional Programming in the ACM CS Curriculum |
| 02/05/2002 | 11 | Ehud Lamm | Functional programming in XSLT |
| 01/10/2009 | 1 | yminsky | Functional Programming jobs at Jane Street |
| 03/30/2009 | 5 | puneet | Functional Programming Project |
| 05/01/2003 | 1 | Ehud Lamm | Functional Programming with Apomorphisms / Corecursion |
| 05/21/2007 | 1 | Excalibor | Functional Programs as Linked Data |
| 10/12/2000 | 2 | Chris Rathman | Functional Python |
| 12/19/2006 | 9 | Chris King | Functional Reactive GUI for O'Caml |
| 07/21/2008 | 8 | Sean McDirmid | Functional reactive programming in C# for WPF |
| 05/02/2006 | 11 | abayley | Functional Relational Programming: Out of the tar pit |
| 05/15/2002 | 1 | Ehud Lamm | functional software engineering experience? |
| 02/24/2001 | 1 | Chris Rathman | Functional style in Perl |
| 06/26/2005 | 27 | cdiggins | Functions as Classes: Which languages? |
| 09/06/2000 | 7 | Chris Rathman | Functions in XSL |
| 12/08/2007 | 81 | Jason Dusek | functions, statements, expressions |
| 04/21/2006 | 19 | Robbert van Dalen | The fundamental difference between Sets and Lists? |
| 12/14/2008 | 125 | Bruce Rennie | Fundamental Flaws in Current Programming Language Type Systems |
| 04/16/2001 | 2 | andrew cooke | FunDeps (Type classes, databases and more) |
| 10/25/2000 | 4 | andrew cooke | Funk |
| 05/19/2005 | 5 | Andris Birkmanis | Funny characters inference |
| 02/09/2002 | 1 | Ehud Lamm | Funny Flash hack |
| 06/14/2002 | 2 | Ehud Lamm | Funny stuff |
| 05/03/2001 | 7 | Brad Knotwell | Further information on "Beating The Averages" |
| 04/23/2001 | 17 | Chris Rathman | Future Directions for C++ |
| 10/15/2003 | 3 | Ehud Lamm | The Future of .NET Languages |
| 12/08/2001 | 8 | Noel Welsh | The Future of Compilers |
| 09/12/2003 | 3 | Ehud Lamm | Future of Haskell discussion @ Haskell Workshop |
| 06/15/2004 | 3 | andrew cooke | Future of Lambda? |
| 11/27/2006 | 80 | Ehud Lamm | The Future of LtU |
| 10/28/2006 | 72 | Peter Van Roy | Future of software design? |
| 10/31/2000 | 1 | andrew cooke | Future Perl |
| 09/24/2007 | 6 | Chris Rathman | The Future(s) |
| 01/11/2004 | 3 | Ehud Lamm | FxCop & DSLs |
| 10/25/2007 | 63 | Ehud Lamm | Gödel, Nagel, minds and machines |
| 12/17/2005 | 9 | Ehud Lamm | G-Men Called on W-Hats for WMVD |
| 02/05/2001 | 1 | Ehud Lamm | G. Castagna. Covariance and contravariance: conflict without |
| 10/25/2006 | 6 | Greg Buchholz | GADT vs. Type Classes |
| 11/23/2005 | 3 | Niels Hoogeveen | GADT's revisited |
| 05/06/2005 | 10 | Jim Apple | GADTs + Extensible Kinds = Dependent Programming |
| 09/30/2004 | 6 | ccshan | Galois: high assurance software |
| 03/22/2004 | 1 | andrew cooke | Game Theory and Constratint Programming |
| 07/22/2006 | 10 | Kay Schluehr | Gamma formalism |
| 02/13/2001 | 1 | Ehud Lamm | Garbage Collection and the Radioactive Decay Model |
| 05/01/2001 | 1 | Ehud Lamm | Garbage Collection Can Be Faster Than Stack Allocation |
| 11/12/2002 | 2 | Michael Vanier | Garbage collection in Ada? |
| 08/20/2001 | 4 | Dejan Jelovic | Garbage collection vs. reference counting in .NET |
| 08/11/2007 | 33 | neelk | Garbage Collection Without Paging |
| 12/18/2000 | 3 | Chris Rathman | Gardens Point Component Pascal |
| 12/25/2006 | 3 | dmstat1 | GAs v. GPs |
| 01/19/2002 | 13 | Ehud Lamm | GaTech SqueakEnd 2002 |
| 11/04/2004 | 3 | Jim Apple | Gbeta |
| 10/30/2001 | 1 | Ehud Lamm | GCC 3.0: The State of the Source |
| 02/01/2005 | 11 | Chris | GCC Wiki |
| 02/08/2002 | 1 | Ehud Lamm | Gems from IBM's Java Technology Centre |
| 12/26/2001 | 1 | Dan Shappir | gen<> past and present |
| 09/18/2008 | 2 | Ehud Lamm | General admin notes |
| 07/14/2005 | 3 | Ehud Lamm | General Purpose Cellular Automata Programming |
| 12/18/2002 | 6 | Bryn Keller | Generalising Monads to Arrows |
| 10/01/2004 | 2 | Bryn Keller | Generalized ADTs in Haskell |
| 11/24/2005 | 8 | Ehud Lamm | Generalized Algebraic Data Types and Object-Oriented Programming |
| 08/10/2001 | 2 | Chris Rathman | Generating all n-tuples |
| 08/18/2002 | 1 | Dan Shappir | Generating Code at Run Time With Reflection.Emit |
| 02/23/2009 | 9 | rob myers | Generating nested data types at runtime |
| 09/08/2007 | 7 | viergroupie | Generating useful errors in a functional stream parser |
| 08/12/2007 | 8 | neelk | Generational Real-time Garbage Collection |
| 06/13/2006 | 1 | JamesLitsios | Generative and Transformational Techniques |
| 11/12/2007 | 5 | Anton van Straaten | Generative Code Specialisation for High-Performance Monte Carlo Simulations |
| 09/29/2002 | 1 | jon fernquest | Generator and Search Objects in Java |
| 11/11/2005 | 1 | Cremieux Alain | A Generator for Type Checkers |
| 07/16/2002 | 4 | Ehud Lamm | Generator-based state machines |
| 05/06/2002 | 4 | Ehud Lamm | Generators and Abstraction |
| 10/04/2001 | 11 | Ehud Lamm | Generators in Python, Icon and Scheme |
| 04/04/2007 | 5 | technophobicgeek | Generators/Iterators and lazy evaluation |
| 05/02/2005 | 3 | Andris Birkmanis | Generic Accumulations: Battery-powered Bananas |
| 12/27/2002 | 3 | Ehud Lamm | Generic C# Sample Programs |
| 05/03/2004 | 5 | Andris Birkmanis | A Generic Component Framework for System Modeling |
| 04/16/2009 | 8 | neelk | Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time |
| 11/14/2004 | 1 | Ehud Lamm | Generic Functions have Landed (Python) |
| 11/02/2001 | 1 | Ehud Lamm | Generic Haskell |
| 10/29/2002 | 1 | Ehud Lamm | Generic Haskell: Practice and Theory |
| 10/16/2000 | 3 | andrew cooke | Generic Java |
| 12/18/2001 | 8 | Ehud Lamm | Generic Java type inference is unsound |
| 01/01/2001 | 18 | Ehud Lamm | Generic Programming |
| 01/26/2001 | 2 | andrew cooke | Generic Programming for Idiots |
| 08/09/2001 | 1 | Ehud Lamm | Generic Programming in Haskell |
| 02/01/2007 | 7 | Ehud Lamm | Generic Programming, Now! |
| 04/17/2009 | 1 | Paul Snively | A Generic Type-and-Effect System |
| 05/20/2008 | 5 | Denis Bredelet -jido | Generic types |
| 12/10/2005 | 4 | Jim Apple | Generic views |
| 09/15/2000 | 3 | Ehud Lamm | Genericity in Java |
| 09/18/2008 | 11 | Alex Rubinsteyn | Genericity over tuples |
| 07/30/2001 | 2 | Mark | genericity using class substitution |
| 05/12/2001 | 2 | Chris Rathman | Generics & Java |
| 07/27/2006 | 14 | Matt Hellige | Generics as a Library |
| 12/12/2002 | 3 | Isaac Gouy | Generics for C# and .Net CLR |
| 06/14/2001 | 4 | Chris Rathman | Generics for the CLR |
| 09/13/2004 | 5 | Ehud Lamm | Generics for the masses |
| 02/12/2004 | 1 | Ehud Lamm | Generics in the CLR (MSDN) |
| 07/09/2004 | 1 | Ehud Lamm | Generics in Visual Basic 2005 |
| 12/20/2007 | 4 | Matt Hellige | Generics of a Higher Kind |
| 09/13/2005 | 14 | Andris Birkmanis | Genetic algorithms vs. genetic programming - PLT perspective? |
| 10/18/2003 | 2 | Patrick Logan | Genetic Evolution of Novel Entities Through Composite Abstractions |
| 10/11/2003 | 7 | Ehud Lamm | A gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination |
| 12/11/2008 | 71 | Ehud Lamm | The Genuine Sieve of Eratosthenes |
| 09/07/2001 | 1 | Bryn Keller | Genuinely Functional User Interfaces |
| 11/02/2005 | 15 | Derek Elkins | Geometric Algebra |
| 01/21/2005 | 61 | Ehud Lamm | Getting Started |
| 11/26/2005 | 14 | dataangel | Getting started in language design -- reading material? |
| 03/20/2003 | 4 | Ehud Lamm | Getting started with JML |
| 08/12/2001 | 1 | Ehud Lamm | Getting Up to Speed with Velocity |
| 02/26/2001 | 1 | Ehud Lamm | GHood -- a graphical viewer for Hood |
| 03/16/2004 | 1 | Ehud Lamm | Gibbons: Metamorphisms and streaming algorithms |
| 11/11/2004 | 3 | David B. Wildgoose | Giving Bugs the Boot |
| 04/15/2005 | 1 | shapr | The Glasgow Haskell Compiler Survey - GHC needs your feedback! |
| 03/10/2003 | 5 | James Hague | Glee: A new array language |
| 04/25/2004 | 1 | Mark Evans | Globus Project for Grid Computing |
| 09/30/2003 | 1 | Ehud Lamm | Glossary |
| 01/28/2005 | 3 | Scott Johnson | Glossary of abbreviations on LTU |
| 09/30/2003 | 8 | Ehud Lamm | Glossary page on Lambda? |
| 04/04/2003 | 3 | Ehud Lamm | Glowing review of Shared Source CLI Essentials |
| 10/26/2004 | 29 | Thomas Sutton | GMail accounts |
| 06/25/2004 | 1 | megacz | Gmane hosting? |
| 05/15/2004 | 1 | Ehud Lamm | The GNU 64-bit PL8 compiler |
| 11/30/2001 | 6 | Ehud Lamm | GNU lightning |
| 09/07/2002 | 1 | jon fernquest | GNU Prolog |
| 07/16/2003 | 9 | Bryn Keller | Godiva - a Very High Level Dialect of Java |
| 07/31/2005 | 1 | Jim Apple | GoF get SIGPLAN award |
| 04/17/2002 | 13 | Michael Christopher Vanier | goo: a generic-function based OO language |
| 04/19/2002 | 1 | Ehud Lamm | GOO: a generic-function based OO language |
| 03/12/2002 | 1 | Brent Fulgham | Good Analysis of the JVM and the CLR |
| 10/15/2006 | 55 | Ehud Lamm | Good Ideas, Through the Looking Glass |
| 09/21/2005 | 18 | Tim Sweeney | Good languages with simple grammar |
| 11/01/2002 | 23 | Alex Sauer-Budge | A Good OOP Critique? |
| 04/02/2007 | 4 | Peter Scott | Good parallel algorithms books? |
| 08/06/2002 | 1 | Ehud Lamm | Good question |
| 08/10/2007 | 2 | cookiez | Good real world example on map/reduce/filter |
| 09/01/2008 | 16 | Ehud Lamm | Google chrome |
| 03/22/2006 | 11 | Erik Meijer | Google Magic |
| 10/09/2004 | 2 | Ehud Lamm | Google Print (and Computable Functions) |
| 08/13/2007 | 8 | Ehud Lamm | Google Python Sprint 2007 |
| 06/24/2001 | 1 | Ehud Lamm | Google searches |
| 05/08/2001 | 6 | Ehud Lamm | Google stops indexing these servers |
| 03/15/2007 | 6 | Ehud Lamm | Google Summer of Code |
| 10/07/2007 | 1 | Rafael | Google Tech Talk on the CMU Natural Programming Project |
| 04/25/2007 | 7 | Chris Perkins | Google Tech Talk: Phil Gosset discusses parametric polymorphism and girard-reynolds isomorphism |
| 06/02/2009 | 13 | Ehud Lamm | Goolgle & IDEs |
| 03/21/2002 | 5 | Ehud Lamm | Gosling hits 'Jackpot' with futuristic tools |
| 03/21/2006 | 42 | Ehud Lamm | Gosling vs. Dynamic Languages |
| 07/21/2001 | 1 | Ehud Lamm | Gosling: The Story of Java |
| 06/29/2006 | 14 | Niels Hoogeveen | Gottfried Wilhelm Leibniz |
| 03/20/2007 | 1 | pasalic | GPCEགྷ Call for Papers |
| 08/19/2004 | 8 | Patrick Schultz | Grad School advice |
| 10/26/2004 | 6 | tofupup | Grad School [Master's Programs] |
| 08/30/2006 | 18 | Paul Snively | Gradual Typing for Functional Languages |
| 02/12/2007 | 2 | Matt Hellige | Gradual Typing for Objects |
| 07/24/2004 | 4 | Ehud Lamm | Grady Booch on software archeology |
| 03/17/2005 | 11 | Ehud Lamm | Grady Booch: AOSD keynote |
| 12/04/2004 | 1 | Ehud Lamm | Grady Booch: Microsoft and Domain Specific Languages |
| 07/19/2005 | 33 | Ehud Lamm | Grady Booch: Software Engineering Grand Challenges |
| 03/16/2005 | 1 | el-vadimo | Grady Booch's keynote on software complexity at AOSD |
| 11/21/2002 | 1 | Isaac Gouy | Grail: A Zero'th Programming Language |
| 11/23/2006 | 8 | Ehud Lamm | Grammar Visualization |
| 09/22/2008 | 5 | Brett Gibson | A graph puzzle |
| 01/30/2004 | 2 | Mark Evans | Graphite DSL for Advanced Typography |
| 02/05/2004 | 11 | Ehud Lamm | GraphPath |
| 07/17/2002 | 3 | jon fernquest | Graphviz: Programmable Graph Editor |
| 05/17/2005 | 23 | Chris Rathman | Grassroots computing languages hit the big time |
| 01/21/2004 | 1 | Ehud Lamm | Great links |
| 09/25/2004 | 9 | Andrei Formiga | Great Works in Programming Languages |
| 07/28/2003 | 6 | Chris Rathman | Gregor Kiczales on Aspect Oriented Programming |
| 05/14/2002 | 1 | Ehud Lamm | Gregor, the next generation XSLT compiler |
| 08/26/2004 | 11 | Ehud Lamm | Grid Computing & the Linda Programming Model |
| 10/24/2003 | 3 | Mark Evans | Groovy Language |
| 12/07/2007 | 44 | RobJellinghaus | A Growable Language Manifesto |
| 04/23/2004 | 34 | Luke Gorrie | Growing a Language |
| 10/26/2006 | 10 | dbfaken | Growing interest in Smalltalk? |
| 06/14/2009 | 29 | vag | GRS vs LTRS |
| 08/09/2007 | 4 | neelk | Guaranteed Optimization |
| 03/08/2004 | 3 | Ehud Lamm | Guaranteed Optimization for Domain-Specific Programming |
| 08/08/2005 | 4 | Andris Birkmanis | Guarded Induction and Weakly Final Coalgebras in Dependent Type Theory |
| 08/24/2003 | 9 | Ehud Lamm | Guest Bloggers on LtU? |
| 02/06/2006 | 1 | Ehud Lamm | A Guide to PLT Scheme Contracts |
| 12/16/2002 | 11 | Ehud Lamm | Guide to Python introspection |
| 07/25/2002 | 5 | jon fernquest | Guiding Visitors: Separating Navigation from Computation |
| 03/16/2001 | 1 | andrew cooke | Guido on Python |
| 02/13/2002 | 1 | Ehud Lamm | Guido van Rossum Python 10 DevDay Keynote |
| 06/10/2002 | 2 | Ehud Lamm | Guido van Rossum, Linux Magazine interview |
| 04/05/2002 | 5 | Ehud Lamm | Guido van Rossum: An Optimization Anecdote |
| 03/05/2002 | 1 | Ehud Lamm | Guido van Rossum: Introduction to Python |
| 03/10/2002 | 3 | Ehud Lamm | Guido van Rossum: Parade of the PEPs |
| 01/28/2003 | 75 | Ehud Lamm | Guido van Rossum: Programming at Python Speed |
| 02/11/2006 | 109 | Ehud Lamm | Guido: Language Design Is Not Just Solving Puzzles |
| 11/21/2008 | 23 | Chris Rathman | Guy Steele & Richard Gabriel: 50 in 50 |
| 12/30/2005 | 23 | Matthew Morgan | Guy Steele on Language Design |
| 09/01/2004 | 4 | Ehud Lamm | GvR: Rejecting the J2 decorators proposal |
| 11/12/2001 | 1 | Ehud Lamm | H-M type inference and imperative language features |
| 05/07/2006 | 4 | Ehud Lamm | A Hacker's Introduction to Partial Evaluation |
| 05/11/2003 | 2 | Ehud Lamm | A Hacker's Assistant |
| 08/15/2002 | 3 | jon fernquest | Hacker's Introduction to Partial Evaluation |
| 03/25/2002 | 1 | Ehud Lamm | Hakell mini-primer |
| 03/12/2006 | 12 | Vladimir Slepnev | Half-baked idea: mini-language for vector processing |
| 03/18/2005 | 16 | Greg Buchholz | Halting program density? |
| 03/30/2007 | 1 | Chris Rathman | HaMLet-S and Successor ML |
| 02/14/2004 | 1 | andrew cooke | Hancock - a TIA DSL? |
| 11/10/2001 | 1 | Ehud Lamm | Handbook of Automated Reasoning |
| 04/09/2003 | 1 | Patrick Logan | Handling Failures In Erlang |
| 05/10/2001 | 1 | andrew cooke | Handling Graphs in Functional PLs |
| 09/22/2006 | 4 | Ehud Lamm | Handling multiple concurrent exceptions in C++ using futures |
| 01/17/2002 | 4 | Ehud Lamm | HAP Python Remote Debugger |
| 07/28/2002 | 4 | Ehud Lamm | Happy birthday Dear Lambda |
| 07/28/2001 | 2 | Chris Rathman | Happy Birthday LtU |
| 07/29/2003 | 12 | Chris Rathman | Happy Birthday LtU |
| 07/27/2005 | 22 | Ehud Lamm | Happy Birthday, dear Lambda |
| 07/28/2008 | 11 | Ehud Lamm | Happy Birthday, dear Lambda! |
| 06/09/2005 | 30 | Dominic Fox | Happy Birthday, PHP... |
| 12/31/2003 | 1 | Ehud Lamm | Happy New Year! |
| 07/01/2008 | 7 | Luke Gorrie | Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA |
| 06/05/2001 | 1 | Ehud Lamm | Hardware Support for Objects/Java |
| 05/15/2008 | 6 | Denis Bredelet -jido | Hardwired polymorphism |
| 10/02/2003 | 2 | Ehud Lamm | HaRe -- The Haskell Refactorer |
| 11/15/2002 | 2 | Ehud Lamm | Harper: PL, The Essence of Computer Science |
| 05/30/2002 | 1 | Ehud Lamm | Harper: Programming Languages: Theory and Practice |
| 01/11/2002 | 6 | Ehud Lamm | Has J2EE Hit a Fork In the Road? |
| 04/08/2001 | 1 | andrew cooke | Haskell + Xml |
| 11/15/2006 | 11 | dbfaken | Haskell -> Javascript converter, kind of |
| 09/09/2005 | 93 | letdinosaursdie | Haskell and creative freedom |
| 05/24/2002 | 1 | Ehud Lamm | Haskell books |
| 11/08/2001 | 1 | Ehud Lamm | Haskell Communities |
| 11/12/2002 | 1 | Ethan Aubin | Haskell Communities and Activities Report |
| 11/12/2004 | 3 | shapr | Haskell Communities and Activities Report, Seventh Edition, November 2004 |
| 05/22/2005 | 59 | Mark Evans | Haskell for C Programmers |
| 10/09/2001 | 1 | Ehud Lamm | Haskell for circuit description |
| 09/24/2008 | 9 | David Minor | haskell for gpu |
| 07/23/2004 | 14 | Bryn Keller | Haskell Functional Programming Bookstore |
| 01/23/2006 | 9 | Ehud Lamm | Haskell is not not ML |
| 05/10/2004 | 2 | Ehud Lamm | The Haskell Road to Logic, Maths and Programming |
| 05/06/2001 | 1 | Ehud Lamm | Haskell Simulator of Quantum Computer |
| 11/29/2000 | 1 | Ehud Lamm | Haskell Store |
| 10/13/2002 | 17 | Ehud Lamm | Haskell tutorial in Hebrew |
| 03/20/2001 | 3 | andrew cooke | Haskell v Ada v C++ v Awk v ... |
| 02/14/2006 | 8 | SamK | Haskell video lectures online |
| 01/23/2006 | 16 | Ehud Lamm | Haskell vs. Erlang, Reloaded |
| 06/28/2007 | 17 | Anton van Straaten | Haskell web store |
| 04/21/2003 | 1 | Ehud Lamm | Haskell Wiki |
| 03/26/2009 | 1 | Patrick Browne | Haskell's type classes and CafeOBJ's module system |
| 05/17/2004 | 5 | Andris Birkmanis | Haskell-Coloured Petri Nets |
| 12/17/2001 | 1 | Ehud Lamm | Haskell/Java VM Bridge |
| 05/22/2001 | 4 | andrew cooke | Hat - The Haskell Tracer |
| 10/27/2001 | 8 | Ehud Lamm | Hating VBScript |
| 01/20/2007 | 16 | seancharles | Have I Missed Something ? |
| 08/05/2005 | 50 | Chris Rathman | Have scripting languages peaked? |
| 07/23/2004 | 11 | mjstahl | Having trouble with 'purity' |
| 12/15/2000 | 1 | andrew cooke | HDLs and new Editors |
| 05/22/2001 | 1 | andrew cooke | Heap Profiling for Space Efficiency |
| 10/07/2008 | 5 | Chris Rathman | Hejlsberg and Steele: Concurrency and Language Design |
| 06/19/2003 | 1 | inkedmn | hello |
| 01/16/2007 | 2 | Lucius Gregory Meredith | Help with a little geometric hackery... |
| 09/28/2008 | 14 | shap | Help with N-Ary functions? |
| 07/15/2008 | 1 | cbogart | Help with study of functional programmers |
| 01/26/2009 | 2 | jdgallag | help with type theory |
| 06/05/2008 | 8 | happycow | help with understanding combinatory logic |
| 10/22/2004 | 6 | cdiggins | Heron Language Specification |
| 02/03/2001 | 4 | andrew cooke | Heterogenous lists (existential types) |
| 07/11/2001 | 5 | Ehud Lamm | Hidden complexities of tail-call/tail-recursion optimization |
| 12/29/2003 | 1 | Isaac Gouy | Hierarchy of Needs (adapted to Design) |
| 05/22/2003 | 4 | Marius Amado Alves | High Level Language = Virtual Machine |
| 04/11/2007 | 1 | Isaac Gouy | High Performance and Generality - Functional Programming |
| 05/08/2002 | 4 | Noel Welsh | High-Level Assembly Language |
| 07/04/2006 | 1 | zayenz | High-Level Nondeterministic Abstractions in C++ |
| 04/06/2005 | 1 | Chris Rathman | Higher order functions - Lambda for the rest of us |
| 11/19/2006 | 2 | mmc | Higher order insertion sort - HELP PLZ |
| 09/01/2004 | 12 | Francis McCabe | Higher order versus Object order |
| 10/16/2001 | 2 | Ehud Lamm | Higher-order logic programming in Prolog |
| 08/30/2004 | 2 | Ehud Lamm | Higher-order module system of ML is actually possible in Haskell |
| 03/15/2008 | 58 | naasking | Higher-Order Programming without Closures? |
| 02/08/2002 | 1 | Ehud Lamm | Higher-order transformation of logic programs |
| 06/17/2008 | 6 | scottmcl | Higher-order type constructor polymorphism vs./and template style specialization |
| 10/07/2003 | 2 | Ehud Lamm | Historic Documents |
| 10/02/2003 | 1 | Isaac Gouy | Historic Documents in Computer Science |
| 06/28/2008 | 4 | Ehud Lamm | Historical map: round two, the fun begins |
| 01/05/2001 | 15 | Ehud Lamm | History of APL and J |
| 07/04/2001 | 2 | Chris Rathman | A History of CLU |
| 02/19/2008 | 1 | Ehud Lamm | History of Lambda-Calculus and Combinatory logic |
| 02/11/2004 | 8 | andrew cooke | History of Lua |
| 08/23/2000 | 2 | Zach Garner | History of Programming Languages |
| 03/01/2001 | 3 | Ehud Lamm | History of Programming Languages (Mirror Page) |
| 03/11/2004 | 1 | Ehud Lamm | History of Programming Languages Seminar (Felleisen) |
| 12/12/2001 | 82 | Bryn Keller | The History of T |
| 11/20/2001 | 2 | Ehud Lamm | History of the biohazard symbol |
| 07/29/2004 | 19 | James Hague | History: Array languages |
| 12/04/2001 | 1 | Ehud Lamm | Hitch Hiker's Guide to the Smalltalk Compiler |
| 04/03/2001 | 3 | andrew cooke | Hits + Speed |
| 06/28/2008 | 34 | Ehud Lamm | The hits and misses of Microsoft |
| 01/31/2001 | 3 | andrew cooke | Hits hits hits! |
| 06/14/2006 | 22 | nat | HLVM - High Level Virtual Machine toolkit for dynamic languages |
| 04/20/2008 | 2 | cdiggins | HMF: Simple type inference for first-class polymorphism |
| 06/12/2003 | 1 | Ehud Lamm | Hoare: The Emperor's Old Clothes |
| 11/15/2001 | 2 | Ehud Lamm | Hoare's "Hints for Programming Language Design". |
| 07/05/2004 | 8 | mjstahl | Holding onto JavaScript's past |
| 05/25/2004 | 5 | Ehud Lamm | Holiday |
| 12/20/2000 | 1 | andrew cooke | Holidays |
| 10/23/2006 | 1 | Matt Hellige | Holodeck games and CCCs |
| 02/19/2004 | 2 | andrew cooke | hOp - Haskell Micro-Kernel |
| 06/02/2006 | 7 | doublec | Hop: a Language for Programming the Web 2.0 |
| 07/14/2006 | 22 | Chris Rathman | HOPL III and the History of Haskell |
| 06/05/2007 | 53 | Chris Rathman | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 11/27/2008 | 4 | Chris Rathman | HOPL III: The When, Why and Why Not of the BETA Programming Language |
| 05/13/2008 | 17 | Chris Rathman | HOPL-III: A History of Erlang |
| 04/13/2007 | 1 | Chris Rathman | HOPL-III: The Development of the Emerald Programming Language |
| 01/19/2007 | 1 | Chris Rathman | HOPL-III: The Evolution of Lua |
| 10/06/2004 | 19 | shapr | House , hOp - the Haskell Operating System |
| 06/09/2004 | 6 | Ehud Lamm | How an idea becomes a C# language feature? |
| 05/01/2006 | 1 | falcon | how can PLT experts help improve the web? |
| 04/26/2006 | 30 | Chung-chieh Shan | How do Java generics correspond to System F-(omega)? |
| 01/19/2001 | 4 | Ehud Lamm | How Do Linguists Learn Languages |
| 12/17/2001 | 2 | Ehud Lamm | How do we tell truths that might hurt? |
| 02/23/2007 | 7 | Marcin Stefaniak | How do you call such a design pattern |
| 11/05/2005 | 9 | mjstahl | How does Lisp do that?!? |
| 06/15/2009 | 16 | Chris Rathman | How Does Our Language Shape The Way We Think? |
| 05/09/2001 | 5 | Ehud Lamm | How fundamental is information? |
| 06/14/2009 | 12 | faisalv | How important is it to have catchalls and interceptors in a programming language |
| 01/21/2003 | 8 | Noel Welsh | How Java's Floating Point Hurts Everyone Everywhere |
| 07/30/2000 | 4 | Ehud Lamm | How to approach? |
| 02/05/2007 | 1 | shrijoshi24 | How to decide the direction of program analysis? |
| 04/17/2009 | 11 | falcon | How to ensure safety when millions of users inject scripts into a running system? |
| 03/04/2007 | 4 | MTaylor | How to Evaluate Lambda Expressions |
| 12/10/2008 | 18 | frencheneesz | How to load/interpret STATIC libraries at runtime. |
| 04/27/2003 | 1 | Ehud Lamm | How to make a fast curry: push/enter vs eval/apply |
| 08/06/2003 | 32 | Daniel Yokomiso | How to make a FPL successful |
| 05/14/2007 | 20 | raould | How to make the static represent the dynamic? |
| 06/23/2005 | 40 | Ehud Lamm | How To Read a Paper |
| 12/26/2002 | 1 | Ehud Lamm | How to Solve the Santa Claus Problem |
| 10/05/2001 | 10 | Ehud Lamm | How To Steal Code or Inventing The Wheel Only Once |
| 09/26/2002 | 12 | Ehud Lamm | How to tell your personality type from your code |
| 12/02/2006 | 14 | cdiggins | How to write a Programming Language Paper? |
| 12/06/2007 | 12 | Ehud Lamm | How to write your next POPL paper in Coq |
| 01/22/2008 | 78 | Scott Johnson | How useful is reflection, anyway? |
| 04/15/2005 | 8 | Ehud Lamm | How widespread are inhouse DSLs? |
| 06/01/2003 | 3 | andrew cooke | How-To Guide for Descriptors |
| 06/10/2005 | 1 | Jeff Cutsinger | HP's Dynamo |
| 07/25/2004 | 4 | Ehud Lamm | HTML editors |
| 08/02/2004 | 16 | Andris Birkmanis | HTML guidelines |
| 07/10/2002 | 1 | jon fernquest | Hugs98 for .NET |
| 12/12/2003 | 5 | Patrick Logan | Hugunin's IronPython |
| 06/09/2006 | 13 | Peter J. Wasilko | Human Factors Research On Programming Language Syntax |
| 04/09/2003 | 43 | Patrick Logan | Hundred Year Language |
| 02/23/2006 | 3 | Andris Birkmanis | Hundreds of Impossibility Results for Distributed Computing |
| 03/23/2003 | 7 | Dan Shappir | Hungarian Notation |
| 10/15/2003 | 1 | Patrick Logan | HydroJ: Object-Oriented Pattern Matching for Evolvable Distributed Systems |
| 02/06/2006 | 13 | Jeff Cutsinger | hypothetical question |
| 08/26/2000 | 1 | Ehud Lamm | I am back! |
| 02/22/2005 | 3 | Andris Birkmanis | I am not a number: I am a free variable |
| 10/31/2002 | 5 | Ehud Lamm | I am running out of titles |
| 12/01/2002 | 3 | Ehud Lamm | I feel like an idiot, but... |
| 03/23/2006 | 12 | Tiago Simoes | I "got" imperative programming throught data binding |
| 08/16/2002 | 9 | jon fernquest | I Was a Smalltalk Gunslinger |
| 01/30/2009 | 12 | guy_from_china | I'm from china and I'm working on a new programming language "Zero" |
| 03/17/2003 | 1 | Isaac Gouy | I/O in Three Programming Paradigms |
| 02/19/2005 | 1 | Isaac Gouy | IBM Programming Languages Day |
| 05/24/2001 | 2 | Ehud Lamm | IBM releases web-services flow language |
| 11/06/2001 | 1 | Ehud Lamm | IBM XSL Formatting Objects Composer |
| 10/15/2004 | 4 | Jim Apple | IBM's Object REXX open sourced |
| 08/30/2002 | 1 | Ken Shan | ICFP 2002 programming contest task posted |
| 06/18/2003 | 8 | andrew cooke | ICFP 2003 |
| 06/18/2004 | 1 | Ehud Lamm | ICFP Accepted papers |
| 08/26/2000 | 3 | andrew cooke | ICFP Competition |
| 07/20/2007 | 3 | neelk | ICFP contest in progress! |
| 09/27/2004 | 1 | Andrei Formiga | ICFP Contest Results |
| 07/10/2008 | 2 | neelk | ICFP contest starts tomorrow |
| 09/26/2006 | 5 | dbfaken | ICFP proceedings / Scheme workshop |
| 07/05/2001 | 3 | Ehud Lamm | ICFP PROGRAMMING CONTEST |
| 07/28/2001 | 14 | Kaushik | The ICFP Programming Contest is underway! |
| 10/06/2002 | 9 | Michael Vanier | ICFP programming contest results |
| 09/26/2000 | 2 | andrew cooke | ICFP results |
| 04/06/2002 | 1 | Ehud Lamm | Icon Analyst back issues on line |
| 10/04/2002 | 1 | Jay Han | Icon implementation book now available by download |
| 08/12/2002 | 2 | Jay Han | Icon language book available for downloading |
| 02/18/2001 | 1 | Chris Rathman | iContract: DbC for Java |
| 11/27/2004 | 28 | Ehud Lamm | The IDE Divide |
| 11/06/2004 | 7 | Matt Estes | Ideas about a language. |
| 11/01/2003 | 4 | Ehud Lamm | Ideas for a master's thesis related to Python |
| 03/11/2002 | 1 | Ehud Lamm | Ideas for ARC |
| 10/31/2002 | 2 | Luke Gorrie | Idel: a virtual machine for mobile code |
| 05/23/2003 | 15 | Ehud Lamm | Identity crisis |
| 02/23/2001 | 2 | Ehud Lamm | Identity Problems |
| 11/07/2007 | 5 | Luke Gorrie | Idioms for Composing Games with Etoys |
| 01/18/2001 | 12 | Chris Rathman | If I were Dean |
| 10/06/2002 | 2 | Michael Vanier | If programming languages were cars... |
| 12/19/2008 | 26 | Chris Rathman | If Programming Languages were <T> |
| 11/18/2006 | 9 | cdiggins | if Records - Labels = Tuples then Rows - Labels = what? |
| 06/15/2006 | 1 | Ehud Lamm | IFIP WG 2.2 Anniversary Meeting |
| 04/18/2004 | 1 | Ehud Lamm | IJCAR 2004 Tutorial Program |
| 07/04/2002 | 1 | Ehud Lamm | IK.VM.NET Weblog |
| 07/09/2005 | 2 | Ehud Lamm | ILC 2005 Slides and Audio |
| 07/05/2004 | 8 | Luke Gorrie | ILC2002 Proceedings and Videos |
| 06/02/2007 | 9 | Alan Eliasen | IM IN UR COMPUTER, HAXIN UR CODE |
| 01/18/2008 | 21 | raould | Impact of OO language style on code |
| 03/08/2001 | 1 | Ehud Lamm | The Impact of The Lambda Calculus... |
| 04/07/2004 | 35 | Chris Rathman | Impedance mismatch: RDBMS and PLs |
| 01/27/2002 | 1 | Ehud Lamm | Imperative and Functional Suffix Tree Constructions |
| 03/06/2007 | 39 | SamK | Implementation Inheritance |
| 04/27/2006 | 6 | David N. Welton | Implementation of Hecl |
| 04/09/2002 | 1 | Ehud Lamm | The Implementation of Model Constraints in .NET |
| 10/04/2002 | 3 | Ehud Lamm | The Implementation of the Icon Programming Language |
| 03/11/2002 | 1 | Ehud Lamm | Implementation Strategies for Continuations |
| 02/28/2002 | 5 | Brent Fulgham | Implementations of .NET-Targeted Languages Problematic |
| 03/01/2002 | 1 | Ehud Lamm | Implementations of .NET-Targeted Languages Problematic |
| 04/26/2005 | 6 | mjstahl | Implementing a Lisp Editor - Would like some advice. |
| 08/27/2006 | 26 | dataangel | Implementing arrays |
| 09/06/2003 | 24 | Ehud Lamm | Implementing Business Rules in the BC4J Framework |
| 02/28/2009 | 9 | jdgallag | implementing by-value reduction in lambda calculus |
| 01/03/2002 | 3 | Ehud Lamm | Implementing debuggers |
| 08/25/2004 | 6 | Ehud Lamm | Implementing Declarative Parallel Bottom-Avoiding Choice |
| 03/26/2004 | 4 | Luke Gorrie | Implementing Distributed Systems Using Linear Naming |
| 10/24/2001 | 1 | Chris Rathman | Implementing Dynamic Language Features in Java |
| 08/20/2000 | 3 | andrew cooke | Implementing Functional Languages (BUT...) |
| 10/13/2005 | 11 | ade_oshineye | Implementing Higher Order Messages |
| 06/10/2002 | 1 | Ehud Lamm | Implementing "weightless threads" with Python generators |
| 01/13/2006 | 1 | cdiggins | Implicit Behavioral Subtyping |
| 09/27/2007 | 1 | Rohan Hart | Implicit Ownership Types for Memory Management |
| 01/24/2005 | 9 | Ehud Lamm | Implicit parallel functional programming |
| 04/07/2003 | 1 | Ehud Lamm | Implicit Parameters: Dynamic Scoping with Static Types |
| 01/28/2004 | 9 | andrew cooke | Implicit params in Haskell |
| 05/15/2005 | 2 | Ehud Lamm | Implicitly Heterogeneous Multi-stage Programming |
| 11/25/2002 | 10 | Ehud Lamm | Impressions of the International Lisp conference ILC2002 |
| 04/08/2002 | 1 | Ehud Lamm | IMS XML schemas |
| 10/22/2007 | 6 | Sriram Srinivasan | In Honor of Per Brinch Hansen (1938-2007) |
| 02/28/2005 | 2 | Peter J. Wasilko | In Memoriam :: Jef Raskin |
| 08/20/2008 | 23 | Allan McInnes | In Praise of Scripting: Real Programming Pragmatism |
| 07/11/2008 | 17 | Søren Haagerup | In search for a programming language to replace spreadsheets. |
| 09/01/2004 | 9 | Mark Evans | In Search of the Ideal Programming Language |
| 06/23/2004 | 9 | Ehud Lamm | In the Spirit of C |
| 05/07/2008 | 2 | boxinthebox | In what case a system doesn't benefit from MapReduce? Do you know any example which doesn't benefit from MapReduce |
| 10/15/2008 | 12 | Pablo Barenbaum | In which sense Joy is functional? |
| 11/17/2007 | 1 | alix | Including life-cycle processes for generated code in a pi-compiler |
| 01/12/2005 | 5 | Jacques Carette | Incompleteness in semantics and parallel-or |
| 10/02/2006 | 11 | Ehud Lamm | An Incremental Approach to Compiler Construction |
| 01/11/2002 | 1 | Bryn Keller | Incremental Mature GCUsing the Train Algorithm |
| 01/22/2008 | 4 | alix | Induction of variadic functions, functions over tuples, etc. |
| 08/14/2001 | 1 | Ehud Lamm | Industrial-Strength Functional Programming |
| 01/02/2001 | 6 | Ehud Lamm | Infer: A Statically-typed Dialect of Scheme |
| 04/11/2007 | 1 | cdiggins | Inferring Types for Higher Order Instructions in Stack Languages |
| 03/08/2009 | 53 | Srikumar Subramanian | Influence of cognitive models on programming language design |
| 07/07/2002 | 1 | Ehud Lamm | Influence of Software Module Systems on Modular Verification |
| 06/10/2006 | 17 | Frank Atanassow | Inform 7: A relational DSL for interactive fiction with natural language syntax |
| 08/20/2002 | 10 | Noel Welsh | Informal Scheme Workshop in London |
| 06/11/2003 | 2 | Ehud Lamm | Infoworld: XML querying proposed as Java standard |
| 01/22/2006 | 20 | Ehud Lamm | Infrastructure Announcement |
| 09/11/2003 | 14 | Mark Evans | Inherited Traits - Classes Like Never Before |
| 01/22/2003 | 6 | Ehud Lamm | Inhouse training |
| 04/05/2003 | 23 | Patrick Logan | Insecure Macho Love |
| 09/09/2003 | 15 | Dejan Jelovic | Inside every API is a programming language struggling to get out |
| 05/15/2002 | 1 | Ehud Lamm | Inside information |
| 03/17/2005 | 6 | Ehud Lamm | Inside Software Factories |
| 12/22/2005 | 21 | Peter Van Roy | Insights on teaching computer programming |
| 10/05/2008 | 6 | SamK | Inspiring Papers |
| 10/23/2001 | 3 | Ehud Lamm | Instruction scheduling and imperative functional programming |
| 09/21/2008 | 8 | Kay Schluehr | Intel Ct: C for Throughput Computing |
| 03/10/2007 | 5 | Bret Victor | Intel Research PL Seminar Series |
| 03/09/2002 | 4 | Ehud Lamm | Intentional Programming FAQ |
| 07/29/2002 | 9 | jon fernquest | Intentional Programming Overview |
| 09/17/2002 | 1 | Brett Morgan | Intentional Programming Reborn |
| 09/17/2002 | 8 | Ehud Lamm | Intentional Software Corporation (ISC) |
| 09/13/2002 | 3 | Noel Welsh | Interactions of Abstractions in Programming |
| 03/21/2002 | 1 | Ehud Lamm | Interactive Simultaneous Editing of Multiple Text Regions |
| 04/02/2007 | 11 | Jacques Carette | Interactivity considered harmful |
| 04/28/2002 | 1 | Ehud Lamm | Interesting conversations |
| 01/01/2001 | 1 | andrew cooke | Interesting discussion on almost everything |
| 11/07/2000 | 6 | Ehud Lamm | Interesting Icon Papers |
| 11/28/2005 | 3 | Todd Coram | Interesting Logo Site: Elica |
| 01/30/2008 | 6 | Tim Daly Jr. | Interesting old gem: Prop does pattern matching in C++ |
| 12/04/2006 | 8 | Ehud Lamm | Interesting project to modularize Squeak |
| 04/19/2002 | 1 | Ehud Lamm | Interesting threads |
| 07/24/2006 | 5 | Andris Birkmanis | Interface Automata |
| 02/07/2001 | 5 | Ehud Lamm | Interface based programming |
| 11/06/2003 | 5 | Karl Reitschuster | Interfaces : a special construct of OO-Languages like Java/C# or only a crook? |
| 01/09/2007 | 14 | dbfaken | Interlanguage Migration: From Scripts to Programs |
| 07/02/2004 | 19 | Mark Evans | International Components for Unicode 3.0 Released |
| 11/03/2002 | 2 | Ehud Lamm | International Lisp Conference report |
| 12/01/2005 | 2 | Ryan Wisnesky | Internship advice |
| 04/28/2004 | 1 | Ehud Lamm | Interpretation of the curry-howard isomorphism |
| 04/12/2001 | 1 | Ehud Lamm | Interpreter Construction Framework |
| 08/01/2000 | 1 | Ehud Lamm | Interpreters? |
| 02/13/2006 | 38 | Ehud Lamm | Interval Computations |
| 09/08/2000 | 6 | Chris Rathman | An Interview with A. Stepanov |
| 09/29/2000 | 1 | Chris Rathman | Interview With Bjarne Stroustrup |
| 09/04/2000 | 5 | Ehud Lamm | Interview with Brian Kernighan |
| 03/14/2005 | 26 | Chris Rathman | Interview with Donald Knuth |
| 09/06/2000 | 3 | andrew cooke | Interview with Guido van Rossum |
| 02/18/2004 | 9 | Mark Evans | Interview with Intel's C++ Compiler Team |
| 03/22/2008 | 1 | Allan McInnes | An Interview with Robin Milner |
| 11/26/2003 | 1 | Dominic Fox | Interview with Robin Milner |
| 11/28/2003 | 6 | Ehud Lamm | Interview with Robin Milner |
| 05/07/2009 | 1 | James Iry | An Interview with the Diamondback Ruby Team |
| 01/08/2002 | 3 | Ehud Lamm | Interview: Matthew Dillon |
| 02/04/2001 | 2 | Ehud Lamm | Intro to call-with-current-continuation |
| 08/11/2001 | 7 | Ehud Lamm | Intro to the Common Language Infrastructure with David Stutz |
| 01/26/2009 | 4 | David Pratten | Introducing Ambi |
| 11/18/2002 | 8 | Ehud Lamm | Introducing C#, Present and Future |
| 01/13/2005 | 11 | Dominic Fox | Introducing Comega |
| 11/13/2003 | 13 | Chris Rathman | Introducing Continuations |
| 01/14/2009 | 38 | Poul Krogh | Introducing Dawn - yet another new language |
| 07/23/2004 | 14 | Dominic Fox | Introducing o:XML |
| 03/10/2004 | 10 | Matt Estes | Introduction to (Formal) Type Systems |
| 10/30/2002 | 4 | Ehud Lamm | Introduction to Aspect-Oriented Programming |
| 08/20/2004 | 22 | Andris Birkmanis | Introduction to computability logic |
| 09/30/2004 | 9 | Ehud Lamm | Introduction to E4X |
| 11/01/2001 | 1 | Chris Rathman | An Introduction to Esterel |
| 09/30/2002 | 1 | Ehud Lamm | Introduction to Functional Programming |
| 01/19/2005 | 1 | Ehud Lamm | An Introduction to Jython |
| 03/13/2001 | 1 | Ehud Lamm | Introduction to Lambda Calculus |
| 09/12/2000 | 1 | Ehud Lamm | An Introduction to Lambda Calculus and Scheme |
| 01/14/2003 | 1 | Ehud Lamm | Introduction to Managed C++ |
| 07/31/2004 | 1 | Ehud Lamm | Introduction to MDX Scripting in Microsoft SQL Server 2005 Beta 2 |
| 09/26/2002 | 5 | Ehud Lamm | Introduction to module systems? |
| 09/25/2000 | 1 | Ehud Lamm | Introduction to Programming Languages (book) |
| 09/18/2002 | 3 | jon fernquest | Introduction to Special Issue on Domain-Specific Languages |
| 10/11/2000 | 1 | Chris Rathman | Introduction to Stackless Python |
| 12/20/2000 | 5 | Chris Rathman | Introduction to Standard ML |
| 10/28/2003 | 3 | Ehud Lamm | Introduction to the Base Class Libraries (.Net) |
| 09/11/2002 | 4 | jon fernquest | Introduction to the Personal Basis Profile |
| 06/13/2004 | 1 | Ehud Lamm | An Introduction to the XQuery (and XPath 2.0) Type System: The Impact on XQuery and XPath |
| 08/12/2005 | 22 | dbfaken | Invariants/Contracts vs. types |
| 06/03/2002 | 3 | Ehud Lamm | Investigations into Portable Object Codes |
| 06/24/2004 | 1 | Ehud Lamm | An Invitation to Ada 2005 |
| 12/28/2004 | 5 | Chris Rathman | An Invitation to SETL |
| 07/15/2003 | 10 | Andris Birkmanis | Invocations as objects |
| 01/08/2008 | 23 | Ehud Lamm | Io |
| 09/28/2003 | 2 | Ehud Lamm | Iota and Jot: the simplest languages? |
| 11/04/2005 | 8 | xamdam | iPod-compatible SICP |
| 07/29/2004 | 2 | Oliver Horn | IronPython: First public version released |
| 04/15/2008 | 42 | Charles Stewart | The irreducible physicality of security properties |
| 09/11/2008 | 66 | Ehud Lamm | Irresistible programs |
| 09/19/2008 | 18 | Jaroslav Tulach | Is API evolution of exceptions special? |
| 08/28/2008 | 27 | Lj | Is COBOL really understandable after 14 years. |
| 03/25/2001 | 2 | Chris Rathman | Is Design Dead? |
| 08/22/2002 | 3 | Ehud Lamm | Is EJB Always Necessary? |
| 04/15/2005 | 5 | Sam | Is EOPL available as an e-book anywhere? |
| 03/12/2003 | 48 | Dan Shappir | Is Inheritance a Pillar of OO? |
| 05/02/2007 | 53 | mansu | Is Integer wrapping an exceptional condition? |
| 12/11/2008 | 5 | frencheneesz | Is it ok... |
| 11/26/2003 | 14 | Ehud Lamm | Is it time for another guest blogger? |
| 08/26/2001 | 2 | Chris Rathman | Is Java Language Neutral? |
| 02/28/2008 | 86 | BigZaphod | Is null needed? |
| 09/24/2006 | 23 | Kay Schluehr | Is "post OO" just over? |
| 09/15/2005 | 1 | James Hague | Is REBOL a pure functional language? |
| 04/04/2003 | 8 | Dominic Cooney | Is the current crop of statically typed languages giving static typing a bad name? |
| 02/20/2006 | 4 | Peter Nuttall | Is there a formal basis for generators? |
| 04/27/2008 | 4 | minhyuk | is there anybody knows about the origin "Dope Vector"? |
| 12/11/2005 | 16 | mansu | Is this a new programming paradigm |
| 06/25/2004 | 23 | Neil Madden | Is "type" a fundamental intrinsic property of values? |
| 04/11/2002 | 2 | Ehud Lamm | Isabelle/HOL: A Proof Assistant for Higher-Order Logic |
| 03/01/2005 | 20 | shapr | Issue One of The Monad.Reader, monthly Haskell eZine |
| 06/04/2001 | 4 | Ehud Lamm | It all depends on what you mean by ($f) |
| 07/28/2000 | 1 | Ehud Lamm | It Worked! |
| 10/07/2007 | 38 | Allan McInnes | It's Time to Stop Calling Circuits "Hardware" |
| 07/14/2007 | 1 | Isaac Gouy | iTasks: Defining Interactive Work Flows for the Web |
| 04/10/2001 | 8 | Ehud Lamm | Iteration Abstraction in Sather |
| 02/06/2007 | 1 | raould | Iterative contract development? |
| 07/25/2001 | 9 | Ehud Lamm | It's all about sharing |
| 07/21/2004 | 11 | Ehud Lamm | It's the language, stupid. Or is it? |
| 08/08/2006 | 2 | Niels Hoogeveen | Ivor, a proof engine |
| 08/23/2005 | 49 | Leon P Smith | Ivory Towers and Gelfand's Principle |
| 09/30/2005 | 15 | AlasdairScott | Ivory, an experimental declarative programming system |
| 12/16/2001 | 6 | Ehud Lamm | J and K: One User's View |
| 06/11/2002 | 1 | James Hague | J for C programmers |
| 06/11/2002 | 3 | Ehud Lamm | J for C programmers |
| 03/10/2004 | 2 | James Hague | J is free again (as in beer) |
| 01/04/2008 | 17 | Andris Birkmanis | J&: Nested Intersection for Scalable Software Composition |
| 06/26/2002 | 1 | Ehud Lamm | J-SEAL2 |
| 04/03/2003 | 19 | Ehud Lamm | J. McCarthy: Towards a Mathematical Science of Computation |
| 03/20/2009 | 2 | Boyko Bantchev | J. Schwartz died |
| 03/28/2001 | 1 | Ehud Lamm | J2EEConnector Specification |
| 10/01/2004 | 16 | Ehud Lamm | J2SE 5.0 released |
| 02/25/2002 | 3 | Ehud Lamm | Ja.NET |
| 11/03/2005 | 5 | Andris Birkmanis | Jakarta Commons Monad, er, Chain |
| 10/22/2002 | 7 | Ehud Lamm | Jakarta-Commons Collections Component |
| 11/18/2001 | 2 | Ehud Lamm | James Clark: The Design of RELAX NG |
| 06/14/2003 | 4 | Dejan Jelovic | James Gosling on Jackpot |
| 02/02/2009 | 1 | yminsky | Jane Street Summer Project ཅ |
| 05/09/2001 | 1 | Ehud Lamm | Janos VM is available |
| 05/25/2001 | 1 | Ehud Lamm | Java 1.4 adds Assertions |
| 02/13/2002 | 6 | Dan Moniz | Java 1.4.0 SE Released |
| 05/10/2003 | 1 | Kimberley Burchett | Java 1.5 New Features |
| 03/12/2003 | 2 | Tanya | Java and C++ and object-oriented paradigms |
| 09/27/2004 | 22 | Ehud Lamm | Java and coolness, a discussion |
| 01/14/2003 | 14 | Ehud Lamm | Java and Pointers |
| 06/13/2001 | 1 | Ehud Lamm | Java and the Java Virtual Machine - Definition, Verification |
| 06/17/2001 | 1 | Chris Rathman | Java as a CS Introductory Language? |
| 07/12/2002 | 2 | Ehud Lamm | Java Collections Clearinghouse |
| 11/09/2001 | 3 | pixel | Java definite assignment |
| 04/12/2001 | 1 | Ehud Lamm | Java Design Flaws |
| 11/26/2006 | 14 | Ehud Lamm | Java Generics and Collections |
| 11/30/2001 | 1 | Ehud Lamm | Java Generics and Method Objects |
| 06/13/2005 | 16 | Ehud Lamm | Java Generics, Arrays, and Comparables |
| 04/18/2001 | 1 | Ehud Lamm | Java History |
| 09/03/2002 | 17 | Ehud Lamm | Java hits obstacle with cell phones |
| 05/03/2001 | 1 | Chris Rathman | Java IAQ: Infrequently Asked Questions |
| 07/24/2003 | 46 | Ehud Lamm | Java Is a Language for the Masses |
| 06/06/2001 | 4 | Ehud Lamm | Java is not a hairball - Official |
| 06/26/2001 | 1 | Ehud Lamm | Java is not type-safe |
| 12/08/2001 | 1 | Ehud Lamm | The Java Memory Model |
| 03/26/2003 | 10 | Anton van Straaten | Java object models debated |
| 09/29/2001 | 1 | Ehud Lamm | Java Performance |
| 10/25/2000 | 1 | Chris Rathman | Java Precisely |
| 09/29/2000 | 1 | Chris Rathman | Java Spec Report |
| 07/11/2002 | 1 | Ehud Lamm | Java Specification Participation Agreement |
| 01/07/2006 | 5 | Ehud Lamm | Java Subtype Tests in Real-Time |
| 12/11/2002 | 1 | Ehud Lamm | The Java Syntactic Extender |
| 01/19/2004 | 1 | M.J. Stahl | Java Syntactic Extender |
| 02/14/2008 | 4 | raould | Java the language vs. Java the ecosystem |
| 04/08/2004 | 7 | Chris Rathman | Java to gain multitasking improvements |
| 01/16/2003 | 11 | Michael Vanier | java vs. C# speed comparisons? |
| 05/25/2001 | 1 | Ehud Lamm | Java-based supercomputing |
| 08/01/2002 | 1 | Ehud Lamm | Java-in-hardware in aJile new PDA |
| 09/17/2008 | 1 | Kannan Goundan | A Java-like formalism for control flow analysis. |
| 10/10/2001 | 2 | Ehud Lamm | Java.NET |
| 08/08/2001 | 2 | Dejan Jelovic | Java: Good and Bad |
| 06/06/2001 | 2 | Ehud Lamm | JavaOne |
| 03/02/2002 | 7 | Chris Rathman | Java's new Considered Harmful |
| 06/01/2006 | 9 | Dave Herman | JavaScript 2 and the Future of the Web |
| 02/19/2002 | 9 | Chris Rathman | JavaScript 2.0 Versioning |
| 06/18/2005 | 24 | Isaac Gouy | JavaScript 2.0: Evolving a Language for Evolving Systems |
| 03/05/2005 | 9 | Ehud Lamm | JavaScript and domain specific Languages |
| 05/31/2006 | 22 | Ehud Lamm | Javascript department |
| 08/14/2008 | 12 | Chris Rathman | JavaScript harmony |
| 01/26/2006 | 3 | Ehud Lamm | Javascript Inheritance |
| 08/02/2003 | 8 | Robert Sayre | JavaScript with Continuations and its use in Apache Cocoon |
| 08/03/2003 | 1 | Dan Shappir | JavaScript with Continuations and its use in Apache Cocoon |
| 04/01/2003 | 1 | Chui Tey | Javascript with native XML support |
| 04/01/2003 | 8 | Dan Shappir | Javascript with native XML support |
| 12/09/2003 | 3 | Andris Birkmanis | The Java specs in a formal way |
| 10/02/2004 | 1 | Ehud Lamm | JBoss Aspect Oriented Programming |
| 06/28/2002 | 5 | Ehud Lamm | JCP adequately preparing Java for Web services? |
| 02/02/2005 | 1 | Ehud Lamm | The JCP EC rejects JDO 2.0 |
| 07/17/2004 | 11 | Ehud Lamm | JDeveloperAOP |
| 08/04/2003 | 59 | Ehud Lamm | JDO Architectures |
| 07/12/2003 | 61 | Ehud Lamm | Jef Raskin: The Woes of IDEs |
| 04/20/2005 | 3 | Ehud Lamm | Jhc |
| 10/26/2001 | 1 | Ehud Lamm | Jikes Research Virtual Machine (RVM) |
| 10/29/2002 | 2 | Ehud Lamm | Jikes RVM implementation tutorials |
| 01/05/2009 | 5 | namin | JMatch (abstract iterable pattern matching for Java) and the Polyglot Compiler Framework |
| 06/10/2009 | 17 | Ehud Lamm | Job trends |
| 04/01/2001 | 11 | andrew cooke | Jobs |
| 01/06/2005 | 13 | Andris Birkmanis | JoCaml |
| 08/29/2006 | 2 | grant | Joe Armstrong's Blog |
| 12/05/2007 | 4 | naasking | Joe-E TechTalk |
| 05/06/2002 | 11 | Dan Shappir | Joel on Programming Languages |
| 12/29/2005 | 64 | Andrei Formiga | Joel Spolsky views on CS education |
| 03/20/2007 | 10 | Carlos Scheidegger | John Backus has passed away |
| 12/23/2006 | 2 | Ehud Lamm | The Joins Concurrency Library |
| 08/22/2005 | 3 | Ehud Lamm | Jon Udell: A conversation with Jonathan Robie about XQuery |
| 04/05/2005 | 11 | Ehud Lamm | Jon Udell: Languages and environments |
| 02/27/2006 | 13 | Ehud Lamm | Jon Udell: Multi-language runtimes |
| 02/07/2003 | 5 | Ehud Lamm | Jon Udell: Shipping the prototype |
| 05/23/2005 | 2 | Ehud Lamm | Jon Udell: Tools for dynamic languages |
| 02/27/2001 | 1 | Chris Rathman | Jonas EJB Server |
| 04/07/2009 | 8 | James Iry | Jonathon Shapiro Wraps Up BitC |
| 05/10/2003 | 18 | Ehud Lamm | Joshua Bloch interview on new features in Java 1.5 |
| 06/08/2006 | 32 | Ehud Lamm | Joshua Bloch: "Nearly All Binary Searches Broken" |
| 03/15/2006 | 2 | Ehud Lamm | JOT: On The Next Move in Programming |
| 10/09/2004 | 3 | Ehud Lamm | JotSpot |
| 10/25/2005 | 10 | Charles Stewart | Journal "Logical Methods in CS" |
| 01/10/2001 | 3 | Ehud Lamm | JOVIAL |
| 07/07/2003 | 4 | Chris Rathman | JOVIAL References |
| 08/02/2008 | 13 | Chris Rathman | JOVIAL: Stand up Schwartz |
| 11/24/2003 | 5 | Patrick Logan | The JPie Interactive Programming Environment |
| 04/08/2005 | 1 | meltsner | JPred -- predicate dispatch for Java |
| 11/28/2001 | 1 | Ehud Lamm | JRockit |
| 04/12/2006 | 2 | Ehud Lamm | JRuby |
| 01/24/2002 | 2 | Ehud Lamm | Jscheme |
| 09/18/2003 | 30 | Dejan Jelovic | JScript is a Functional Language |
| 11/06/2003 | 2 | Dan Shappir | The JScript Type System, Part One |
| 06/24/2002 | 1 | Ehud Lamm | JSIS - Semantic Interface Specification for Java |
| 03/27/2002 | 7 | Adewale Oshineye | (JSR 175) Adding metadata to Java |
| 07/22/2002 | 3 | Ehud Lamm | JSR-166 - Concurrency Utilities |
| 10/28/2002 | 1 | Ehud Lamm | JudoScript |
| 02/24/2003 | 3 | Ehud Lamm | Jungerl: A jungle of Erlang code |
| 02/05/2008 | 9 | Winheim Raulsh | Jura, a OOMP language and potential DBMS |
| 05/26/2002 | 1 | Ehud Lamm | Just so you know |
| 10/27/2005 | 37 | Ehud Lamm | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 12/04/2002 | 10 | Ehud Lamm | Just wondering (strings) |
| 09/27/2008 | 3 | Ehud Lamm | JVM Language Summit report |
| 08/09/2007 | 2 | Ehud Lamm | JVM Languages group |
| 09/25/2002 | 1 | Isaac Gouy | JWIG an alternative to Servlets, JSP, ASP, and PHP |
| 12/15/2003 | 1 | Ehud Lamm | JWIG: Java Extensions for High-Level Web Service Development |
| 06/22/2001 | 2 | Ehud Lamm | JXTA spec available |
| 04/28/2003 | 3 | Dan Shappir | JXXX Compiler Service |
| 04/22/2001 | 2 | Brian Zhou | Jython Servlet |
| 03/26/2004 | 3 | Ehud Lamm | K.R. Apt: Principles of Constraint Programming |
| 12/28/2003 | 6 | Ehud Lamm | Kai von Fintel: Essential Readings in Semantics |
| 08/03/2000 | 1 | Ehud Lamm | Kamin book |
| 04/10/2004 | 1 | Neel Krishnaswami | KANREN -- logic programming in Scheme |
| 07/31/2007 | 4 | Philippa Cowderoy | The Karmasphere DP language |
| 08/31/2003 | 1 | Chris Rathman | Kata Two: Iteration, Recursion and Continuations |
| 06/20/2007 | 20 | chrisseaton | Katahdin: Modifying your programming language as it runs |
| 06/15/2005 | 3 | Noel | Keep Blogging Worker Bee! |
| 02/14/2005 | 2 | Andris Birkmanis | The Kell Calculus |
| 10/05/2004 | 21 | Ehud Lamm | Ken Shan: Shift to Control |
| 11/08/2001 | 1 | Chris Rathman | Kent M. Pitman Answers On Lisp |
| 11/13/2001 | 5 | Chris Rathman | Kent M. Pitman's Second Wind |
| 02/03/2008 | 1 | cdiggins | Kermeta Programming Language |
| 07/23/2004 | 4 | Andris Birkmanis | Keywords per post? |
| 08/04/2006 | 13 | John Carter | The Killer Application for Concatenative Languages |
| 12/15/2004 | 10 | Noel | Killer Props for Computer Scientist! |
| 01/16/2004 | 1 | Isaac Gouy | Klaus Wirth & Typeless Euler |
| 06/04/2001 | 2 | Ehud Lamm | Knock Knock |
| 09/30/2006 | 3 | Ehud Lamm | Knock knock... |
| 12/07/2003 | 1 | Ehud Lamm | Knuth: Selected Papers on Computer Languages |
| 08/13/2002 | 4 | Ehud Lamm | Kristen Nygaard (1927-2002) |
| 12/11/2004 | 1 | pantagruel | L Programming Language & System (distributed, secure[capability based], functional) |
| 09/23/2004 | 1 | Manu Simoni | L. Röder's Intentional Programming Presentations |
| 03/29/2001 | 1 | Ehud Lamm | Labanotation |
| 11/09/2008 | 4 | terance | Labyrinth:how to find the exit? |
| 03/28/2007 | 7 | chinu | LALR grammar of C++ |
| 12/15/2000 | 6 | Ehud Lamm | The lambda C++ library |
| 04/02/2001 | 2 | Ehud Lamm | Lambda Calculi : A Guide for Computer Scientists - Hankin |
| 11/27/2003 | 4 | Manuel Simoni | Lambda Calculus |
| 12/27/2002 | 1 | Bryn Keller | A Lambda Calculus for Dynamic Binding |
| 08/12/2006 | 9 | kaveh.shahbazian | Lambda Calculus In Java |
| 02/06/2002 | 1 | Ehud Lamm | Lambda Calculus in Python |
| 01/19/2009 | 9 | Peter Michaux | Lambda Calculus Notation |
| 12/26/2008 | 15 | Jason Dusek | The Lambda Cube & Some Programming Languages |
| 03/27/2001 | 2 | andrew cooke | Lambda Dance |
| 01/18/2004 | 27 | Ehud Lamm | The Lambda ethos |
| 05/27/2007 | 6 | Chris Rathman | Lambda in C# 3.0 |
| 05/05/2004 | 2 | Ehud Lamm | Lambda Lifting |
| 03/23/2002 | 1 | Ehud Lamm | Lambda over types (Haskell) |
| 10/22/2001 | 4 | Ehud Lamm | Lambda Prolog |
| 09/12/2000 | 1 | Ehud Lamm | Lambda the Ultimate |
| 01/23/2006 | 4 | Koray Can | Lambda the ultimate peer review |
| 01/29/2006 | 129 | Sebastian Stern | Lambda the Ultimate Set Comprehension |
| 11/30/2000 | 1 | Ehud Lamm | Lambda the Ultimate Sweatshirt |
| 10/24/2001 | 1 | Chris Rathman | Lambda The Ultimate: Topic Index |
| 04/26/2002 | 1 | Chris Rathman | Lambda The Ultimate: Topic Index |
| 04/10/2003 | 4 | Chris Rathman | Lambda The Ultimate: Topic Index |
| 07/04/2001 | 1 | Chris Rathman | Lambda the Ultimate: Topic List |
| 10/02/2003 | 1 | Ehud Lamm | Lambda tutorial |
| 05/11/2004 | 8 | Chris Rathman | lambda-calculus and types |
| 08/29/2000 | 2 | Ehud Lamm | The Lambda-calculus, Combinatory Logic, and Type Systems |
| 06/30/2005 | 1 | Andris Birkmanis | Lambda-mu |
| 10/02/2001 | 10 | Ehud Lamm | Lambda: the ultimate "little language" |
| 04/30/2005 | 5 | Andris Birkmanis | Lambdascope |
| 01/30/2002 | 2 | Ehud Lamm | Lame |
| 01/07/2008 | 12 | Curtis W | The Land of the Terminal |
| 04/18/2006 | 44 | Erik Meijer | Lang .NET 2006 |
| 06/17/2006 | 4 | Erik Meijer | Lang .NET Symposium Registration Now Open |
| 01/26/2005 | 46 | Matt Estes | Langauges and Hardware... |
| 08/17/2000 | 6 | andrew cooke | Language and Syntax |
| 12/06/2000 | 3 | Chris Rathman | A Language Based-Approach to Security |
| 09/14/2000 | 1 | Ehud Lamm | A Language Community? |
| 11/09/2004 | 15 | Tim Docker | Language comparison experiment |
| 12/08/2003 | 6 | logarithm | Language Construction |
| 01/17/2004 | 1 | Serguey Zefirov | The Language Construction Kit |
| 08/17/2002 | 1 | Ehud Lamm | Language Design and Implementation by Selection |
| 08/02/2002 | 1 | Ehud Lamm | Language design checklist |
| 07/31/2000 | 2 | Ehud Lamm | Language Design Documents |
| 03/09/2006 | 6 | Mordeith | Language Design Tips |
| 02/27/2003 | 3 | Carson Reynolds | Language Evaluations |
| 02/27/2003 | 1 | Ehud Lamm | Language Evaluations |
| 02/14/2003 | 2 | Ehud Lamm | Language Features for Executable Patterns |
| 05/08/2003 | 1 | Ehud Lamm | A Language for Bi-Directional Tree Transformations |
| 05/06/2008 | 8 | Ehud Lamm | Language geek at the Maker Faire |
| 07/04/2001 | 2 | pixel | Language Independent Arithmetic (LIA-2) |
| 09/24/2001 | 1 | Ehud Lamm | Language Laziness Test |
| 06/28/2007 | 9 | raould | Language lifecycle? |
| 06/22/2004 | 1 | Isaac Gouy 000 | The Language List |
| 12/14/2002 | 4 | Biep | The language LUA |
| 07/12/2005 | 30 | Peri Hankey | The Language Machine - a toolkit for language and grammar |
| 04/22/2002 | 24 | Ehud Lamm | Language Myths |
| 05/12/2003 | 23 | Isaac Gouy | Language Myths Again |
| 05/25/2002 | 4 | Chris Rathman | Language Neutrality and the Java Platform |
| 07/21/2007 | 35 | Isaac Gouy | Language Nirvana - Simon Peyton-Jones |
| 08/17/2001 | 4 | Chris Rathman | Language observations weblog |
| 05/09/2007 | 37 | Charles Stewart | "The language of the future is javascript" |
| 01/10/2002 | 7 | Frank Atanassow | Language of the Year: Haskell |
| 05/15/2003 | 17 | Dan Shappir | Language Once Was Key-Now It's Design |
| 11/17/2004 | 32 | drc | Language Oriented Programming |
| 08/24/2006 | 21 | raould | "Language Oriented Programming" Meta Programming System |
| 11/24/2003 | 1 | Ehud Lamm | Language Relativity (one more time) |
| 03/07/2001 | 3 | Ehud Lamm | Language Support for Disributed Processing |
| 07/29/2005 | 8 | Greg Buchholz | Language support for generating functions? |
| 01/04/2001 | 2 | andrew cooke | Language testers wanted |
| 07/01/2004 | 5 | lennon | The Language Wars are Dead; Long Live the Language Wars! |
| 07/02/2005 | 6 | Ehud Lamm | Language Workbenches: The Killer-App for Domain Specific Languages? |
| 01/11/2003 | 1 | Ehud Lamm | A Language-Based Approach to Security |
| 04/28/2006 | 18 | shapr | A Language-Based Approach to Unifying Events and Threads |
| 08/21/2002 | 1 | Ehud Lamm | Language-Based Information-Flow Security |
| 05/13/2005 | 3 | Ehud Lamm | Language-based security for mobile code, with applications to smart cards |
| 07/01/2002 | 4 | Ehud Lamm | Language-Centric Software Development |
| 05/31/2006 | 1 | hugg | Language-spotting |
| 02/03/2008 | 42 | David Ryan | Languages and data conversions. |
| 03/11/2009 | 9 | James Iry | Languages and security: a short reading list |
| 03/13/2008 | 17 | JustinTrellis | Languages best suited for scientific computing? |
| 11/13/2003 | 2 | Patrick Logan | Languages by people in langsmiths@yahoogroups.com |
| 03/15/2002 | 2 | Ehud Lamm | Languages for programming PDAs |
| 08/15/2000 | 2 | andrew cooke | Languages for Scientific Processing |
| 09/03/2000 | 2 | Ehud Lamm | Languages for the JVM |
| 12/09/2001 | 3 | Ramon M. Felciano | Languages or tools to play with rewrite rules? |
| 08/24/2008 | 35 | Jaroslav Tulach | Languages ready for API Evolution |
| 12/06/2006 | 3 | Kay Schluehr | Languages with first order types and partial evaluation |
| 10/12/2006 | 2 | zrxer | Languages With Some Form of Implicit Subtyping |
| 10/19/2005 | 4 | Ehud Lamm | Larry Wal: State of the Onion |
| 02/12/2001 | 1 | Ehud Lamm | Larry Wall interview |
| 04/03/2001 | 3 | andrew cooke | Larry Wall on Perl6 |
| 01/17/2002 | 4 | Ehud Lamm | Larry Wall: Apocalypse 4 |
| 06/04/2002 | 17 | Ehud Lamm | Larry Wall: Apocalypse 5: Regular Expressions |
| 03/11/2003 | 16 | Ehud Lamm | Larry Wall: Apocalypse 6 |
| 08/19/2006 | 1 | Erik Meijer | LASER Summerschool |
| 06/20/2008 | 7 | Erik Meijer | LASER Summerschool on Concurrency |
| 05/13/2004 | 5 | andrew cooke | late binding and self reference |
| 02/05/2008 | 29 | raould | Latest usability for polymorphism? |
| 03/13/2009 | 4 | Charles Stewart | Lawvere Theories and Monads |
| 08/31/2005 | 1 | Ehud Lamm | Laziness Without All the Hard Work |
| 07/23/2002 | 12 | jon fernquest | Lazy Functional Parser Combinators in Java |
| 10/01/2008 | 13 | Sean Gillespie | Lazy Graph Reduction and abstract machines |
| 12/03/2004 | 3 | Ehud Lamm | Lazy K |
| 07/24/2005 | 3 | Ehud Lamm | Lazy linear algebra |
| 10/24/2002 | 1 | Ehud Lamm | Lazy vs. strict |
| 05/09/2007 | 24 | Ehud Lamm | LC for kids (alligators, oh my!) |
| 11/23/2001 | 1 | Ehud Lamm | LC stuff |
| 01/21/2007 | 13 | Luke Gorrie | LCA2007: Concurrency and Erlang |
| 02/07/2008 | 18 | raould | Leaning how to judge the right tool for the job? |
| 01/11/2004 | 1 | Ehud Lamm | Learn Prolog Now! |
| 06/05/2001 | 18 | Chris Rathman | Learning a new programming language |
| 03/16/2004 | 3 | andrew cooke | Learning FP Through MultiMedia |
| 02/16/2003 | 3 | Ehud Lamm | Learning Haskell portal |
| 02/24/2008 | 12 | vishal | Learning language design |
| 12/28/2008 | 13 | scottmcl | Learning Pragmatics of Implementing a "Modern" Type Systems |
| 10/16/2007 | 4 | Isaac Gouy | Learning Programming with Erlang |
| 09/30/2007 | 22 | Ehud Lamm | Leave of absence |
| 03/24/2003 | 1 | Ehud Lamm | Lecture Notes on Algorithmic Information Theory |
| 06/05/2009 | 4 | Charles Stewart | Lectures on Jacques Herbrand as a Logician |
| 09/20/2006 | 16 | Ehud Lamm | Lectures on the Curry-Howard Isomorphism |
| 12/27/2001 | 1 | Ehud Lamm | Lectures on the Curry-Howard Isomorphism |
| 11/25/2001 | 1 | Ehud Lamm | Lego in PostScript |
| 01/06/2006 | 5 | Ehud Lamm | Lego Mindstorms NXT Robotics Announced |
| 08/28/2002 | 2 | Michael Vanier | Leo and Literate Programming |
| 11/09/2006 | 1 | janek37 | Leszek - a new esoteric programming language |
| 08/27/2003 | 1 | Andris Birkmanis | Let C = Q in OCL |
| 05/05/2005 | 175 | Achilleas Margaritis | Let's make a programming language! |
| 11/21/2000 | 1 | andrew cooke | Lexical scoping in Python |
| 09/13/2000 | 1 | Ehud Lamm | Library of data strcutres in a functional language |
| 06/14/2005 | 14 | Ehud Lamm | LIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'05 |
| 03/02/2006 | 12 | Ehud Lamm | Life and Times of Anders Hejlsberg |
| 09/01/2007 | 1 | Ehud Lamm | Lifting Abstract Interpreters to Quantified Logical Domains |
| 04/20/2007 | 2 | Charles Stewart | Light Logics and Optimal Reduction |
| 12/11/2008 | 10 | Bruce Miller | Light(er) Reading Suggestions? |
| 06/20/2004 | 1 | Ehud Lamm | Light-Weight Instrumentation From Relational Queries Over Program Traces |
| 02/12/2007 | 5 | neelk | Lightweight Fusion by Fixed Point Promotion |
| 09/26/2003 | 1 | Dan | Lightweight Languages 3 call for presentations online |
| 10/13/2001 | 3 | Ehud Lamm | Lightweight Languages Workshop 2001 |
| 10/23/2002 | 5 | Ehud Lamm | Lightweight Languages Workshop 2002 |
| 09/18/2002 | 1 | pixel | Lightweight Languages Worshop 2002 |
| 08/06/2008 | 10 | Ehud Lamm | Lightweight Monadic Regions |
| 08/29/2006 | 2 | Ehud Lamm | Lightweight Static Capabilitites (II) |
| 03/08/2007 | 11 | Ehud Lamm | Lightweight static resources |
| 07/21/2005 | 6 | johnnyb | The Limits of the Semantic Extensibility of Computer Programs |
| 12/31/2006 | 7 | John DeTreville | "Limits to implicit parallelism in functional application" |
| 01/30/2006 | 23 | raould | line breaks? |
| 03/08/2005 | 3 | Andris Birkmanis | Linear Forwarders |
| 05/20/2008 | 7 | neelk | Linear Logical Algorithms |
| 06/27/2002 | 2 | Ehud Lamm | Linear Types and Monads |
| 10/21/2005 | 31 | Ehud Lamm | Linear types for aliased resources |
| 06/08/2006 | 5 | MJ Stahl | Linear Types vs. Uniqueness Typing |
| 03/01/2005 | 2 | Andris Birkmanis | Linearly Used Continuations |
| 10/05/2001 | 1 | jon fernquest | A lingua franca for the Internet |
| 03/08/2002 | 1 | Jay Han | Lingua::Romana::Perligata |
| 03/09/2002 | 5 | Ehud Lamm | Lingua::Romana::Perligata |
| 12/22/2002 | 2 | Ehud Lamm | linguablogs |
| 10/01/2002 | 10 | jon fernquest | Linguistic Relativity Homepage |
| 03/05/2001 | 11 | Ehud Lamm | Linguistic Relativity Hypothesis |
| 09/02/2004 | 1 | Isaac Gouy | Linguistic Reuse |
| 03/01/2003 | 6 | Ken Shan | Linguistic side effects |
| 07/04/2003 | 34 | Ehud Lamm | Linguistic Universals and Particulars |
| 04/22/2004 | 1 | Mitchell N Charity | Linj - creates Java code from CL derivative |
| 01/05/2005 | 3 | Derek Elkins | Linking comments |
| 04/12/2005 | 61 | Philip Wadler | Links |
| 06/11/2005 | 14 | Matthew Morgan | Links Demos |
| 05/08/2006 | 2 | mansu | Links for Programming Language course videos |
| 04/25/2001 | 2 | andrew cooke | Links to JFP Papers |
| 10/14/2005 | 5 | Erik Meijer | LINQ BOF at OOPSLA |
| 05/26/2006 | 10 | kenhirsch | Linspire chooses Haskell as preferred language |
| 05/26/2006 | 15 | Ehud Lamm | Linspire chooses Haskell as preferred language |
| 03/06/2002 | 6 | Dan Shappir | Linus Torvalds on Coding style |
| 06/28/2001 | 1 | Ehud Lamm | Linux Mag: GCC.NET |
| 06/16/2008 | 1 | raould | Liquid Types |
| 07/24/2007 | 4 | Ehud Lamm | Liskell |
| 06/22/2001 | 2 | Ehud Lamm | Liskov Substitution all over again |
| 10/01/2002 | 1 | Ehud Lamm | Liskov's Java book |
| 08/03/2006 | 5 | kimlee83 | Lisp Beginer seeking for advice |
| 08/27/2003 | 2 | Ehud Lamm | Lisp books mini reviews |
| 12/03/2005 | 1 | Ehud Lamm | Lisp Books online |
| 02/05/2009 | 1 | Anton van Straaten | Lisp Conference, March 22-25 |
| 05/04/2001 | 3 | andrew cooke | Lisp History |
| 09/04/2000 | 1 | Ehud Lamm | Lisp in Java (a walk through) |
| 11/05/2000 | 2 | Ehud Lamm | Lisp In Small Pieces |
| 01/18/2006 | 100 | Ehud Lamm | Lisp is sin |
| 08/08/2006 | 81 | Ben Atkin | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 05/16/2004 | 2 | Luke Gorrie | Lisp Machine Progress Report |
| 05/10/2002 | 1 | Ehud Lamm | Lisp Machine Video |
| 01/13/2004 | 3 | Patrick Logan | Lisp Machines |
| 09/05/2001 | 1 | Ehud Lamm | Lisp Plus Plus |
| 03/11/2003 | 8 | Noel Welsh | Lisp powers Jak & Daxter at Naughty Dog |
| 08/04/2005 | 11 | Per Vognsen | A Lisp to JavaScript Compiler in 100 Lines |
| 02/16/2007 | 13 | Jeff Cutsinger | Lisp webcomic |
| 10/10/2002 | 1 | Isaac Gouy | Lisp will never make it to mainstream... |
| 05/01/2001 | 6 | andrew cooke | (Lisp) Beating the Averages |
| 07/14/2008 | 1 | metaprogrammer | Lisp-like language for Domain Specific Languages prototyping |
| 04/05/2005 | 19 | ibuckley | Lisp-Stat does not seem to be in good health lately. |
| 09/03/2001 | 1 | Ehud Lamm | Lisp: A Language for Stratified Design |
| 07/05/2008 | 1 | Ehud Lamm | Lisp's 50th Birthday Celebration |
| 06/19/2001 | 5 | Biep | List of first programming languages |
| 03/02/2006 | 26 | Allan McInnes | LiteratePrograms wiki |
| 10/07/2005 | 2 | bdenckla | Literature on commutative lifted boolean operators |
| 04/24/2001 | 4 | Ehud Lamm | Literature on Programming Languages |
| 02/24/2007 | 8 | Holgly Morgan | Literature on recovering grammars? |
| 02/13/2008 | 8 | Ehud Lamm | The little b language: shared models built from reusable parts |
| 06/15/2003 | 10 | Dan Shappir | The Little Coder's Predicament |
| 08/29/2003 | 11 | Ehud Lamm | The Little Haskellist (once again) |
| 02/12/2005 | 6 | Ehud Lamm | The Little JavaScripter |
| 11/22/2004 | 16 | meltsner | Little language for use within Java, suited for users to define "rules" |
| 09/02/2002 | 5 | jon fernquest | Little Languages: Little Maintenance? |
| 07/27/2003 | 36 | Chris Rathman | The Little MLer |
| 04/03/2007 | 2 | yaxu | Live coding festival and conference |
| 12/04/2008 | 5 | falcon | Live programming environments |
| 09/21/2005 | 5 | raould | Live update of source with inferred type? |
| 05/20/2004 | 1 | Mark Evans | LiveType Font Constraint Programming |
| 02/09/2002 | 1 | Frank Atanassow | LL1 on technetcast |
| 11/26/2002 | 19 | Ehud Lamm | ll1-discuss on macros |
| 11/07/2002 | 10 | Luke Gorrie | LL2 Webcast |
| 11/07/2003 | 23 | andrew cooke | LL3 Webcast |
| 10/11/2004 | 1 | Ehud Lamm | LL4 Call for Presentations |
| 11/24/2004 | 29 | Matthew Morgan | LL4 Program and Abstracts |
| 12/12/2004 | 3 | Chris Lattner | LLVM 1.4 Released |
| 05/18/2005 | 21 | Chris Lattner | LLVM 1.5 has been released! |
| 05/19/2005 | 1 | chri1753 | LLVM 1.5 released with tail call optimization |
| 11/07/2003 | 5 | Bryn Keller | LLVM Compiler Infrastructure Project |
| 05/07/2009 | 2 | Paul Snively | LNGen |
| 05/14/2007 | 2 | Ehud Lamm | Local Reasoning for Storable Locks and Threads |
| 10/05/2008 | 6 | neelk | Local Rely-Guarantee Reasoning |
| 05/04/2008 | 7 | Ehud Lamm | A located lambda calculus |
| 11/06/2002 | 1 | Sjoerd Visscher | Loell, a new programming language |
| 11/06/2002 | 10 | Dan Moniz | Loell, a new programming language |
| 12/12/2005 | 2 | Florian Hars | Logging in from "recent posts" |
| 06/19/2003 | 3 | Manuel Simoni | Logic for Computer Science: Foundations of Automatic Theorem Proving |
| 04/13/2007 | 1 | neelk | A Logic for Parametric Polymorphism |
| 11/29/2007 | 11 | Ehud Lamm | Logic for Philosophy |
| 11/29/2003 | 2 | Andris Birkmanis | A Logic for Shared Mutable Data Structures |
| 05/13/2005 | 2 | Thomas Sutton | The logic of communicating on channels |
| 03/18/2001 | 4 | andrew cooke | Logic Programming |
| 09/10/2008 | 2 | S. Clover | Logic programming and finance |
| 12/05/2000 | 1 | Ehud Lamm | Logic Programming book |
| 06/28/2002 | 1 | Ehud Lamm | Logic Programming in Python (constraints) |
| 12/07/2003 | 1 | Ehud Lamm | Logic Programming in the Context of Multiparadigm Programming: The Oz Experience |
| 03/27/2004 | 17 | Ehud Lamm | The Logic Programming Paradigm and Prolog |
| 03/14/2003 | 8 | Brent Fulgham | Logic/Object Oriented Fusion |
| 05/15/2008 | 5 | neelk | Logical Algorithms |
| 09/22/2005 | 6 | Allan McInnes | Logix: Multi-Language Programming |
| 04/22/2003 | 17 | Bryn Keller | Lojban |
| 04/30/2005 | 20 | Allan McInnes | The long tail of programming languages |
| 06/25/2002 | 1 | andrew cooke | Longhorn |
| 10/28/2003 | 1 | Isaac Gouy | Longhorn CodeDOM |
| 11/08/2003 | 17 | Ehud Lamm | Longhorn Command Shell ("Monad") |
| 10/28/2003 | 9 | Ehud Lamm | Longhorn Markup Language (code-named "XAML") Overview |
| 09/04/2003 | 3 | greg travis | Looking for B. Moura dissertation |
| 09/16/2004 | 7 | andrew cooke | Looking for Classic Types Thread |
| 01/19/2008 | 1 | Arbiter | Looking for experienced help |
| 05/01/2009 | 9 | derekp | Looking for list of programming problems to thoroughly test a language |
| 01/15/2009 | 26 | derekp | Looking for papers describing advanced language topics in terms of C programming |
| 11/27/2000 | 1 | Ehud Lamm | Looking for some data |
| 12/25/2001 | 1 | Ehud Lamm | LOOP: Formal methods for object-oriented systems |
| 07/13/2003 | 1 | Isaac Gouy | Lost in Space |
| 06/01/2002 | 1 | Ehud Lamm | Loving Lisp, or the Savy Programmer's Secret Weapon |
| 10/26/2005 | 5 | Ehud Lamm | Lowering the barriers to programming |
| 09/11/2002 | 3 | jon fernquest | LPS: Language Prototyping System |
| 08/13/2007 | 4 | Ehud Lamm | LtU beer party - Jerusalem |
| 09/29/2005 | 23 | Ehud Lamm | LtU etiquette |
| 02/09/2004 | 27 | Mark Evans | LtU FAQ Update |
| 04/27/2002 | 1 | Ehud Lamm | LtU indexes |
| 04/10/2003 | 1 | Ehud Lamm | LtU indexes |
| 06/01/2005 | 5 | Ehud Lamm | LtU needs you! |
| 11/06/2002 | 2 | Ehud Lamm | LtU on BlogHop |
| 07/27/2006 | 6 | Ehud Lamm | LtU turns six! |
| 06/08/2006 | 66 | Ehud Lamm | LtU: blog not forum! |
| 04/01/2009 | 19 | Ehud Lamm | LtU: Forum not blog |
| 09/27/2005 | 80 | Ehud Lamm | LtU: Style and Focus |
| 07/17/2004 | 1 | Alexandre Richer | Lua book available online. |
| 05/28/2002 | 2 | Chris Rathman | Lua Lights up Telecom Testing |
| 05/22/2004 | 2 | Chris Rathman | Lua Shines |
| 06/22/2004 | 1 | shrogers | Lush |
| 11/10/2002 | 3 | Adam F Smith | Lush, New Lisp/C based language |
| 12/29/2003 | 3 | Patrick Logan | Lython |
| 04/21/2008 | 12 | Gal Amram | M.Sc thesis ideas on the intersection: Artificial intelligence, Category theory, and Programming languages. |
| 10/09/2002 | 1 | Dan Moniz | M: The basis for Matrix |
| 09/27/2006 | 17 | mcguire | Machine Obstructed Proof |
| 02/12/2009 | 4 | Allan McInnes | A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler |
| 02/13/2008 | 5 | msimoni | MACLISP Manual Comes To The Web |
| 01/11/2002 | 9 | Bryn Keller | Macros and Preprocessing in Haskell |
| 06/10/2003 | 1 | Ehud Lamm | Macros as Multi-Stage Computations |
| 01/18/2004 | 2 | Jim Apple | Macros for C++? |
| 10/27/2003 | 83 | Peter Van Roy | Macros vs. Higher-order Programming |
| 10/13/2006 | 1 | Matt Hellige | A Madman Dreams of Turing Machines |
| 10/21/2003 | 3 | Mark Evans | Magic Omega and the Limits of Mathematics |
| 10/11/2002 | 1 | Ehud Lamm | Make Python run as fast as C with Psyco |
| 03/08/2002 | 3 | Ehud Lamm | Making a decision: C# or VB.NET |
| 08/23/2002 | 5 | Ehud Lamm | Making Haskell programs faster and smaller |
| 04/01/2004 | 2 | Fred Spiessens | Making Oz capability-secure |
| 11/12/2003 | 27 | Luke Gorrie | Making reliable distributed systems in the presence of software errors |
| 10/29/2002 | 18 | Ehud Lamm | Making the Case for PHP at Yahoo! |
| 07/05/2005 | 2 | Jeff Cutsinger | Malbolge figured out? |
| 06/10/2009 | 1 | Basile STARYNKEVITCH | Malice: J.Pitrat's constraint satisfaction problem solver. |
| 02/22/2001 | 4 | Ehud Lamm | The Man Who Listens to Horses |
| 07/01/2002 | 1 | Ehud Lamm | Managed C++ FAQ |
|