| Date | Msgs | Originator | Topic |
| 06/16/2009 | 4 | Chris Rathman | A-Z of Programming Languages: Erlang |
| 06/16/2009 | 4 | Srikumar Subramanian | Pregel - Large Scale Graph Computing at Google |
| 06/15/2009 | 16 | Chris Rathman | How Does Our Language Shape The Way We Think? |
| 06/15/2009 | 1 | Ehud Lamm | Biological computation (personal message, non PL-related) |
| 06/14/2009 | 12 | faisalv | How important is it to have catchalls and interceptors in a programming language |
| 06/14/2009 | 29 | vag | GRS vs LTRS |
| 06/14/2009 | 3 | Z-Bo | Usability and Human Factors tags |
| 06/12/2009 | 31 | cdiggins | Preventing downcasting and adding a universal variant |
| 06/12/2009 | 14 | Ohad Kammar | Semantics: Logic vs. PL |
| 06/10/2009 | 17 | Ehud Lamm | Job trends |
| 06/10/2009 | 1 | Basile STARYNKEVITCH | Malice: J.Pitrat's constraint satisfaction problem solver. |
| 06/10/2009 | 10 | Neil Toronto | Bridging the informal and the formal |
| 06/09/2009 | 18 | dakurai | A new idea in OOP. Please comment. |
| 06/07/2009 | 58 | Thomas Lord | A Case for Gestures/Visualizations and Against Concrete Syntax |
| 06/06/2009 | 30 | Leon P Smith | The Myth of the Genius Programmer |
| 06/05/2009 | 4 | Charles Stewart | Lectures on Jacques Herbrand as a Logician |
| 06/04/2009 | 8 | neelk | Peter Landin |
| 06/04/2009 | 8 | MartynStrong | Using tech. to regulate capital markets |
| 06/04/2009 | 4 | Douglas McClean | Are extensible records first class patterns? |
| 06/03/2009 | 3 | Greg Buchholz | Monadic Constraint Programming |
| 06/02/2009 | 1 | eeide | CFP: PLOS ཅ: 5th Workshop on Programming Languages and Operating Systems |
| 06/02/2009 | 1 | neelk | Translation of Tree-processing Programs into Stream-processing Programs based on Ordered Linear Types |
| 06/02/2009 | 13 | Ehud Lamm | Goolgle & IDEs |
| 06/01/2009 | 1 | Mark Dalgarno | [ANN] Last chance to take part in Code Generation 2009 |
| 06/01/2009 | 32 | Allan McInnes | Computing Needs Time |
| 05/31/2009 | 14 | Ehud Lamm | Going functional on exotic trades |
| 05/29/2009 | 4 | Ehud Lamm | That old bug... |
| 05/28/2009 | 44 | Ehud Lamm | Questions Five Ways |
| 05/26/2009 | 3 | Paul Snively | Tim Sweeney on Epic Games' History |
| 05/24/2009 | 12 | Luke Gorrie | Forth Dimensions |
| 05/23/2009 | 8 | Jules Jacobs | Deriving Functions to Work on Different Types of Data |
| 05/22/2009 | 4 | Tom Duff | Tracker + spill page = fail |
| 05/21/2009 | 2 | szobatudos | Budapest FP Meetup |
| 05/20/2009 | 3 | Isaac Gouy | F# tip toes into the mainstream? |
| 05/20/2009 | 5 | ezrakilty | Acknowledging the cosmic bonk/oif balance |
| 05/17/2009 | 20 | cdiggins | Extension Methods versus Structural Typing of Traits for solving the expression problem |
| 05/17/2009 | 2 | markt | A paper on psychology and programming |
| 05/16/2009 | 9 | James Iry | Types are Calling Conventions |
| 05/15/2009 | 5 | dmbarbour | Random Topics |
| 05/13/2009 | 5 | Jason Dusek | Obscure question about a remark in "A Tutorial on (Co)Algebras and (Co)Induction". |
| 05/13/2009 | 45 | Peter Van Roy | Computer music: a bastion of interactive visual dataflow languages |
| 05/11/2009 | 5 | yang | Axum - A .NET language for safe, scalable and productive parallel programming through isolation, actors and message-passing |
| 05/11/2009 | 32 | Srikumar Subramanian | WolframAlpha |
| 05/11/2009 | 19 | Srikumar Subramanian | C++ Frequently Questioned Answers |
| 05/10/2009 | 64 | Leon P Smith | Why Did M.I.T. Switch from Scheme to Python? |
| 05/08/2009 | 4 | Anton van Straaten | A Brief, Incomplete ... History of Programming Languages |
| 05/08/2009 | 3 | mzraly | Oracle, Sun, and Fortress |
| 05/07/2009 | 2 | Paul Snively | LNGen |
| 05/07/2009 | 1 | Paul Snively | Achieving Security Despite Compromise Using Zero-Knowledge |
| 05/07/2009 | 1 | James Iry | An Interview with the Diamondback Ruby Team |
| 05/06/2009 | 4 | raould | latest on linear/uniqueness typing? |
| 05/06/2009 | 1 | Isaac Gouy | COMPOSITA - another ETH language |
| 05/05/2009 | 61 | Ehud Lamm | Right on! |
| 05/04/2009 | 9 | Ehud Lamm | Any tips (Logo)? |
| 05/04/2009 | 5 | Basile STARYNKEVITCH | dealing with spam? |
| 05/04/2009 | 2 | Allan McInnes | Purpose-Built Languages |
| 05/04/2009 | 27 | sidhu | Static typing may require runtime type checking? |
| 05/01/2009 | 9 | derekp | Looking for list of programming problems to thoroughly test a language |
| 05/01/2009 | 14 | Isaac Gouy | Conversations with the Creators of Major Programming Languages |
| 04/30/2009 | 28 | Z-Bo | What is the best literate programming tool/environment/research work? |
| 04/29/2009 | 1 | phreda | :r4 The colorless colorforth language |
| 04/28/2009 | 14 | arnaud_d | YAPL - yet another programming language |
| 04/26/2009 | 1 | Hank Thediek | Viable System Architecture |
| 04/26/2009 | 22 | Allan McInnes | Branching Time vs. Linear Time: Semantical Perspective |
| 04/26/2009 | 1 | Sean McDirmid | What if Smalltalk were invented today? |
| 04/26/2009 | 2 | Greg Buchholz | Coherent Reaction |
| 04/24/2009 | 3 | Justin Johansson | Butcher, Baker or CandlestickMaker |
| 04/24/2009 | 18 | raould | Intentional tool released |
| 04/23/2009 | 2 | Leon P Smith | Polymorphic Delimited Continuations |
| 04/22/2009 | 2 | spir | new list about PL design |
| 04/22/2009 | 9 | Charles Stewart | Andrej Bauer on PLD |
| 04/21/2009 | 13 | Jason Dusek | The deBrujin Criterion and the "LCF Approach". |
| 04/20/2009 | 9 | metaprogrammer | A programming language with extensible syntax |
| 04/18/2009 | 23 | falcon | 2009 Lang.NET |
| 04/17/2009 | 11 | falcon | How to ensure safety when millions of users inject scripts into a running system? |
| 04/17/2009 | 1 | Paul Snively | A Generic Type-and-Effect System |
| 04/16/2009 | 8 | neelk | Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time |
| 04/16/2009 | 1 | Hank Thediek | Challenges |
| 04/15/2009 | 3 | James Iry | Semantics of Memory Management for Polymorphic Languages |
| 04/15/2009 | 1 | drcode | FringeDC Formal Meeting- April 18th 12PM Noon- Advanced Common Lisp Features |
| 04/15/2009 | 16 | raould | multidimensional abstraction? |
| 04/14/2009 | 1 | James Iry | Practical Implementation of a Dependently Typed Functional Programming Language |
| 04/14/2009 | 17 | James Iry | Scala Lift Off 2009 |
| 04/13/2009 | 2 | natecain | New EcmaScript/Javascript specification |
| 04/11/2009 | 30 | James Iry | ADD 50 TO COBOL GIVING COBOL |
| 04/09/2009 | 3 | James Iry | Capabilities for External Uniqueness |
| 04/08/2009 | 124 | Lee Chou | Why are objects so unintuitive? |
| 04/07/2009 | 8 | James Iry | Jonathon Shapiro Wraps Up BitC |
| 04/07/2009 | 2 | Ehud Lamm | Detecting Data Race and Atomicity Violation via Typestate-Guided Static Analysis |
| 04/02/2009 | 40 | snedunuri | Twitter and Scala |
| 04/02/2009 | 8 | Carter Cheng | zip in the point free style |
| 04/02/2009 | 13 | Leon P Smith | A Computer-Generated Proof that P=NP |
| 04/01/2009 | 19 | Ehud Lamm | LtU: Forum not blog |
| 04/01/2009 | 10 | Anton van Straaten | Announcing the Haskot |
| 03/31/2009 | 5 | raould | Seeking succnict thoughts on pros/cons of hl language styles |
| 03/30/2009 | 5 | puneet | Functional Programming Project |
| 03/30/2009 | 7 | bashyal | Subsumption at all costs |
| 03/29/2009 | 15 | Luke Gorrie | PLOT: Programming Language for Old Timers |
| 03/28/2009 | 10 | RalphEJohnson | Onward! |
| 03/26/2009 | 1 | Patrick Browne | Haskell's type classes and CafeOBJ's module system |
| 03/24/2009 | 16 | neelk | The Art of the Propagator |
| 03/24/2009 | 5 | Chung-chieh Shan | D is for Domain and Declarative |
| 03/24/2009 | 12 | Jaroslav Tulach | Eliminating fuzziness of access modifiers |
| 03/23/2009 | 3 | George Morrison | Automatic data structure / layout selection? |
| 03/23/2009 | 4 | Charles Stewart | Open access at MIT and Harvard |
| 03/22/2009 | 5 | Ehud Lamm | Site problems |
| 03/22/2009 | 3 | Allan McInnes | Swift: making web applications secure by construction |
| 03/20/2009 | 15 | John Nowak | Tiered approaches to higher order programming? |
| 03/20/2009 | 2 | Boyko Bantchev | J. Schwartz died |
| 03/19/2009 | 1 | vieiro | Parrot 1.0.0 is out |
| 03/18/2009 | 9 | Archiloque | Relational database implementation paper ? |
| 03/18/2009 | 14 | Charles Stewart | Marrying VMs |
| 03/17/2009 | 1 | Ehud Lamm | Object Oriented Concepts survey |
| 03/13/2009 | 4 | Charles Stewart | Lawvere Theories and Monads |
| 03/13/2009 | 5 | Luke Gorrie | A New Approach to the Functional Design of a Digital Computer |
| 03/13/2009 | 25 | John Nowak | Advantages of pointfree? |
| 03/13/2009 | 13 | Luke Gorrie | A Tiny Computer |
| 03/12/2009 | 5 | Ehud Lamm | Barbara Liskov Wins Turing Award |
| 03/11/2009 | 9 | James Iry | Languages and security: a short reading list |
| 03/08/2009 | 53 | Srikumar Subramanian | Influence of cognitive models on programming language design |
| 03/07/2009 | 31 | Luke Gorrie | Linear Logic and Permutation Stacks--The Forth Shall Be First |
| 03/06/2009 | 9 | phoolimin | Dao, the official 1.0 version is released |
| 03/06/2009 | 1 | neelk | A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking |
| 03/06/2009 | 1 | Mark Dalgarno | Code Generation 2009 - June 16 - 18. Cambridge, UK |
| 03/05/2009 | 4 | Hank Thediek | Dynamic Logic |
| 03/04/2009 | 3 | Paul Snively | Ensuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent Types |
| 03/04/2009 | 65 | Chris Rathman | C++ Futures |
| 03/03/2009 | 5 | neelk | Equality Saturation: A New Approach to Optimization |
| 03/03/2009 | 104 | Leon P Smith | The Meta-LtU Thread |
| 03/01/2009 | 1 | Anil Madhavapeddy | CFP for Commercial Uses of Functional Programming (2009) |
| 02/28/2009 | 9 | jdgallag | implementing by-value reduction in lambda calculus |
| 02/23/2009 | 9 | rob myers | Generating nested data types at runtime |
| 02/19/2009 | 12 | Matt Hellige | Denotational design with type class morphisms |
| 02/18/2009 | 17 | Paul Snively | Dana |
| 02/13/2009 | 2 | Alex Rubinsteyn | Differences between gradual, soft, and dynamic dependent typing? |
| 1 | | Access denied |
| 02/12/2009 | 4 | Allan McInnes | A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler |
| 02/11/2009 | 16 | neelk | Parameterized Notions of Computation |
| 02/11/2009 | 3 | Ehud Lamm | Admin notes |
| 02/08/2009 | 45 | Jason Dusek | On the (Im)possibility of Obfuscating Programs |
| 02/06/2009 | 2 | Will Pearson | Programming languages for low level autonomic systems |
| 02/05/2009 | 1 | Anton van Straaten | Lisp Conference, March 22-25 |
| 02/04/2009 | 23 | Kay Schluehr | What is the dual of { } ? |
| 02/04/2009 | 10 | Leon P Smith | Open Recursion |
| 02/04/2009 | 8 | Sam Rushing | How best to add a record type to my typed Scheme variant? |
| 02/03/2009 | 8 | Chris Rathman | Project Euler |
| 02/03/2009 | 30 | naasking | Tagged Arithmetic Optimization |
| 02/02/2009 | 1 | yminsky | Jane Street Summer Project ཅ |
| 02/02/2009 | 35 | Douglas McClean | Ruling out nonsensical data type definitions |
| 02/01/2009 | 1 | Hank Thediek | Cybernetics and AI |
| 01/30/2009 | 12 | guy_from_china | I'm from china and I'm working on a new programming language "Zero" |
| 01/30/2009 | 3 | const | seeking article on representing cyclic graphs using purely functional data structures |
| 01/28/2009 | 71 | Ehud Lamm | PL Grand Challenges |
| 01/26/2009 | 2 | jdgallag | help with type theory |
| 01/26/2009 | 4 | David Pratten | Introducing Ambi |
| 01/25/2009 | 12 | shubhamharnal | Graduate Programs in Programming Language Design/Research/Implementation? |
| 01/23/2009 | 14 | strog | Detailed discussion forum and/or IRC channel? |
| 01/22/2009 | 8 | shap | Specifying semantics and type rules |
| 01/22/2009 | 4 | lmeyerov | Parsing with error recovery? |
| 01/21/2009 | 56 | raould | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 01/21/2009 | 3 | raould | what causes really wide pages? |
| 01/21/2009 | 21 | strog | Nested functions - how many nesting levels are really needed? |
| 01/21/2009 | 2 | Isaac Gouy | Efficient Interpretation by Transforming Data Types and Patterns to Functions |
| 01/21/2009 | 7 | const | Extensible Term Language 0.2.1 |
| 01/21/2009 | 3 | Ehud Lamm | Using Promises to Orchestrate Web Interactions |
| 01/21/2009 | 12 | Ehud Lamm | Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts |
| 01/20/2009 | 1 | Ehud Lamm | Ziggurat |
| 01/20/2009 | 1 | csells | Call for Speakers: DSL DevCon |
| 01/19/2009 | 9 | Peter Michaux | Lambda Calculus Notation |
| 01/17/2009 | 7 | Ehud Lamm | Path Feasibility Analysis for String-Manipulating Programs |
| 01/17/2009 | 36 | cdiggins | Macro systems |
| 01/16/2009 | 6 | ellisk | Weird computability problem relating to state + lambda calculus |
| 01/16/2009 | 7 | scottmcl | Compilation/method resolution with structural subtyping |
| 01/15/2009 | 26 | derekp | Looking for papers describing advanced language topics in terms of C programming |
| 01/15/2009 | 8 | Koray Can | CWE/SANS TOP 25 Most Dangerous Programming Errors |
| 01/14/2009 | 5 | James Iry | On the Strength of Proof-Irrelevant Type Theories |
| 01/14/2009 | 38 | Poul Krogh | Introducing Dawn - yet another new language |
| 01/14/2009 | 1 | bashyal | History of Python |
| 01/13/2009 | 222 | James Iry | What Are The Resolved Debates in General Purpose Language Design? |
| 01/12/2009 | 1 | Ehud Lamm | Zune & Static Analysis |
| 01/12/2009 | 5 | andhow | Typed lambda calculii with type-indexed families of functions instead of polymoprhic functions? |
| 01/12/2009 | 1 | Joshua Herman | Trying to define a new lisp. |
| 01/11/2009 | 2 | shap | Specifying Solver Behavior? |
| 01/11/2009 | 9 | dpmulligan | Monads = lazy, effect types = strict? |
| 01/11/2009 | 4 | falcon | Kodu video game |
| 01/10/2009 | 2 | Ehud Lamm | Verifying Compiler Transformations for Concurrent Programs |
| 01/10/2009 | 1 | yminsky | Functional Programming jobs at Jane Street |
| 01/10/2009 | 41 | marco | Using coalgebraic structures for traversing ADTs lazily |
| 01/09/2009 | 6 | yminsky | Job board on LtU? |
| 01/09/2009 | 4 | Morris Johns | Web hosting for Haskell/Lisp/Scheme |
| 01/07/2009 | 3 | smitty1e | Wadler, Findler: Well-typed programs can't be blamed |
| 01/07/2009 | 7 | James Iry | R in the New York Times |
| 01/06/2009 | 1 | Mark Dalgarno | [ANN] Final Call for Speakers for Code Generation 2009 |
| 01/06/2009 | 2 | falcon | Automatically Generating the Back End of a Compiler Using Declarative Machine Descriptions |
| 01/06/2009 | 5 | namin | Reasonig about combinators (a lambda-calculus puzzle on composing compositions) |
| 01/05/2009 | 1 | drcode | Saturday January 10th 2009, 2PM: FringeDC Programming Group Formal Meeting |
| 01/05/2009 | 5 | namin | JMatch (abstract iterable pattern matching for Java) and the Polyglot Compiler Framework |
| 01/03/2009 | 2 | jamii | Coconut : Haskell code assembly on the cell processor |
| 12/31/2008 | 13 | ellisk | "Determinism" of types? |
| 12/28/2008 | 13 | scottmcl | Learning Pragmatics of Implementing a "Modern" Type Systems |
| 12/28/2008 | 139 | James Iry | 2008 In Review - What Happened with Programming Languages? |
| 12/27/2008 | 1 | Ilya Mirman | Cilk++ for Linux now available for download |
| 12/26/2008 | 15 | Jason Dusek | The Lambda Cube & Some Programming Languages |
| 12/26/2008 | 4 | Bruno Oliveira | A Variation of the Expression Problem and two Solutions in Scala |
| 12/25/2008 | 2 | stratocasterfreak | which program should I use? Visual Basic, C++ or Delphi |
| 12/24/2008 | 6 | vijaykandy | Principles or patterns in FP |
| 12/23/2008 | 3 | Henrik Tidefelt | Announcing Shapes, a functional drawing language |
| 12/22/2008 | 10 | naasking | Functional Pearl: Type-safe pattern combinators |
| 12/22/2008 | 3 | raeck | Defining a containing function on polymorphic list |
| 12/22/2008 | 19 | Sean McDirmid | Two Lightweight DSLs for Rich UI Programming |
| 12/21/2008 | 3 | James Iry | PinS and RWH are Jolt Finalists |
| 12/19/2008 | 26 | Chris Rathman | If Programming Languages were <T> |
| 12/16/2008 | 56 | scottmcl | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/15/2008 | 11 | James Iry | Programmable Concurrency in a Pure and Lazy Language |
| 12/14/2008 | 13 | shap | Practicality of Exclusively Compiler-Driven Unboxing |
| 12/14/2008 | 125 | Bruce Rennie | Fundamental Flaws in Current Programming Language Type Systems |
| 12/11/2008 | 1 | Dave Lopez | JetBrains releases MPS (Meta Programming System) |
| 12/11/2008 | 71 | Ehud Lamm | The Genuine Sieve of Eratosthenes |
| 12/11/2008 | 10 | Bruce Miller | Light(er) Reading Suggestions? |
| 12/11/2008 | 5 | frencheneesz | Is it ok... |
| 12/10/2008 | 18 | frencheneesz | How to load/interpret STATIC libraries at runtime. |
| 12/10/2008 | 9 | harry | Self Taught Computer Science |
| 12/10/2008 | 5 | Ehud Lamm | The programming languages behind "the mother of all demos" |
| 12/09/2008 | 1 | Paul Snively | Type inference for correspondence types |
| 12/05/2008 | 7 | billhails | RFC on an online book |
| 12/05/2008 | 7 | Chris Rathman | AMS: A Special Issue on Formal Proof |
| 12/04/2008 | 5 | falcon | Live programming environments |
| 12/02/2008 | 3 | Daniel Yokomizo | The RiSE of Research in Software Engineering |
| 12/02/2008 | 6 | MLstate | FP Jobs |
| 12/02/2008 | 2 | Shaguf | Microsoft MVP ... |
| 12/01/2008 | 5 | Ehud Lamm | Staging with Delimited Control |
| 11/30/2008 | 12 | pureza | Remembering everything - a new(?) idea for a new PL |
| 11/29/2008 | 4 | James Iry | Qi II |
| 11/28/2008 | 80 | Peter Van Roy | Functional building blocks as concurrency patterns |
| 11/27/2008 | 4 | Chris Rathman | HOPL III: The When, Why and Why Not of the BETA Programming Language |
| 11/26/2008 | 20 | Chris Rathman | Clojure: Trampoline for mutual recursion |
| 11/26/2008 | 11 | szobatudos | refereed journal with open access? |
| 11/24/2008 | 62 | marco | Non-standard type theories for FP |
| 11/22/2008 | 7 | A. G. Piskunov | yet another oop formalization: class as abstract automata |
| 11/21/2008 | 23 | Chris Rathman | Guy Steele & Richard Gabriel: 50 in 50 |
| 11/19/2008 | 7 | Michael Lesniak | Current "hot" topics in parallel programming? |
| 11/18/2008 | 3 | Paul Snively | Type-Checking Zero Knowledge |
| 11/17/2008 | 4 | Ehud Lamm | SEP entry on Combinatory Logic |
| 11/14/2008 | 22 | falcon | Microsoft PDC "Language" Talks |
| 11/12/2008 | 14 | naasking | First-Class Patterns |
| 11/11/2008 | 1 | naasking | Modeling Abstract Types in Modules with Open Existential Types |
| 11/10/2008 | 2 | ktj | OVERNITE ACM ICPC 2009 MULTI PROVINCIAL PROGRAMMING CONTEST |
| 11/10/2008 | 46 | Alex Rubinsteyn | Extensible tuples? |
| 11/09/2008 | 4 | terance | Labyrinth:how to find the exit? |
| 11/09/2008 | 63 | Alex Rubinsteyn | Subtyping + overloading |
| 11/08/2008 | 9 | Lauri Alanko | β, η, ξ ⊢ α? |
| 11/08/2008 | 57 | Isaac Gouy | The Origins of the BitC Programming Language |
| 11/08/2008 | 4 | omouse | Burst Tries paper |
| 11/08/2008 | 1 | synodinos | The Ioke JVM Language: The power of Lisp and Ruby with an intuitive syntax |
| 11/07/2008 | 3 | Charles Stewart | College Publications |
| 11/07/2008 | 1 | Luke Gorrie | A Personal Computer for Children of All Ages |
| 11/06/2008 | 1 | Chris Rathman | Type Checking with Open Type Functions |
| 11/06/2008 | 23 | shap | Question concerning parameterization over literals |
| 11/06/2008 | 5 | raould | Liquid Metal project, Lime language: Java for FPGA co-processors |
| 11/05/2008 | 12 | ellisk | A tutorial on implemeting type inference? |
| 11/04/2008 | 5 | Isaac Gouy | Oz/K: A kernel language for component-based open programming |
| 11/04/2008 | 1 | naasking | Reflection, Attributes and Parameterization |
| 11/04/2008 | 36 | Lee Chou | New Programming Language Idea |
| 11/01/2008 | 43 | jason stumpf | Total functional language self interpreter? |
| 10/30/2008 | 12 | Darren Smith | Implementations of untyped lazy lambda calculus |
| 10/29/2008 | 10 | msimoni | Factor: an extensible interactive language |
| 10/29/2008 | 1 | Daniel Weinreb | Call for Submissions, for the International Lisp Conference 2009 |
| 10/29/2008 | 24 | Ehud Lamm | Automated Code Review Tools for Security |
| 10/28/2008 | 26 | Adam Chlipala | Web application shootout? |
| 10/28/2008 | 36 | naasking | Declarative layout and/or UI languages? |
| 10/26/2008 | 1 | Mark Dalgarno | [ANN] Call for Speakers - Code Generation 2009 |
| 10/25/2008 | 8 | Adam Chlipala | ANN: Ur/Web: Statically-typed metaprogramming for the web |
| 10/23/2008 | 6 | Tim Band | Review of Practical API Design by Jaroslav Tulach |
| 10/23/2008 | 13 | robmeyers | Why do OOPLs type objects as classes? |
| 10/22/2008 | 18 | Luke Gorrie | BEE3: Putting the Buzz Back into Computer Architecture |
| 10/22/2008 | 16 | jim burton | Summary of Dependently Typed Systems? |
| 10/22/2008 | 7 | Charles Stewart | Fω^C: a symmetrically classical variant of System Fω |
| 10/22/2008 | 7 | msimoni | Adequate bootstrap for compiler with defmacro? |
| 10/21/2008 | 31 | Isaac Gouy | Multiple Dispatch in Practice |
| 10/21/2008 | 1 | jurgenv | CFP: Language Descriptions Tools and Applications (LDTA 2009) |
| 10/20/2008 | 9 | Dan Moniz | Design Concepts in Programming Languages is now available |
| 10/19/2008 | 9 | christopher | F in System F |
| 10/19/2008 | 14 | David Barbour | A Modular, Verifiable Exception-Handling Mechanism |
| 10/19/2008 | 21 | Ehud Lamm | A bit of Scheming |
| 10/18/2008 | 1 | Ehud Lamm | Programmer book club |
| 10/17/2008 | 5 | Chris Rathman | Notes on Introduction To Algorithms |
| 10/17/2008 | 4 | Ehud Lamm | Two stories |
| 10/16/2008 | 13 | jdgallag | Constructor classes |
| 10/15/2008 | 12 | Pablo Barenbaum | In which sense Joy is functional? |
| 10/15/2008 | 3 | Paul Snively | OCaml 3.11.0-beta1 Available |
| 10/13/2008 | 3 | levalex | OOPSLA 08 |
| 10/12/2008 | 22 | Noel | No more tail calls in Javascript? |
| 10/11/2008 | 79 | Ran | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/10/2008 | 4 | Zizek | Syntactic/Semantic Control in MDA Framework |
| 10/09/2008 | 12 | Basile STARYNKEVITCH | DSL or dialects used inside compilers |
| 10/08/2008 | 6 | srivatsan | Swarm- distributed stack based programming language |
| 10/07/2008 | 5 | Chris Rathman | Hejlsberg and Steele: Concurrency and Language Design |
| 10/06/2008 | 17 | Luke Gorrie | Worlds: Controlling the Scope of Side Effects |
| 10/06/2008 | 27 | Luke Gorrie | Parsing Expression Grammars |
| 10/05/2008 | 6 | SamK | Inspiring Papers |
| 10/05/2008 | 1 | drcode | FringeDC Formal Meeting Oct 11th 6PM- Writing a compiler for a functional programming language |
| 10/05/2008 | 6 | neelk | Local Rely-Guarantee Reasoning |
| 10/05/2008 | 1 | Chris Rathman | Solutions to SICP Exercises |
| 10/04/2008 | 14 | claudio | Clojure talk videos |
| 10/01/2008 | 20 | Jason Livesay | Visual Programming Language Syntax Formalisms |
| 10/01/2008 | 1 | JeffB | C# and Computer World |
| 10/01/2008 | 4 | fanf | closure-based object-oriented programming languages |
| 10/01/2008 | 13 | Sean Gillespie | Lazy Graph Reduction and abstract machines |
| 09/30/2008 | 18 | Ehud Lamm | Microsoft Oslo |
| 09/29/2008 | 4 | BigZaphod | Programming Languages Aren't |
| 09/29/2008 | 5 | disnesquick | Can function pointers be "fixed" |
| 09/29/2008 | 31 | marco | To CPS or not to CPS |
| 09/29/2008 | 22 | shap | Help with Mixfix in Bison? |
| 09/28/2008 | 14 | shap | Help with N-Ary functions? |
| 09/28/2008 | 1 | thorpe | Parallelism and threading as a programming model |
| 09/28/2008 | 4 | Daniel Roy | Workshop on Probabilistic Programming in December |
| 09/27/2008 | 3 | Ehud Lamm | JVM Language Summit report |
| 09/26/2008 | 8 | Chris Rathman | MISRA C++:2008 |
| 09/26/2008 | 4 | Peter McArthur | On a method of expressing by signs the action of machinery |
| 09/26/2008 | 11 | David N. Welton | Reia: Python/Ruby style language on top of Erlang |
| 09/24/2008 | 5 | johnwcowan | Multiple inheritance with a single global ordering of classes |
| 09/24/2008 | 9 | David Minor | haskell for gpu |
| 09/24/2008 | 8 | Carter Cheng | Security in FP |
| 09/23/2008 | 9 | marco | Specializing values in a functional language |
| 09/22/2008 | 5 | Brett Gibson | A graph puzzle |
| 09/22/2008 | 1 | Giovanni Deretta | Boost.Phoenix 2.0 review starts today, September 21st |
| 09/21/2008 | 5 | marco | Best way to interface with C/C++? |
| 09/21/2008 | 8 | Kay Schluehr | Intel Ct: C for Throughput Computing |
| 09/20/2008 | 10 | Ehud Lamm | Information regarding financial crisis |
| 09/20/2008 | 2 | Isaac Gouy | dependent-types linear-types 101 ? |
| 09/20/2008 | 6 | el-vadimo | beyond multi-methods |
| 09/20/2008 | 1 | Sean McDirmid | Are you feeling FOOLish? |
| 09/19/2008 | 8 | Wendell | Narrowing field of languages? |
| 09/19/2008 | 22 | Chris Rathman | Simon Peyton Jones Interview |
| 09/19/2008 | 8 | Charles Stewart | AgentSpeak(L): programming with beliefs, desires and intentions |
| 09/19/2008 | 18 | Jaroslav Tulach | Is API evolution of exceptions special? |
| 09/18/2008 | 4 | Denis Bredelet -jido | Slug Cola - Losing Big Is Easy |
| 09/18/2008 | 4 | Luke Gorrie | SourceIDE: A Semi-live Cross-development IDE for Cola |
| 09/18/2008 | 1 | vijay | My personal Scheme |
| 09/18/2008 | 11 | Alex Rubinsteyn | Genericity over tuples |
| 09/18/2008 | 2 | Ehud Lamm | General admin notes |
| 09/18/2008 | 5 | JaapSuter | Content Addressable Type Systems |
| 09/18/2008 | 1 | raould | Another multimedia dataflow programming system |
| 09/18/2008 | 2 | raould | another multi language learning/overview site |
| 09/17/2008 | 1 | Ehud Lamm | Verifiable Functional Purity in Java |
| 09/17/2008 | 1 | Kannan Goundan | A Java-like formalism for control flow analysis. |
| 09/17/2008 | 2 | mikestay | "Very linear" lambda calculus |
| 09/17/2008 | 15 | Tommy McGuire | The Transactional Memory / Garbage Collection Analogy |
| 09/16/2008 | 5 | markt | Is There a Standard Formalism for Describing Abstract Syntax Trees? |
| 09/16/2008 | 20 | Noel | Twilight of the GPU |
| 09/15/2008 | 55 | James Iry | First-class Macros |
| 09/15/2008 | 36 | John Stracke | Publishing negative results: single-assignment Lisp |
| 09/13/2008 | 1 | Ilya Mirman | Cilk++ (alpha) docs made public |
| 09/11/2008 | 66 | Ehud Lamm | Irresistible programs |
| 09/11/2008 | 3 | neelk | Coinductive proof principles for stochastic processes |
| 09/11/2008 | 5 | Andris Birkmanis | A Framework for Comparing Models of Computation |
| 09/10/2008 | 15 | James Iry | Polymorphic Algebraic Data Type Reconstruction |
| 09/10/2008 | 2 | S. Clover | Logic programming and finance |
| 09/08/2008 | 6 | shap | Sound and Complete Type Inference in BitC |
| 09/08/2008 | 5 | James Iry | Clojure's Approach to Identity and State |
| 09/07/2008 | 3 | Ehud Lamm | Phil Windley's DSL adventures |
| 09/06/2008 | 6 | cdiggins | ML Closure vs Scheme Closure |
| 09/06/2008 | 6 | happycow | Can Lambda do things like arrays and matrixs? If so how? |
| 09/05/2008 | 3 | Charles Stewart | Compiler Validation through Program Analysis |
| 09/04/2008 | 12 | Andris Birkmanis | Stock exchanges: language design aspect |
| 09/04/2008 | 1 | jlaw | Scala programming job in Odersky's lab in Lausanne, Switzerland |
| 09/04/2008 | 14 | jimdesu | doing letrec with lambdas |
| 09/03/2008 | 4 | James Iry | Communicating Scala Objects |
| 09/03/2008 | 3 | jayateerth4cpp | Avoid -if- in the LOG function |
| 09/02/2008 | 16 | James Iry | Unchecked Exceptions can be Strictly More Powerful than Call/CC |
| 09/02/2008 | 2 | ferada | suggestion navigation/html |
| 09/02/2008 | 7 | frencheneesz | Review of a potential pramming language: Lima |
| 09/01/2008 | 16 | Ehud Lamm | Google chrome |
| 09/01/2008 | 27 | Charles Stewart | Closures for C |
| 08/31/2008 | 11 | Brandon Niemczyk | What makes backreferences impossible in a DFA regular expressions evaluator? |
| 08/31/2008 | 2 | neelk | UpgradeJ: Incremental Typechecking for Class Upgrades |
| 08/30/2008 | 6 | neelk | Relational Parametricity and Units of Measure |
| 08/30/2008 | 8 | Kannan Goundan | Should nested types capture type parameters? |
| 08/29/2008 | 6 | Denis Bredelet -jido | Distributed/Parallel language semantics |
| 08/28/2008 | 27 | Lj | Is COBOL really understandable after 14 years. |
| 08/27/2008 | 9 | Ehud Lamm | From Writing and Analysis to the Repository: Taking the Scholars' Perspective on Scholarly Archiving |
| 08/27/2008 | 11 | James Iry | Towards Hard Real-Time Erlang |
| 08/26/2008 | 13 | Ehud Lamm | Real-Time Concurrent Issues Drive Ada versus Java Choice |
| 08/26/2008 | 12 | solamim | Haskell for AI? |
| 08/25/2008 | 5 | Ashley McNeile | Is it a Programming Language? |
| 08/24/2008 | 35 | Jaroslav Tulach | Languages ready for API Evolution |
| 08/22/2008 | 1 | Tim Chevalier | Design Concepts in Programming Languages |
| 08/22/2008 | 6 | numerodix | type derivation for 'map map', yelp |
| 08/22/2008 | 3 | Alexandre Richer | Ada, C, C++, and Java vs. The Steelman |
| 08/22/2008 | 8 | raould | How to do E/DSLs successfully? |
| 08/21/2008 | 11 | robmeyers | Looking for an auto-lifting language. |
| 08/20/2008 | 7 | Jules Jacobs | Error Messages in Dynamically Typed Languages |
| 08/20/2008 | 24 | Douglas McClean | Languages without operator precedence |
| 08/20/2008 | 13 | msimoni | Features of Common Lisp |
| 08/20/2008 | 23 | Allan McInnes | In Praise of Scripting: Real Programming Pragmatism |
| 08/19/2008 | 12 | Jason Dusek | OPIS -- Distributed Arrows In O'Caml |
| 08/17/2008 | 5 | Ehud Lamm | Mozilla "Ubiquity" |
| 08/15/2008 | 1 | Daniel Yokomizo | Proceedings of the 2008 LLVM Developers' Meeting |
| 08/15/2008 | 14 | AtariFan | output language for new statically typed language? |
| 08/14/2008 | 12 | Chris Rathman | JavaScript harmony |
| 08/13/2008 | 4 | Tommy McGuire | Continuation Fest 2008 |
| 08/12/2008 | 6 | raould | Staapl: Forth on Scheme for embedded controllers |
| 08/12/2008 | 12 | Wendell | Text Processing by Functional Language? |
| 08/11/2008 | 28 | Erik Meijer | Programming Language Beauty: Look Closure |
| 08/09/2008 | 21 | K | Usefullness of constants |
| 08/08/2008 | 1 | Ehud Lamm | ESSLLI 2008 |
| 08/08/2008 | 20 | raould | Balancing the tension of dev vs. debug? |
| 08/08/2008 | 4 | Ehud Lamm | Differentiating regions |
| 08/07/2008 | 33 | Ehud Lamm | Patrick Logan on patterns |
| 08/06/2008 | 10 | Ehud Lamm | Lightweight Monadic Regions |
| 08/06/2008 | 4 | Erik Meijer | Mondrian is going to the museum |
| 08/05/2008 | 6 | shap | A Question Concerning Effect Types |
| 08/02/2008 | 13 | Chris Rathman | JOVIAL: Stand up Schwartz |
| 08/02/2008 | 11 | derekp | A subtle extention to Lisp-style macros |
| 08/01/2008 | 1 | Chris Rathman | Guy Steele on Programming Languages |
| 07/31/2008 | 7 | Chris Rathman | The Little Books in Oz |
| 07/30/2008 | 15 | Jason Dusek | Two Computers & An Ethernet Cable -- Also A Computer? |
| 07/29/2008 | 3 | malkarouri | Optimal Algorithm? |
| 07/28/2008 | 14 | naasking | Garbage Collection Representations |
| 07/28/2008 | 11 | Ehud Lamm | Happy Birthday, dear Lambda! |
| 07/28/2008 | 2 | lmeyerov | paper suggestions for some current topics |
| 07/27/2008 | 37 | Sean McDirmid | Beyond FRP: physics-inspired programming abstractions? |
| 07/26/2008 | 2 | David Piepgrass | A persistent AST for multi-purpose use? (Loyc) |
| 07/23/2008 | 14 | Douglas McClean | Type classes and type generator restrictions |
| 07/23/2008 | 6 | Charles Stewart | Practical Set Theory |
| 07/23/2008 | 28 | raould | FP in D 2.0 |
| 07/21/2008 | 14 | markt | What to do about comments? |
| 07/21/2008 | 7 | Ehud Lamm | A System to Understand Incorrect Programs |
| 07/21/2008 | 8 | Sean McDirmid | Functional reactive programming in C# for WPF |
| 07/20/2008 | 1 | Ehud Lamm | Partial vectorisation of Haskell programs |
| 07/19/2008 | 2 | dataangel | Language/Interface for a 5-button device |
| 07/18/2008 | 8 | msid | Effectiveness of C++ for scientific computing? |
| 07/18/2008 | 51 | Gregory Propf | Systems programming in languages other than C? |
| 07/18/2008 | 18 | Spencer Tipping | Multi-Artifact Languages |
| 07/17/2008 | 14 | Gregory Propf | Easiest language to make binding for? |
| 07/17/2008 | 8 | Charles Stewart | The Development of Intuitionistic Logic |
| 07/16/2008 | 50 | Eli Gottlieb | Practical Bits of Making a Compiler for a New Language |
| 07/15/2008 | 13 | James Iry | Ada, the Ultimate Lambda? |
| 07/15/2008 | 1 | cbogart | Help with study of functional programmers |
| 07/14/2008 | 1 | metaprogrammer | Lisp-like language for Domain Specific Languages prototyping |
| 07/14/2008 | 2 | topdotter | Creating a markup language compiler |
| 07/11/2008 | 17 | Søren Haagerup | In search for a programming language to replace spreadsheets. |
| 07/11/2008 | 12 | naasking | Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml |
| 07/10/2008 | 2 | neelk | ICFP contest starts tomorrow |
| 07/10/2008 | 7 | JamesJustinHarrell | Parser Generators Supporting Astral Characters |
| 07/10/2008 | 2 | Charles Stewart | Can reply to a post that one is previewing |
| 07/09/2008 | 5 | neelk | Functional Netlists |
| 07/09/2008 | 9 | Will Thimbleby | MISC: An experimental LISP-like language |
| 07/07/2008 | 4 | scottmcl | Of Generics and Erasure and, of all things, GC and memory layout |
| 07/05/2008 | 1 | Ehud Lamm | Lisp's 50th Birthday Celebration |
| 07/04/2008 | 20 | vieiro | Implementing fast interpreters |
| 07/03/2008 | 1 | fijal | PyPy's prolog-based JIT prototype |
| 07/01/2008 | 4 | neelk | Non-Deterministic Recursive Ascent Parsing |
| 07/01/2008 | 7 | Luke Gorrie | Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA |
| 06/29/2008 | 22 | Luke Gorrie | Hardware Design and Functional Programming: a Perfect Match |
| 06/29/2008 | 6 | Adrian Quark | type-checking programs with unknown types |
| 06/28/2008 | 34 | Ehud Lamm | The hits and misses of Microsoft |
| 06/28/2008 | 4 | Ehud Lamm | Historical map: round two, the fun begins |
| 06/27/2008 | 25 | Ehud Lamm | Request for participation |
| 06/27/2008 | 7 | scottmcl | Type system that can type list structure? |
| 06/26/2008 | 49 | Peter Van Roy | Why Multi-Core is Easy and Internet is Hard |
| 06/25/2008 | 29 | Chris Rathman | The A-Z of Programming Languages |
| 06/25/2008 | 2 | Jack Waugh | Implicitness in Syntaxes |
| 06/24/2008 | 2 | sur707 | PUSH programming language |
| 06/24/2008 | 1 | Ehud Lamm | Project Coverage |
| 06/23/2008 | 1 | James Iry | Lambda in the Sun - Southern California Functional Programmers |
| 06/23/2008 | 12 | naasking | Revisiting Coroutines |
| 06/23/2008 | 2 | Paul Snively | Update to "Parametric Higher-Order Abstract Syntax for Mechanized Semantics" |
| 06/22/2008 | 1 | drcode | FringeDC Programming Group Formal Meeting- July 12th, 6PM |
| 06/22/2008 | 34 | david yang | Writing a new language - ideas? |
| 06/20/2008 | 2 | Isaac Gouy | A Million Actors, Safe Zero-Copy Communication - for Java |
| 06/20/2008 | 7 | Erik Meijer | LASER Summerschool on Concurrency |
| 06/20/2008 | 37 | Noel | Scaling Type Inference |
| 06/20/2008 | 2 | Daniel Yokomizo | Computation and the Periodic Table |
| 06/20/2008 | 10 | Charles Stewart | Pure imperative programming |
| 06/18/2008 | 1 | yegor | Call for Papers: Symposium on Logical Foundations of Computer Science |
| 06/17/2008 | 6 | scottmcl | Higher-order type constructor polymorphism vs./and template style specialization |
| 06/17/2008 | 6 | hWnd | SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS? |
| 06/17/2008 | 6 | Sjoerd Visscher | Algebraic Data Types in JavaScript |
| 06/16/2008 | 1 | Erik Meijer | Volta Job Opportunities |
| 06/16/2008 | 1 | raould | Liquid Types |
| 06/16/2008 | 1 | Paul Snively | Parametric Higher-Order Abstract Syntax for Mechanized Semantics |
| 06/16/2008 | 8 | Janzo | Forex trading with functional programming |
| 06/15/2008 | 3 | cdiggins | Cat Interpreter in JavaScript with Turtle Graphics |
| 06/15/2008 | 3 | markt | Program Visualization: Flowchart Layout Algorithms? |
| 06/13/2008 | 63 | Ehud Lamm | Programming -- Principles and Practice Using C++ |
| 06/13/2008 | 17 | naasking | Preemptive concurrency via compiler-inserted checks |
| 06/12/2008 | 1 | Michael Vanier | PLT Scheme 4.0 released |
| 06/11/2008 | 37 | jdgallag | On the importance of Turing completeness |
| 06/11/2008 | 98 | mwand | Functional Programming in the ACM CS Curriculum |
| 06/10/2008 | 4 | jdgallag | using foldr to do map |
| 06/09/2008 | 3 | mikestay | What kind of a category is the blue calculus? |
| 06/08/2008 | 6 | Ehud Lamm | Back to the future |
| 06/07/2008 | 5 | James Iry | JVM Language Summit |
| 06/06/2008 | 1 | Tim Chevalier | 2008 ICFP Programming Contest |
| 06/06/2008 | 8 | killprogram | Our Own Little Language |
| 06/06/2008 | 7 | scottmcl | First class class objects, class vs. value namespaces, etc. |
| 06/05/2008 | 8 | happycow | help with understanding combinatory logic |
| 06/04/2008 | 7 | msimoni | Map-reduce-merge: simplified relational data processing on large clusters |
| 06/04/2008 | 7 | Leon P Smith | Comments can effect comments below them |
| 06/04/2008 | 4 | Ehud Lamm | Applied Proof Theory: Proof Interpretations and their Use in Mathematics |
| 06/02/2008 | 52 | scottmcl | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 06/02/2008 | 12 | Ehud Lamm | Dead-end theorems |
| 06/01/2008 | 30 | addmoreice | erlang green threads and the CLR |
| 06/01/2008 | 4 | raould | Continuation based I/O with referential trasparency (Hope+) ? |
| 06/01/2008 | 12 | bdenckla | what a type system always proves vs. what it can be made to prove |
| 05/30/2008 | 26 | Chris Rathman | Types Considered Harmful |
| 05/30/2008 | 4 | raould | "Recent Posts" functionality? |
| 05/30/2008 | 1 | jbfryman | ALTA 2008 - Call for Participation |
| 05/28/2008 | 4 | Basile STARYNKEVITCH | Metadebugging (i.e. founding metabugs) methodology. |
| 05/28/2008 | 17 | Daniel Yokomizo | Computational Thinking |
| 05/27/2008 | 6 | Scott Johnson | DSLs: Embedded, standalone, or both? |
| 05/27/2008 | 52 | Denis Bredelet -jido | Software complexity as means of professional advancement |
| 05/26/2008 | 2 | Jim Duey | Reasoned Schemer in Clojure |
| 05/23/2008 | 12 | jdgallag | Category theory in design |
| 05/20/2008 | 7 | neelk | Linear Logical Algorithms |
| 05/20/2008 | 9 | cjh | Polymorphic C |
| 05/20/2008 | 5 | Denis Bredelet -jido | Generic types |
| 05/18/2008 | 5 | Ehud Lamm | Processing.js |
| 05/17/2008 | 8 | naasking | Regions for Code GC? |
| 05/15/2008 | 5 | neelk | Logical Algorithms |
| 05/15/2008 | 6 | Denis Bredelet -jido | Hardwired polymorphism |
| 05/13/2008 | 17 | Chris Rathman | HOPL-III: A History of Erlang |
| 05/13/2008 | 1 | David B. Wildgoose | Erik Meijer and Bertrand Meyer - Objects, Contracts, Concurrency, Sleeping Barbers and Eiffel |
| 05/12/2008 | 7 | Ehud Lamm | Lambda, the Ultimate TA |
| 05/12/2008 | 26 | raould | Scala Lift Off Unconference review |
| 05/10/2008 | 9 | jflasseter | service course in logic and logic programming: crazy? |
| 05/09/2008 | 5 | raould | OO via first class enviroments: Bla |
| 05/09/2008 | 1 | Ehud Lamm | DryadLINQ |
| 05/08/2008 | 1 | drcode | FringeDC informal meeting Saturday May 10th |
| 05/07/2008 | 34 | Ehud Lamm | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 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 |
| 05/06/2008 | 8 | Ehud Lamm | Language geek at the Maker Faire |
| 05/05/2008 | 8 | neelk | Automatic Generation of Peephole Superoptimizers |
| 05/05/2008 | 7 | Charles Stewart | Arrows generalise monads and idioms |
| 05/04/2008 | 7 | Ehud Lamm | A located lambda calculus |
| 05/04/2008 | 3 | taral | Statistical Defect Detection? |
| 05/01/2008 | 4 | msimoni | COLA Brainfuck |
| 04/30/2008 | 14 | J Storrs Hall | programming languages and facial hair |
| 04/29/2008 | 7 | noisesmith | A Cybernetics DSL? |
| 04/29/2008 | 6 | Charles Stewart | Automatic Patch-Based Exploit Generation |
| 04/27/2008 | 4 | minhyuk | is there anybody knows about the origin "Dope Vector"? |
| 04/26/2008 | 23 | ajgargand | Is Halting Problem Valid for P? |
| 04/25/2008 | 3 | phoolimin | Dao 1.0 preview version is released |
| 04/25/2008 | 4 | Denis Bredelet -jido | Resume using continuations |
| 04/25/2008 | 19 | shlomif | 2nd Revision of "Thoughts about the Best Introductory Language" |
| 04/24/2008 | 9 | cdiggins | On Presenting Operational Semantics |
| 04/24/2008 | 1 | Antoine Reilles | Tom 2.6 released : matching constraints, strategic programming with java objects |
| 04/23/2008 | 16 | neelk | Species: making analytic functors practical for functional programming |
| 04/22/2008 | 4 | Denis Bredelet -jido | Un-filter (or merge) lists |
| 04/21/2008 | 63 | el-vadimo | program verification: the very idea |
| 04/21/2008 | 12 | Gal Amram | M.Sc thesis ideas on the intersection: Artificial intelligence, Category theory, and Programming languages. |
| 04/20/2008 | 2 | naasking | Flexible types: Robust type inference for first-class polymorphism |
| 04/20/2008 | 5 | naasking | FPH: First-class Polymorphism for Haskell |
| 04/20/2008 | 2 | cdiggins | HMF: Simple type inference for first-class polymorphism |
| 04/19/2008 | 2 | raould | YAJVML: Qi4j |
| 04/18/2008 | 33 | nobodysbusiness | Static Typing and Expressivity |
| 04/16/2008 | 3 | raould | another issue/question/hope re: layout |
| 04/16/2008 | 9 | naasking | Breaking region nesting in type-and-effect systems? |
| 04/15/2008 | 9 | naasking | Fan Programming Language |
| 04/15/2008 | 42 | Charles Stewart | The irreducible physicality of security properties |
| 04/15/2008 | 11 | el-vadimo | more power and less verbiage |
| 04/14/2008 | 3 | Matt Hellige | Algebra of programming using dependent types |
| 04/14/2008 | 1 | jbfryman | Extended Deadline - ALTA 2008 CFP |
| 04/14/2008 | 23 | jschuster | Career paths and concerns |
| 04/13/2008 | 5 | roberto | Applications of formal semantics |
| 04/13/2008 | 3 | scottmcl | Simple type system oriented question |
| 04/13/2008 | 2 | Ehud Lamm | Chris Crawford's 9 Breakthroughs |
| 04/11/2008 | 5 | neelk | Register Allocation by Proof Transformation |
| 04/11/2008 | 4 | Charles Stewart | Mechanizing the Metatheory of LF |
| 04/11/2008 | 1 | sdogood | Typing "let rec" |
| 04/10/2008 | 39 | cdiggins | Can local variables assignments be considered pure functional without monads? |
| 04/10/2008 | 1 | msimoni | Computing History at Bell Labs |
| 04/10/2008 | 5 | markt | Context free grammar for shapes in a 2d grid? |
| 04/09/2008 | 4 | Pablo Barenbaum | Minimal set of operators for APL/J like language |
| 04/08/2008 | 49 | Ehud Lamm | Safe and Secure Software in Ada |
| 04/07/2008 | 11 | Matt Hellige | Simply efficient functional reactivity |
| 04/07/2008 | 16 | Hank Thediek | Proving compositions |
| 04/07/2008 | 41 | grom358 | Static Analysis for Duck Typing |
| 04/07/2008 | 4 | msimoni | Scheme macro systems |
| 04/03/2008 | 16 | cdiggins | Rewriting rules for deducing properties of functions |
| 04/02/2008 | 32 | cdiggins | Erasmus: A Modular Language for Concurrent Programming |
| 04/02/2008 | 32 | Ehud Lamm | April 1st special: The War of the Worlds |
| 04/01/2008 | 4 | raould | trying to see forum+frontpage posts in order |
| 04/01/2008 | 3 | viergroupie | Overloading in a statically typed functional language |
| 03/30/2008 | 4 | el-vadimo | the power of GNU Awk |
| 03/29/2008 | 14 | el-vadimo | future history of logic programming |
| 03/28/2008 | 6 | Denis Bredelet -jido | This class type |
| 03/28/2008 | 4 | David Teller | Teaching oneself Abstract Interpretation ? |
| 03/28/2008 | 6 | raould | too much indentation solution? |
| 03/27/2008 | 1 | raould | Concurrent Composition and Algebras of Events, Actions, and Processes |
| 03/27/2008 | 1 | jbfryman | CFP: ALTA 2008 (Architectures and Languages for Throughput Applications) |
| 03/26/2008 | 12 | sanity | Ongoing work on Supercompilation of Java code (or supercompilation in general)? |
| 03/26/2008 | 2 | Winheim Raulsh | Constraint Imperative Programming |
| 03/25/2008 | 12 | billpage | Algebraist Network |
| 03/25/2008 | 1 | ekabanov | Typesafe DSLs in Java |
| 03/24/2008 | 1 | Rahul Nair | pLucid original interpreter available. |
| 03/23/2008 | 10 | Serguey Zefirov | Dependent Types, Generic Programming and Overloading. |
| 03/22/2008 | 24 | Ehud Lamm | CERT C Secure Coding Standard |
| 03/22/2008 | 1 | Allan McInnes | An Interview with Robin Milner |
| 03/22/2008 | 5 | neelk | SIGPLAN Workshop on Undergraduate Programming Language Curriculum |
| 03/21/2008 | 6 | Denis Bredelet -jido | Rhope a dataflow-based language |
| 03/21/2008 | 8 | Ehud Lamm | When Are Two Algorithms the Same? |
| 03/20/2008 | 14 | raould | Relational rather than hierarchical OO packaging? |
| 03/20/2008 | 9 | Daniel Yokomizo | The Disciplined Disciple Compiler |
| 03/20/2008 | 2 | AceKnocks | Replace heads function in Lisp |
| 03/20/2008 | 15 | Luke Gorrie | STEPS Toward The Reinvention of Programming: First Year Progress Report |
| 03/19/2008 | 17 | cdiggins | Role of Types in Evaluation Strategy |
| 03/16/2008 | 8 | qweasdzxc | Lisp creates lisp |
| 03/15/2008 | 58 | naasking | Higher-Order Programming without Closures? |
| 03/15/2008 | 1 | drcode | FringeDC Formal Meeting March 22nd at 1PM- Haskell Spectacular: XMonad, Zippers and More! |
| 03/13/2008 | 17 | JustinTrellis | Languages best suited for scientific computing? |
| 03/13/2008 | 16 | derekp | Variation of C's inline conditional |
| 03/12/2008 | 5 | fmstephe | Problematic data structure in functional language |
| 03/12/2008 | 1 | naasking | Writing practical memory management code with a strictly typed assembly language |
| 03/11/2008 | 13 | neelk | Eriskay: a Programming Language Based on Game Semantics |
| 03/11/2008 | 6 | Barun Mishra | New to FP |
| 03/10/2008 | 12 | Ravi Mohan | [Ask LTU] How to implement concurrent languages ? |
| 03/10/2008 | 5 | chihiro | Educational environments to learn programming |
| 03/10/2008 | 9 | bieberbrueder | C - header files |
| 03/07/2008 | 18 | cdiggins | Applied Metamodelling: A Foundation for Language Driven Development |
| 03/06/2008 | 14 | raould | Excel as a different programming paradigm |
| 03/05/2008 | 1 | Matt Hellige | Sliced Bananas On Opaque Data |
| 03/03/2008 | 7 | naasking | Uniqueness Typing Simplified |
| 03/03/2008 | 3 | dcuccia | Type-safe solution to the expression problem in C#? |
| 03/02/2008 | 125 | naasking | Confused Deputies in Programming Languages |
| 03/01/2008 | 10 | Matt Hellige | Help John Baez and Mike Stay! |
| 02/29/2008 | 9 | johnwcowan | Bell-LaPadula and type safety |
| 02/29/2008 | 5 | vc | Structural recursion on sets |
| 02/29/2008 | 4 | Ehud Lamm | Programmers At Work |
| 02/28/2008 | 8 | Matt Hellige | Data Types a la Carte |
| 02/28/2008 | 86 | BigZaphod | Is null needed? |
| 02/27/2008 | 6 | cjh | A Question about Overlap |
| 02/27/2008 | 19 | Ehud Lamm | Pure, Declarative, and Constructive Arithmetic Relations |
| 02/26/2008 | 25 | raould | exceptions again |
| 02/26/2008 | 10 | naasking | Chris Okasaki on Indentation Syntax |
| 02/26/2008 | 9 | Hank Thediek | Union types in Java? |
| 02/25/2008 | 5 | hhm | "Don't become a scientist" discussion at HN |
| 02/24/2008 | 9 | neelk | Foundations for Structured Programming with GADTs |
| 02/24/2008 | 6 | Daniel Yokomizo | Software Craftsmanship: Apprentice to Journeyman |
| 02/24/2008 | 4 | vishal | Why functional programming matters |
| 02/24/2008 | 1 | Ehud Lamm | New Members |
| 02/24/2008 | 12 | vishal | Learning language design |
| 02/24/2008 | 4 | roy_hu | Please help find a paper/tutorial |
| 02/22/2008 | 2 | Tony Clark | XMF 2.0 Open Source |
| 02/22/2008 | 8 | Matt M | Why isn't every front page item on the discussions page? |
| 02/21/2008 | 1 | frostytrees | TinyML - Lexer, Parser, Interpreter, and Polymorphic Type Checker in Under 700 Lines of SML |
| 02/21/2008 | 5 | Mike McClurg | Can we start an LtU group on CiteULike? |
| 02/20/2008 | 8 | Thomas Danecker | A modular toolchain for parsing and compiling code? |
| 02/19/2008 | 28 | neelk | When Is A Functional Program Not A Functional Program? |
| 02/19/2008 | 1 | Ehud Lamm | History of Lambda-Calculus and Combinatory logic |
| 02/19/2008 | 91 | Matt Hellige | Gilad Bracha: Cutting out Static |
| 02/18/2008 | 9 | George Morrison | Uniform naming |
| 02/17/2008 | 47 | Curtis W | succinctness |
| 02/16/2008 | 2 | Robert Sexmith | 1667 State Machine John Milton |
| 02/15/2008 | 7 | Ethan Aubin | PL Related Blogs |
| 02/14/2008 | 22 | Anon K. Adderlan | Recursive Algorithms that cannot be expresses with Tail-Recursion? |
| 02/14/2008 | 4 | raould | Java the language vs. Java the ecosystem |
| 02/13/2008 | 8 | Ehud Lamm | The little b language: shared models built from reusable parts |
| 02/13/2008 | 5 | msimoni | MACLISP Manual Comes To The Web |
| 02/13/2008 | 2 | bonzinip | Sake = Rake for Smalltalk |
| 02/11/2008 | 19 | naasking | Lisaac: The power of simplicity at work for operating systems |
| 02/10/2008 | 5 | raould | Qis of the Future |
| 02/08/2008 | 10 | Chris Okasaki | 10 Years of Purely Functional Data Structures |
| 02/07/2008 | 17 | raould | Lanugages with built-in rules/tests? |
| 02/07/2008 | 18 | raould | Leaning how to judge the right tool for the job? |
| 02/06/2008 | 1 | drcode | FringeDC informal meeting Saturday Feb 9th |
| 02/06/2008 | 12 | Ehud Lamm | Project LambdaCan |
| 02/06/2008 | 1 | msimoni | New OMeta-related material |
| 02/06/2008 | 18 | falcon | time as a first class value? |
| 02/06/2008 | 12 | David Minor | Does anyone know of work done on co-data-types? |
| 02/05/2008 | 4 | cdiggins | Jumbala : An Action Language for UML State Machines |
| 02/05/2008 | 9 | Winheim Raulsh | Jura, a OOMP language and potential DBMS |
| 02/05/2008 | 26 | cdiggins | Signals in an OOPL |
| 02/05/2008 | 29 | raould | Latest usability for polymorphism? |
| 02/04/2008 | 5 | Ben L. Titzer | Adding Concurrent Constructs to a Language with State |
| 02/03/2008 | 42 | David Ryan | Languages and data conversions. |
| 02/03/2008 | 9 | birchb | Announcement: Genyris Language |
| 02/03/2008 | 1 | cdiggins | Kermeta Programming Language |
| 02/03/2008 | 8 | darkmage35@hotmail.com | FL programming language |
| 02/01/2008 | 29 | cjh | A name for this form of variable capture? |
| 02/01/2008 | 2 | neelk | Relating Complexity and Precision in Control Flow Analysis |
| 02/01/2008 | 8 | nick cameron | Barendregt's Convention |
| 01/31/2008 | 22 | Laurent Bruter | Don't try FP in industry! |
| 01/31/2008 | 1 | Yaron Minsky | OCaml Summer Project |
| 01/30/2008 | 65 | Ehud Lamm | Arc is released |
| 01/30/2008 | 4 | chihiro | Correct mathematical symbol to represent "subtype" |
| 01/30/2008 | 5 | chihiro | (noob question) method parameters in co-and-contravariance issue |
| 01/30/2008 | 6 | Tim Daly Jr. | Interesting old gem: Prop does pattern matching in C++ |
| 01/29/2008 | 21 | Paul Snively | The YNot Project |
| 01/28/2008 | 1 | Gavin Mendel-Gleason | Cyclic Proofs for First-Order Logic with Inductive Definitions |
| 01/28/2008 | 3 | neelk | A Model for Formal Parametric Polymorphism: A PER Interpretation for System R |
| 01/27/2008 | 6 | Justin Love | Fortress Presentation |
| 01/26/2008 | 30 | diegoeche | VM's... What's the best? |
| 01/26/2008 | 2 | Greg Buchholz | Axioms and Theorems for a Theory of Arrays |
| 01/26/2008 | 3 | n29 | Question from Pierce's Types and Programming Languages |
| 01/26/2008 | 14 | raould | Really un-mutable Scheme |
| 01/25/2008 | 3 | Ehud Lamm | WaveScript |
| 01/25/2008 | 2 | neelk | Recycling Continuations |
| 01/24/2008 | 23 | raould | Embedded concurrent FPish languages? |
| 01/23/2008 | 9 | Matthieu Sozeau | Type-safe printf using delimited continuations, in Coq |
| 01/22/2008 | 78 | Scott Johnson | How useful is reflection, anyway? |
| 01/22/2008 | 4 | alix | Induction of variadic functions, functions over tuples, etc. |
| 01/22/2008 | 3 | alix | Numbers in Smalltalk |
| 01/22/2008 | 33 | Ehud Lamm | The Design and Implementation of Typed Scheme |
| 01/22/2008 | 18 | cdiggins | Compile-Time Execution in an Object Oriented Language |
| 01/20/2008 | 2 | Derek Elkins | The Logic of Proofs |
| 01/19/2008 | 1 | Arbiter | Looking for experienced help |
| 01/19/2008 | 6 | naasking | The Worst Monad Tutorial... Except For All Those Others. |
| 01/18/2008 | 21 | raould | Impact of OO language style on code |
| 01/18/2008 | 4 | raould | Open5G web app language/system |
| 01/17/2008 | 3 | rossjudson | Bret Victor's Substroke |
| 01/17/2008 | 2 | hardaez | I Need some one help me in C programming.? |
| 01/17/2008 | 1 | cha0s | FreeBASIC |
| 01/17/2008 | 3 | raould | XL back in the limelight? |
| 01/16/2008 | 27 | Thomas Lord | Flower: a new way to write web services |
| 01/16/2008 | 9 | Nathan Sobo | Treetop: Packrat Parser Generator for Ruby |
| 01/16/2008 | 5 | Ehud Lamm | ACM Classic Books Series |
| 01/16/2008 | 1 | raould | what is GVScript? |
| 01/16/2008 | 3 | Ehud Lamm | SimCity Source Code Released |
| 01/15/2008 | 17 | Jack Waugh | Ruby vs. Smalltalk |
| 01/15/2008 | 12 | el-vadimo | beyond programming languages |
| 01/14/2008 | 34 | Winheim Raulsh | Understanding category theory and its practical applications |
| 01/12/2008 | 2 | raould | Parallel skeleton libs review? |
| 01/10/2008 | 4 | Allan McInnes | Engineering Formal Metatheory |
| 01/09/2008 | 2 | Ehud Lamm | EOPL3 |
| 01/08/2008 | 77 | Ehud Lamm | Prediction for 2008 |
| 01/08/2008 | 1 | Mark Dalgarno | ANN: Final Call for Speakers - Code Generation 2008 |
| 01/08/2008 | 4 | Daniel Yokomizo | Call-by-value Termination in the Untyped Lambda-calculus |
| 01/08/2008 | 84 | Ehud Lamm | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/08/2008 | 23 | Ehud Lamm | Io |
| 01/07/2008 | 12 | Curtis W | The Land of the Terminal |
| 01/07/2008 | 6 | Andris Birkmanis | Featherweight JavaScript? |
| 01/07/2008 | 8 | chihiro | (newbie question) Covariance and contravariance |
| 01/04/2008 | 4 | raould | Early vs. late binding dogma/experiences? |
| 01/04/2008 | 17 | Andris Birkmanis | J&: Nested Intersection for Scalable Software Composition |
| 01/04/2008 | 14 | Ehud Lamm | Open Multi-Methods for C++ |
| 01/03/2008 | 9 | Ehud Lamm | The worker/wrapper transformation |
| 01/03/2008 | 5 | Ehud Lamm | Why Did Symbolics Fail? |
| 12/31/2007 | 3 | drcode | FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software |
| 12/31/2007 | 20 | Srikumar Subramanian | Protium .. |
| 12/28/2007 | 9 | markt | Process Algebras: Whats the point? |
| 12/28/2007 | 1 | naasking | ML Modules in C# |
| 12/28/2007 | 11 | Andris Birkmanis | Nested Schedulers: A Tree Is Not Enough? |
| 12/27/2007 | 5 | Paul Snively | Theorem proving support in programming language semantics |
| 12/27/2007 | 3 | kaveh.shahbazian | Module Level Purity |
| 12/26/2007 | 2 | szobatudos | PLT online? |
| 12/20/2007 | 4 | Matt Hellige | Generics of a Higher Kind |
| 12/20/2007 | 2 | Matt Hellige | A Dialogue on Infinity |
| 12/18/2007 | 11 | vieiro | Concurrency with Scheme |
| 12/18/2007 | 6 | n29 | Anyone read: Semantics with Applications: by Nielson and Nielson? |
| 12/17/2007 | 10 | Ehud Lamm | Closing the Stage: From Staged Code to Typed Closures |
| 12/12/2007 | 2 | M Sandin | Table Tool System |
| 12/12/2007 | 40 | Ehud Lamm | Avi Bryant: Ruby IS-A Smalltalk |
| 12/12/2007 | 21 | Ehud Lamm | CUFP write-up |
| 12/11/2007 | 15 | Eric J Schwarzenbach | Origin of the term Multimethod |
| 12/11/2007 | 12 | Charles Stewart | S has a left inverse |
| 12/10/2007 | 28 | neelk | Computation Orchestration: A Basis for Wide-Area Computing |
| 12/08/2007 | 81 | Jason Dusek | functions, statements, expressions |
| 12/07/2007 | 5 | Jason Dusek | Haskell, Turned Up To Eleven |
| 12/07/2007 | 44 | RobJellinghaus | A Growable Language Manifesto |
| 12/06/2007 | 5 | ilSignorCarlo | Weak normalisation theorem for typed lambda-calculus |
| 12/06/2007 | 12 | Ehud Lamm | How to write your next POPL paper in Coq |
| 12/05/2007 | 21 | Erik Meijer | Democratizing the Cloud using Microsoft Live Labs Volta |
| 12/05/2007 | 103 | Givas | poll: syntax |
| 12/05/2007 | 7 | rmlinden | Connecting the first steps |
| 12/05/2007 | 4 | naasking | Joe-E TechTalk |
| 12/04/2007 | 7 | Tommy McGuire | Concurrency: The Compiler Writer's Perspective |
| 12/04/2007 | 8 | SamK | Subtext 2 Video |
| 12/04/2007 | 7 | Ehud Lamm | Parametric datatype-genericity |
| 12/04/2007 | 3 | Ehud Lamm | DySy: Dynamic Symbolic Execution for Invariant Inference |
| 12/03/2007 | 1 | Bryan O Sullivan | Parsimony Principles for Software Components and Metalanguages |
| 12/03/2007 | 20 | naasking | Quantifying the Performance of Garbage Collection vs. Explicit Memory Management |
| 12/02/2007 | 28 | naasking | Monadic and Substructural Type Systems for Region-Based Memory Management |
| 12/02/2007 | 2 | doublec | Evolutionary Programming and Gradual Typing in ECMAScript 4 |
| 11/29/2007 | 12 | alix | foundations for J, APL etc |
| 11/29/2007 | 11 | Ehud Lamm | Logic for Philosophy |
| 11/28/2007 | 13 | raould | Clojure |
| 11/26/2007 | 5 | James W Hofmann | What have I created? |
| 11/26/2007 | 6 | ilSignorCarlo | Derivation trees for lambda-calculus |
| 11/26/2007 | 3 | Paul Snively | OCaml Light: A Formal Semantics For a Substantial Subset of the Objective Caml Language |
| 11/25/2007 | 15 | naasking | A survey and discussion of taming effects |
| 11/24/2007 | 5 | Ehud Lamm | The Carnap Programming Language |
| 11/20/2007 | 5 | Noel | Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach |
| 11/20/2007 | 81 | Ehud Lamm | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/19/2007 | 94 | kaveh.shahbazian | What are the properties of "Functional Programming Languages"? |
| 11/17/2007 | 11 | Marc Hamann | Well-typed programs can't be blamed |
| 11/17/2007 | 1 | alix | Including life-cycle processes for generated code in a pi-compiler |
| 11/15/2007 | 15 | Ehud Lamm | David Pollak on lift |
| 11/14/2007 | 4 | Ehud Lamm | PLT Redex operational semantics for Scheme |
| 11/12/2007 | 5 | Anton van Straaten | Generative Code Specialisation for High-Performance Monte Carlo Simulations |
| 11/12/2007 | 3 | Charles Stewart | CSLI lecture notes made freely available |
| 11/10/2007 | 1 | neelk | NEXCEL, a Deductive Spreadsheet |
| 11/10/2007 | 8 | Ehud Lamm | Caja: Capability Javascript |
| 11/07/2007 | 5 | Luke Gorrie | Idioms for Composing Games with Etoys |
| 11/07/2007 | 8 | Luke Gorrie | Squeaky Tales |
| 11/06/2007 | 41 | Akhilesh Mritunjai | Universal Type System |
| 11/06/2007 | 1 | drcode | FringeDC Informal Meeting Saturday Nov 10 |
| 11/06/2007 | 27 | Matt Hellige | Dependent Classes |
| 11/06/2007 | 5 | Dave Herman | ECMAScript Edition 4 and Backwards Compatibility |
| 11/05/2007 | 1 | neelk | Natural Deduction for Intuitionistic Non-Commutative Linear Logic |
| 11/03/2007 | 5 | Ehud Lamm | On the origins of Bisimulation, Coinduction, and Fixed Points |
| 11/02/2007 | 5 | neelk | Online Learning of Relaxed CCG Grammars for Parsing to Logical Form |
| 10/29/2007 | 2 | luke | [ANN]: Open Quark Framework for Java, version 1.7.0 released |
| 10/29/2007 | 31 | dataangel | PL research & grad schools? |
| 10/29/2007 | 16 | Ehud Lamm | Technometria: Google Web Toolkit |
| 10/27/2007 | 17 | paul_butcher | Searching for a quote |
| 10/26/2007 | 2 | manolya | hi about scheme programming language.... |
| 10/25/2007 | 63 | Ehud Lamm | Gödel, Nagel, minds and machines |
| 10/25/2007 | 4 | Mark Hoemmen | PRNG tutorial: request for comments |
| 10/25/2007 | 3 | Gavin Mendel-Gleason | Co-Logic Programming |
| 10/25/2007 | 11 | sciomako | On DSL, Smalltalk and FP |
| 10/25/2007 | 8 | Thomas Lord | XQuery language design issues |
| 10/24/2007 | 143 | naasking | On the Importance of Purity |
| 10/24/2007 | 3 | angchanyy | Different results in the unit root test. Why? |
| 10/24/2007 | 16 | Mario B. | The simplest mechanism with Turing-equivalent power to date ... |
| 10/23/2007 | 1 | Ehud Lamm | On One-Pass CPS Transformations |
| 10/23/2007 | 2 | Matt Hellige | Anybody at OOPSLA? |
| 10/22/2007 | 6 | Sriram Srinivasan | In Honor of Per Brinch Hansen (1938-2007) |
| 10/22/2007 | 68 | doublec | ECMAScript 4 overview paper |
| 10/21/2007 | 1 | falcon | Microsoft and PLT |
| 10/21/2007 | 2 | Ehud Lamm | Engineering Software Correctness |
| 10/19/2007 | 1 | Mark Dalgarno | [ANN] Call for Speakers - Code Generation 2008 |
| 10/19/2007 | 23 | msimoni | The End of an Architectural Era (It's Time for a Complete Rewrite) |
| 10/19/2007 | 5 | dbfaken | ErlOCaml |
| 10/18/2007 | 16 | Pinku Surana | Any multi-threaded interpreters? |
| 10/18/2007 | 1 | neelk | Privacy and Contextual Integrity: Framework and Applications |
| 10/17/2007 | 4 | msimoni | binpac: A yacc for Writing Application Protocol Parsers |
| 10/16/2007 | 4 | Isaac Gouy | Learning Programming with Erlang |
| 10/14/2007 | 19 | Isaac Gouy | grammars as a shared executable specification for language processing tools |
| 10/12/2007 | 3 | Peter J. Wasilko | Morphic in your Browser |
| 10/12/2007 | 2 | daYZman | Object level unification |
| 10/10/2007 | 118 | Luke Flemmer | Examples of large-scale functional language projects |
| 10/09/2007 | 2 | Isaac Gouy | Functional Programming - A Secret Weapon for Software Testing - John Hughes |
| 10/07/2007 | 1 | Rafael | Google Tech Talk on the CMU Natural Programming Project |
| 10/07/2007 | 38 | Allan McInnes | It's Time to Stop Calling Circuits "Hardware" |
| 10/05/2007 | 60 | Hank Thediek | Computing is a Natural Science |
| 10/05/2007 | 3 | Thomas Lord | Introducing the XQVM programming language. |
| 10/04/2007 | 5 | neelk | Derivation and Evaluation of Concurrent Collectors |
| 10/03/2007 | 3 | michael-fig | COLA and Open, extensible object models |
| 10/03/2007 | 13 | Chris Rathman | The Manticore Project |
| 09/30/2007 | 22 | Ehud Lamm | Leave of absence |
| 09/28/2007 | 18 | neelk | Witnessing Side-Effects |
| 09/27/2007 | 1 | neelk | Shape Analysis with Structural Invariant Checkers |
| 09/27/2007 | 12 | msimoni | OMeta: an Object-Oriented Language for Pattern Matching |
| 09/27/2007 | 11 | erich | FPGA CPUs |
| 09/27/2007 | 1 | Rohan Hart | Implicit Ownership Types for Memory Management |
| 09/26/2007 | 4 | Isaac Gouy | Pascal-P compiler annotated text |
| 09/25/2007 | 3 | bend | STM is which kind of concurrency? |
| 09/24/2007 | 6 | Chris Rathman | The Future(s) |
| 09/24/2007 | 14 | Ehud Lamm | OLPC to sell to public |
| 09/24/2007 | 28 | Ehud Lamm | Tim Bray and Erlang |
| 09/24/2007 | 1 | luke | [ANN]: Open Quark Framework for Java, version 1.6.1 released |
| 09/23/2007 | 4 | Ehud Lamm | Fair cooperative multithreading, or: Typing termination in a higher-order concurrent imperative language |
| 09/22/2007 | 4 | Ehud Lamm | Code Splitting for Network Bound Web 2.0 Applications |
| 09/21/2007 | 7 | sciomako | Which Journals/Conferences to keep track of? |
| 09/19/2007 | 3 | mental | Allowing Unsafe Rules in Datalog? |
| 09/19/2007 | 10 | ilSignorCarlo | Lambda Calculus: fixed point theorem help |
| 09/19/2007 | 9 | SamK | Decayed Memoization |
| 09/18/2007 | 1 | drcode | FringeDC Formal Meeting 1PM Saturday Sept 22nd |
| 09/18/2007 | 24 | Chris Rathman | Binary Lambda Calculus and Combinatory Logic |
| 09/18/2007 | 30 | kaveh.shahbazian | Uniqueness Types Instead STM |
| 09/17/2007 | 6 | soapdog | On creating an ad hoc assembly interpreter to aid studying |
| 09/16/2007 | 15 | renaud | Online video course on monads |
| 09/14/2007 | 5 | cdiggins | Reconstructing Abstractions |
| 09/14/2007 | 3 | mohan_vbh | Stutter Invariance |
| 09/13/2007 | 51 | Ehud Lamm | Minimal FORTH compiler and tutorial |
| 09/13/2007 | 9 | Ingo Wechsung | Extending HM type inference -- would this be possible? Or even desirable? |
| 09/13/2007 | 6 | cdiggins | Compositional type systems for stack-based low-level languages |
| 09/12/2007 | 14 | Ehud Lamm | DivaScheme |
| 09/11/2007 | 16 | sciomako | Question about the Monad associativity law |
| 09/10/2007 | 1 | Ehud Lamm | Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus |
| 09/08/2007 | 1 | Isaac Gouy | Compile-time meta-programming in Metalua and Converge |
| 09/08/2007 | 7 | viergroupie | Generating useful errors in a functional stream parser |
| 09/07/2007 | 2 | Tiark Rompf | [ANN] Vodka: Join concurrency, multimethods and generators (thesis project) |
| 09/07/2007 | 1 | Anton van Straaten | Zipper as Insecticide |
| 09/06/2007 | 1 | Ehud Lamm | Jon Udell on CoScripter |
| 09/06/2007 | 6 | echinuz | Examples of Categorical Semantics for Languages with Dependent Types |
| 09/05/2007 | 71 | sciomako | Q: Modularizing SQL? |
| 09/04/2007 | 2 | Ehud Lamm | Squeak by Example |
| 09/04/2007 | 24 | Ehud Lamm | Tagless Staged Interpreters for Simpler Typed Languages |
| 09/03/2007 | 13 | Ehud Lamm | Rob Pike on Concurrency and Message passing in Newsqueak |
| 09/03/2007 | 2 | jurgenv | CFP: 8th international workshop on Language Descriptions, Tools and Applications (LDTA 2008) |
| 09/02/2007 | 13 | Ehud Lamm | No Name: Just Notes on Software Reuse |
| 09/01/2007 | 21 | Andris Birkmanis | Escape from Zurg: An Exercise in Logic Programming |
| 09/01/2007 | 1 | Ehud Lamm | Lifting Abstract Interpreters to Quantified Logical Domains |
| 09/01/2007 | 3 | Derek Elkins | The work of Atsushi Ohori |
| 08/30/2007 | 1 | luke | ANN: Open Quark (CAL language) 1.6 Released |
| 08/29/2007 | 2 | Ehud Lamm | Barker & Szabolcsi: New directions for proof theory in linguistics |
| 08/29/2007 | 36 | Noel | R6RS Validated |
| 08/29/2007 | 10 | Andris Birkmanis | History of causes as object identity |
| 08/29/2007 | 1 | SamK | Simon Peyton-Jones Haskell Video |
| 08/28/2007 | 1 | Ehud Lamm | Establishing Object Invariants with Delayed Types |
| 08/27/2007 | 60 | Hank Thediek | What is a state? |
| 08/25/2007 | 6 | olwe | Fogotten Book Title |
| 08/25/2007 | 7 | Andris Birkmanis | A functional correspondence between evaluators and abstract machines |
| 08/25/2007 | 2 | Andris Birkmanis | VamOz: Visual Abstract Machine for Oz |
| 08/25/2007 | 13 | Ehud Lamm | D Programming Language Conference |
| 08/25/2007 | 4 | neelk | Theory and Practice of Constraint Handling Rules |
| 08/24/2007 | 6 | neelk | Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators |
| 08/24/2007 | 7 | paddy3118 | Duck Typing advocated where? |
| 08/23/2007 | 22 | Isaac Gouy | An Accidental Simula User, Luca Cardelli |
| 08/22/2007 | 2 | Isaac Gouy | Newspeak, an experimental language in the style of Smalltalk |
| 08/22/2007 | 4 | neelk | Status Report: HOT Pickles, and how to serve them |
| 08/22/2007 | 7 | Michael Stone | Declarative Assembler |
| 08/22/2007 | 6 | kaveh.shahbazian | Thread-safe Singleton in C# |
| 08/21/2007 | 6 | Ehud Lamm | Commercial Users of Functional Programming 2007 |
| 08/21/2007 | 1 | neelk | Taming the IXP network processor |
| 08/19/2007 | 64 | Peter Van Roy | Diagram showing all programming paradigms and their relationships |
| 08/19/2007 | 4 | Attila Szegedi | Nu - new LISP like language atop of Objective-C |
| 08/19/2007 | 1 | neelk | User-level transactional programming in Haskell |
| 08/18/2007 | 14 | cjh | A question on free variable capture. |
| 08/17/2007 | 8 | neelk | Compiling with Continuations, Continued |
| 08/17/2007 | 24 | sciomako | Tools for (PhD) Researching |
| 08/16/2007 | 8 | neelk | Analyzing the Environment Structure ofHigher-Order Languages using Frame Strings |
| 08/16/2007 | 2 | msimoni | (Alice ML + monads - value cells) > Haskell? |
| 08/16/2007 | 9 | sciomako | Type Theories |
| 08/15/2007 | 2 | neelk | Validity Invariants and Effects |
| 08/15/2007 | 4 | Greg Buchholz | Metaobject protocols: Why we want them and what else they can do |
| 08/14/2007 | 1 | neelk | Morphing: Safely Shaping a Class in the Image of Others |
| 08/14/2007 | 7 | Kay Schluehr | Skipping C - SPE and synthetic programming in Python |
| 08/14/2007 | 1 | Koray Can | Computing Kazhdan-Lusztig-Vogan Polynomials for E8 |
| 08/13/2007 | 8 | Ehud Lamm | Google Python Sprint 2007 |
| 08/13/2007 | 4 | Ehud Lamm | LtU beer party - Jerusalem |
| 08/13/2007 | 15 | neelk | Metaprogramming with Traits |
| 08/12/2007 | 8 | neelk | Generational Real-time Garbage Collection |
| 08/12/2007 | 30 | javiadip | creating my own programming language |
| 08/11/2007 | 33 | neelk | Garbage Collection Without Paging |
| 08/10/2007 | 1 | neelk | Relationally-Parametric Polymorphic Contracts |
| 08/10/2007 | 2 | cookiez | Good real world example on map/reduce/filter |
| 08/09/2007 | 2 | Ehud Lamm | JVM Languages group |
| 08/09/2007 | 4 | neelk | Guaranteed Optimization |
| 08/08/2007 | 29 | Ehud Lamm | Ralph Johnson: Erlang, the next Java |
| 08/08/2007 | 8 | Ehud Lamm | Experience Report: Scheme in Commercial Web Application Development |
| 08/08/2007 | 3 | Ehud Lamm | Domain-Specific Aspect Languages |
| 08/08/2007 | 5 | neelk | Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams |
| 08/07/2007 | 6 | naasking | Unifying functions and functors |
| 08/07/2007 | 5 | neelk | Resources, Concurrency and Local Reasoning |
| 08/06/2007 | 11 | Andris Birkmanis | Apache Camel routing rules: a DSL? |
| 08/06/2007 | 1 | neelk | Realization of natural language interfaces using lazy functional programming |
| 08/03/2007 | 6 | naasking | First-class Polymorphism |
| 08/03/2007 | 16 | Ehud Lamm | Amazon Flexible Payments Service |
| 08/02/2007 | 20 | tbull | Syntactic abstraction? (newbie question) |
| 08/01/2007 | 12 | jimdesu | continuations and trampolining |
| 08/01/2007 | 59 | kaveh.shahbazian | Monad Description For Imperative Programmer |
| 07/31/2007 | 4 | Philippa Cowderoy | The Karmasphere DP language |
| 07/30/2007 | 1 | lancewalton | Jedi |
| 07/30/2007 | 2 | Dominic Fox | Extending Java with Yield |
| 07/28/2007 | 12 | Peter A Jonsson | Testing first year programming students |
| 07/28/2007 | 34 | Ehud Lamm | LtU turns 7: The year of spam |
| 07/27/2007 | 17 | Andris Birkmanis | Seam from PLT perspective |
| 07/25/2007 | 12 | Isaac Gouy | Comprehensions with ‘Order by' and ‘Group by' |
| 07/24/2007 | 10 | Max | Apocalypse - the empire strikes back |
| 07/24/2007 | 1 | Scott Johnson | Scientific Method: Relationships among scientific paradigms |
| 07/24/2007 | 4 | Ehud Lamm | Liskell |
| 07/22/2007 | 15 | Isaac Gouy | Wrapping the Cloud with .NET |
| 07/22/2007 | 5 | Ehud Lamm | Lambda: The Semantics Tool |
| 07/22/2007 | 12 | kaveh.shahbazian | Instantiation of classes in wrong place leads to wrong structures ... (reminder) |
| 07/22/2007 | 3 | Jeffrey Winter | Questions on an improved CPS mechanism for JavaScript |
| 07/21/2007 | 17 | Ehud Lamm | Best LtU humour |
| 07/21/2007 | 35 | Isaac Gouy | Language Nirvana - Simon Peyton-Jones |
| 07/20/2007 | 3 | Ehud Lamm | Joe Armstrong DDJ interview |
| 07/20/2007 | 3 | neelk | ICFP contest in progress! |
| 07/18/2007 | 39 | Ehud Lamm | Or is it now? |
| 07/14/2007 | 67 | kaveh.shahbazian | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/14/2007 | 1 | Isaac Gouy | iTasks: Defining Interactive Work Flows for the Web |
| 07/14/2007 | 11 | vputz | Current "best books on FP"? |
| 07/13/2007 | 8 | Philippa Cowderoy | AngloHaskell 2007 - date and venue confirmed |
| 07/13/2007 | 3 | Jason Dusek | ErlCaml |
| 07/12/2007 | 15 | OleKristensen | Type inference for free? |
| 07/12/2007 | 2 | Antoine Reilles | Tom 2.5 released: the way to do pattern matching in Java |
| 07/11/2007 | 27 | Ehud Lamm | A Natural Axiomatization of Church's Thesis |
| 07/11/2007 | 1 | Rob Zinkov | Pretty Printers for Lightweight static Types |
| 07/11/2007 | 8 | Ehud Lamm | Lambda Animator |
| 07/10/2007 | 17 | Chris Rathman | HOPL-III: Statecharts in the Making |
| 07/09/2007 | 15 | cdiggins | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
| 07/09/2007 | 36 | Greg Buchholz | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 07/09/2007 | 5 | Allan McInnes | The PIllars of Concurrency |
| 07/09/2007 | 3 | Charles Stewart | Theorem proving support in programming language semantics |
| 07/09/2007 | 2 | Ehud Lamm | Multiscale Scheduling, Integrating Competitive and Cooperative Parallelism in Theory and in Practice |
| 07/09/2007 | 7 | Denis Bredelet -jido | Why Events Are A Bad Idea (for high-concurrency servers) |
| 07/09/2007 | 2 | skaller | Extensible Languages |
| 07/09/2007 | 2 | J Storrs Hall | Cilk, OpenMP, or what? |
| 07/07/2007 | 56 | Isaac Gouy | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 07/06/2007 | 6 | stevechy | Tail call experiment |
| 07/06/2007 | 4 | Nathan Sobo | Question regarding relationship of propositional logic to category theory |
| 07/06/2007 | 3 | Chris Rathman | HOPL-III: Modula-2 and Oberon |
| 07/05/2007 | 1 | Ehud Lamm | Designing High-Security Systems: A Comparison of Programming Languages |
| 07/04/2007 | 28 | Denis Bredelet -jido | Asynchronous calls and error handling |
| 07/02/2007 | 10 | Albert Graef | Q tutorial |
| 07/02/2007 | 7 | Ehud Lamm | .NET-oriented metaprogramming framework for rapid compiler development |
| 07/02/2007 | 1 | Stefan Holdermans | Registration for the 10th ICFP Programming Contest is open |
| 07/02/2007 | 27 | Robert Pickering | Good Language Design Principals for Scripting Languages |
| 07/01/2007 | 6 | Andris Birkmanis | Branching affordance? |
| 06/30/2007 | 3 | Andris Birkmanis | CLL: A Concurrent Language Built from Logical Principles |
| 06/29/2007 | 47 | raould | Forth in hardware ("not dead yet") |
| 06/29/2007 | 3 | Luke Gorrie | CMU AI repository |
| 06/29/2007 | 9 | cjh | The feasability of Haskell in Scheme |
| 06/29/2007 | 18 | Luke Gorrie | Thinking Forth & Starting Forth |
| 06/28/2007 | 17 | Anton van Straaten | Haskell web store |
| 06/28/2007 | 9 | raould | Language lifecycle? |
| 06/27/2007 | 3 | raould | Simple ADT-based "side-band" state? |
| 06/27/2007 | 13 | Ehud Lamm | Singularity: Rethinking the Software Stack |
| 06/25/2007 | 4 | sidhu | The dream of Church and Curry realized? |
| 06/25/2007 | 11 | cdiggins | Fully Inferable Languages |
| 06/24/2007 | 20 | Isaac Gouy | Pirahã living-in-the-present language |
| 06/24/2007 | 10 | Isaac Gouy | Language Support for Fast and Reliable Message-based Communication |
| 06/22/2007 | 49 | Barak A. Pearlmutter | Standing on each others' feet |
| 06/21/2007 | 7 | Chris Rathman | HOT Pickles |
| 06/20/2007 | 4 | neelk | Application-specific foreign-interface generation |
| 06/20/2007 | 20 | chrisseaton | Katahdin: Modifying your programming language as it runs |
| 06/20/2007 | 37 | Mark Evans | Python 3000 Status Update |
| 06/19/2007 | 8 | Mark Evans | Python in Pardus Linux |
| 06/18/2007 | 37 | bieberbrueder | PLs and large scale development |
| 06/16/2007 | 2 | luke | ANN: Open Quark Framework for Java (CAL Language) 1.5.0 |
| 06/15/2007 | 6 | Achilleas Margaritis | automatic program parallelization for multicore cpus as a software problem |
| 06/15/2007 | 8 | rhat | What next? |
| 06/14/2007 | 22 | raould | Distributed Objects vs. Messaging |
| 06/13/2007 | 24 | dorait | Carnap Programming Language |
| 06/12/2007 | 1 | Ehud Lamm | C++ Historical Sources Archive |
| 06/12/2007 | 11 | neelk | Derivatives of Regular Expressions |
| 06/10/2007 | 2 | sean | WTF: A DSL for hand-written 4-function calculators |
| 06/09/2007 | 8 | Ehud Lamm | Solving a Sudoku with one SQL-statement |
| 06/09/2007 | 8 | Ehud Lamm | User names |
| 06/08/2007 | 55 | Dave Herman | ECMAScript Edition 4 Reference Implementation |
| 06/08/2007 | 2 | neelk | A Functional Description of TeX's Formula Layout |
| 06/08/2007 | 4 | James Hague | Evaluating High-Level Distributed Language Constructs |
| 06/07/2007 | 10 | Derek Elkins | Trickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility |
| 06/05/2007 | 53 | Chris Rathman | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/04/2007 | 12 | sigfpe | Partial evaluation applied to high speed lighting preview |
| 06/04/2007 | 15 | cdiggins | Typed callcc in a stack-based language |
| 06/03/2007 | 5 | johnwcowan | How the Chicken Scheme compiler works |
| 06/03/2007 | 12 | Jason Dusek | Merging Functions, Modules, Classes, the whole nine yards... |
| 06/02/2007 | 7 | Ehud Lamm | Automated Whitebox Fuzz Testing |
| 06/02/2007 | 9 | Alan Eliasen | IM IN UR COMPUTER, HAXIN UR CODE |
| 06/02/2007 | 1 | Oleg | CONTEXT07. Delimited contexts in OS |
| 06/01/2007 | 2 | Daniel Zingaro | Correctness of Parsers |
| 05/30/2007 | 101 | chinu | "Practical" advantages of lazy evaluation |
| 05/30/2007 | 4 | naasking | Near-Concrete Program Interpretation |
| 05/30/2007 | 3 | neelk | Type-sensitive control-flow analysis |
| 05/27/2007 | 6 | Chris Rathman | Lambda in C# 3.0 |
| 05/26/2007 | 1 | magnus | Nested data parallelism in Haskell (video) |
| 05/25/2007 | 1 | polux | Tom: Piggybacking rewriting on java |
| 05/25/2007 | 7 | Ahnfelt | Does these constructs solve the expression problem? |
| 05/24/2007 | 10 | cdiggins | Currying != Generalized Partial Application?! |
| 05/24/2007 | 3 | Charles Stewart | Synthetic Computability |
| 05/24/2007 | 7 | Ehud Lamm | Festschrift for John C Reynolds's 70th Birthday |
| 05/23/2007 | 2 | J Storrs Hall | Error messages |
| 05/23/2007 | 3 | raould | DbC + OPascal == Chrome |
| 05/23/2007 | 10 | raould | Picky libraries, picky languages? |
| 05/23/2007 | 2 | bos | Real-World Haskell, the book |
| 05/23/2007 | 32 | chinu | function overriding workaround in dynamically typed languages |
| 05/22/2007 | 1 | cdiggins | [ANN] Cat v0.14 and MetaCat Programming Languages |
| 05/21/2007 | 1 | Philippa Cowderoy | AngloHaskell 2007 |
| 05/21/2007 | 1 | Excalibor | Functional Programs as Linked Data |
| 05/20/2007 | 11 | Kay Schluehr | What is a "domain specific language"? |
| 05/19/2007 | 53 | Luke Gorrie | Social Processes and Proofs of Theorems and Programs |
| 05/19/2007 | 12 | MarkM | Delegating Responsibility in Digital Systems: Horton's "Who Done It?" |
| 05/18/2007 | 4 | shlomif | [Meta] Bad Usability Problems in LtU |
| 05/17/2007 | 14 | cdiggins | What's in a name: eval vs apply. |
| 05/17/2007 | 2 | Ehud Lamm | Offline discussions |
| 05/16/2007 | 1 | const | [ANN] AsyncObjects Framework (Java) |
| 05/16/2007 | 2 | Stephen Taylor | Two lectures at the British Computer Society in Covent Garden on Friday 18 May |
| 05/14/2007 | 20 | raould | How to make the static represent the dynamic? |
| 05/14/2007 | 2 | Ehud Lamm | Local Reasoning for Storable Locks and Threads |
| 05/11/2007 | 4 | naasking | Expressing usage constraints within the language |
| 05/11/2007 | 2 | Isaac Gouy | checking oo code against detailed specs |
| 05/10/2007 | 4 | neelk | Pickler Combinators |
| 05/10/2007 | 31 | segphault | Sun's new JavaFX Script language |
| 05/09/2007 | 2 | eeide | CFP: PLOS གྷ: 4th Workshop on Programming Languages and Operating Systems |
| 05/09/2007 | 6 | rossjudson | F3 is now openjfx |
| 05/09/2007 | 24 | Ehud Lamm | LC for kids (alligators, oh my!) |
| 05/09/2007 | 37 | Charles Stewart | "The language of the future is javascript" |
| 05/09/2007 | 1 | Andris Birkmanis | Foundations Of Temporal Query Languages |
| 05/09/2007 | 3 | neelk | The PLT Scheme weblog |
| 05/07/2007 | 3 | cdiggins | Type-Safe Casts |
| 05/07/2007 | 1 | Isaac Gouy | Formalizing and extending C# type inference |
| 05/07/2007 | 1 | drcode | FringeDC Informal Meeting- May 12th, 6PM |
| 05/06/2007 | 7 | Ehud Lamm | The Expression Problem Revisited |
| 05/06/2007 | 3 | Ehud Lamm | The expression problem, Scandinavian style |
| 05/06/2007 | 2 | Anton van Straaten | PLAI in print |
| 05/05/2007 | 2 | Derek Elkins | Functional Pearls |
| 05/04/2007 | 2 | procyon | Point free pi calculus |
| 05/03/2007 | 5 | neelk | Towards efficient, typed LR parsers |
| 05/03/2007 | 11 | pantagruel | Rules of good declarative language design |
| 05/03/2007 | 26 | jsnx | Functional Object-Oriented Programming |
| 05/03/2007 | 4 | Ehud Lamm | Combining Total and Ad Hoc Extensible Pattern Matching in a Lightweight Language Extension |
| 05/02/2007 | 20 | lambdatheory | SICP picture |
| 05/02/2007 | 53 | mansu | Is Integer wrapping an exceptional condition? |
| 05/02/2007 | 85 | Sean McDirmid | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/02/2007 | 20 | Sean McDirmid | Dynamic interactivity in Mathematica 6 |
| 05/01/2007 | 2 | David Minor | Rubato - Composing Music with Functorials |
| 04/30/2007 | 6 | Noel | AutoBayes -- A DSL For Bayesian Networks |
| 04/30/2007 | 79 | Wouter Swierstra | The Monad.Reader |
| 04/27/2007 | 3 | luke | Open Quark (CAL language) 1.4.0 Released |
| 04/25/2007 | 39 | Anton van Straaten | Arc in action (a.k.a. it's aliiiiive!) |
| 04/25/2007 | 7 | Chris Perkins | Google Tech Talk: Phil Gosset discusses parametric polymorphism and girard-reynolds isomorphism |
| 04/24/2007 | 3 | Scott Johnson | Asynchronous sequential processes/Theory of Distributed Objects? |
| 04/24/2007 | 1 | neelk | Decidability of Higher Order Matching |
| 04/23/2007 | 2 | Daniel Ehrenberg | Formalizing a minimal subset of concatenative languages |
| 04/22/2007 | 22 | Anton van Straaten | Almost invisible upgrade |
| 04/21/2007 | 21 | Chung-chieh Shan | From abstract interpretation to small-step typing |
| 04/20/2007 | 3 | cdiggins | Modular Verification of Assembly Code with Stack-Based Control Abstractions |
| 04/20/2007 | 43 | gueven | Why is there not a PL with a mathematical type system? |
| 04/20/2007 | 2 | Charles Stewart | Light Logics and Optimal Reduction |
| 04/20/2007 | 10 | Chris Rathman | Church's Thesis and Functional Programming |
| 04/19/2007 | 6 | Oliver Mooney | Actors vs. Reactive Objects |
| 04/16/2007 | 8 | falcon | Easylanguage: domain specific language for trading stocks |
| 04/16/2007 | 19 | Paul Snively | Course on Interactive Computer Theorem Proving Based on Coq |
| 04/15/2007 | 2 | Jeff Nowakowski | Personal messages |
| 04/14/2007 | 19 | Ehud Lamm | Twitter and Rails brouhaha |
| 04/14/2007 | 1 | Ehud Lamm | Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ |
| 04/14/2007 | 8 | Charles Stewart | PCF and LCF |
| 04/13/2007 | 1 | neelk | A Logic for Parametric Polymorphism |
| 04/13/2007 | 149 | shlomif | Thoughts about the Best Introductory Language |
| 04/13/2007 | 1 | Chris Rathman | HOPL-III: The Development of the Emerald Programming Language |
| 04/12/2007 | 3 | Brandon Moore | Stream Fusion |
| 04/11/2007 | 1 | cdiggins | Inferring Types for Higher Order Instructions in Stack Languages |
| 04/11/2007 | 4 | neelk | The Structure and Value of Modularity in Software Design |
| 04/11/2007 | 1 | Isaac Gouy | High Performance and Generality - Functional Programming |
| 04/10/2007 | 4 | neelk | RZ: a tool for bringing constructive and computable mathematics closer to programming practice |
| 04/09/2007 | 3 | naasking | Extensible Pattern Matching via a Lightweight Language |
| 04/08/2007 | 3 | Luke Gorrie | A Temporal Logic Language for Context Awareness in Pointcuts |
| 04/08/2007 | 7 | kaveh.shahbazian | "Declarative" or "Functional" |
| 04/07/2007 | 1 | grant | F# 1.9.1 released |
| 04/07/2007 | 4 | Jim Apple | Early Programming Languages (A Logic Puzzle) |
| 04/07/2007 | 11 | Jim Apple | Cforall |
| 04/07/2007 | 4 | Jim Apple | Yesno |
| 04/07/2007 | 2 | Jim Apple | Aldor going open source |
| 04/07/2007 | 38 | Hank Thediek | Deliverable code? |
| 04/07/2007 | 19 | cdiggins | Why can't you push instructions in MSIL/JVML |
| 04/05/2007 | 3 | neelk | Putting functional database theory into practice: NixOS |
| 04/04/2007 | 5 | technophobicgeek | Generators/Iterators and lazy evaluation |
| 04/04/2007 | 1 | Paul Snively | Verifying Semantic Type Soundness of a Simple Compiler |
| 04/03/2007 | 2 | yaxu | Live coding festival and conference |
| 04/02/2007 | 4 | Peter Scott | Good parallel algorithms books? |
| 04/02/2007 | 1 | neelk | Towards a Mechanized Metatheory of Standard ML |
| 04/02/2007 | 11 | Jacques Carette | Interactivity considered harmful |
| 04/02/2007 | 11 | cdiggins | Terminology: Thunking vs Quoting |
| 04/01/2007 | 3 | William Davis | Defining Types not as Classes but as Mathematical Sets |
| 04/01/2007 | 9 | Anton van Straaten | Mutable variables eliminated from .NET |
| 03/31/2007 | 4 | Gavin Mendel-Gleason | Putting functional database theory into practice: NixOS |
| 03/30/2007 | 1 | Chris Rathman | HaMLet-S and Successor ML |
| 03/28/2007 | 27 | Anton van Straaten | Expect New Major Language Within Five Years |
| 03/28/2007 | 5 | James Hague | Tangible Functional Programming |
| 03/28/2007 | 7 | chinu | LALR grammar of C++ |
| 03/27/2007 | 4 | Derek Elkins | Type Directed Concurrency |
| 03/26/2007 | 8 | raould | Mapping language style to ancillary issues? |
| 03/26/2007 | 11 | Ehud Lamm | R6RS Ratification |
| 03/25/2007 | 2 | Ehud Lamm | Paul Cohen has died |
| 03/24/2007 | 7 | cdiggins | Functions shouldn't be lists, functions should be cast to lists |
| 03/23/2007 | 2 | Koray Can | Have to spell out Standard ML from now on... |
| 03/23/2007 | 36 | Sean McDirmid | Living it up with a Live Programming Language |
| 03/23/2007 | 22 | Matt Hellige | No Ifs, Ands, or Buts |
| 03/22/2007 | 36 | Paul Snively | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/22/2007 | 14 | Paul Snively | A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language |
| 03/21/2007 | 8 | neelk | The New Twelf Wiki |
| 03/21/2007 | 1 | Ehud Lamm | The new Ada is officially published |
| 03/21/2007 | 8 | Matt Hellige | A Topos Foundation for Theories of Physics |
| 03/20/2007 | 1 | pasalic | GPCEགྷ Call for Papers |
| 03/20/2007 | 4 | cdiggins | Abstract Data Type Usage Analysis |
| 03/20/2007 | 10 | Carlos Scheidegger | John Backus has passed away |
| 03/19/2007 | 4 | derekp | Question on categorizing a language |
| 03/17/2007 | 2 | Pat | Tracing in DrScheme |
| 03/16/2007 | 5 | neelk | An Intensional Type Theory: Motivation and Cut-Elimination |
| 03/16/2007 | 10 | naasking | Virgil: Objects on the Head of a Pin |
| 03/16/2007 | 1 | drcode | Washington DC- FringeDC Haskell/Scheme Presentation March 24th |
| 03/15/2007 | 12 | Jeff Nowakowski | Subject headings |
| 03/15/2007 | 6 | Ehud Lamm | Google Summer of Code |
| 03/15/2007 | 12 | Jack Waugh | Syntax Solicited for Imperative-flavored Concurrent Language with Keywords |
| 03/14/2007 | 4 | Ehud Lamm | Separation Logic courses (Reynolds) |
| 03/14/2007 | 1 | cdiggins | Typing a Functional Stack-Based Language |
| 03/13/2007 | 27 | James Hague | Pico Lisp: A Case for Minimalist Interpreters? |
| 03/13/2007 | 1 | neelk | Scalable Statistical Bug Isolation |
| 03/13/2007 | 8 | Ehud Lamm | Order of the Science Scouts Badges |
| 03/12/2007 | 9 | Jacques Carette | CFP: Programming Languages for Mechanized Mathematics Workshop |
| 03/12/2007 | 16 | Ehud Lamm | Piraha Exceptionality: a Reassessment |
| 03/12/2007 | 9 | Ehud Lamm | Beautiful Code: Leading Programmers Explain How They Think |
| 03/12/2007 | 7 | Paul Snively | Concoqtion: Indexed Types Now! |
| 03/12/2007 | 14 | Noel | The Current Practical Limit of Static Typing |
| 03/12/2007 | 5 | Brent Fulgham | XMLisp: Ingenous, or Monstrous? |
| 03/10/2007 | 5 | Bret Victor | Intel Research PL Seminar Series |
| 03/10/2007 | 22 | Ehud Lamm | What's up with Lua? |
| 03/10/2007 | 3 | neelk | Expressing Heap-shape Contracts in Linear Logic |
| 03/10/2007 | 12 | Ehud Lamm | Gilad Bracha on tuples |
| 03/09/2007 | 1 | Ehud Lamm | CrossTalk: Secure Coding Standards |
| 03/09/2007 | 10 | J Storrs Hall | Automatic Programming |
| 03/08/2007 | 4 | neelk | Static Typing for a Faulty Lambda Calculus |
| 03/08/2007 | 4 | dbfaken | Blending static and dynamic typing |
| 03/08/2007 | 11 | Ehud Lamm | Lightweight static resources |
| 03/07/2007 | 4 | dbfaken | Metalua |
| 03/07/2007 | 2 | ashish_normica | Suse 9.3, vc++, automated buid |
| 03/06/2007 | 39 | SamK | Implementation Inheritance |
| 03/05/2007 | 32 | Luke Gorrie | Kourier is now live |
| 03/04/2007 | 4 | MTaylor | How to Evaluate Lambda Expressions |
| 03/03/2007 | 5 | neelk | Propositions as [Types] |
| 03/02/2007 | 20 | cdiggins | Non-Applicative Functional Languages |
| 03/01/2007 | 11 | Dave Lopez | "Recent Post" funkiness |
| 02/27/2007 | 9 | Ehud Lamm | Ed Felten: Why Understanding Programs is Hard |
| 02/26/2007 | 2 | James Hague | Finite State Machines in Forth |
| 02/26/2007 | 18 | jaylac | MapReduce |
| 02/26/2007 | 3 | cdiggins | [Req. for Comments] Cat: A Typed Functional Stack-Based Language |
| 02/25/2007 | 12 | Holgly Morgan | Behaviour Diffing |
| 02/25/2007 | 1 | Derek Elkins | An Analytical Approach to Programs as Data Objects |
| 02/25/2007 | 27 | Luke Gorrie | On the fact that the Atlantic Ocean has two sides |
| 02/24/2007 | 23 | Luke Gorrie | The Computer Revolution Hasn't Happened Yet |
| 02/24/2007 | 26 | phoolimin | Dao, a new programming language |
| 02/24/2007 | 8 | Holgly Morgan | Literature on recovering grammars? |
| 02/23/2007 | 7 | Marcin Stefaniak | How do you call such a design pattern |
| 02/23/2007 | 6 | Ehud Lamm | Real Haskell projects query |
| 02/22/2007 | 6 | James Hague | Actors that Unify Threads and Events |
| 02/21/2007 | 13 | Will Byrd | DanFest 2004 videos online |
| 02/21/2007 | 14 | caustic | Types vs classes: what is the difference? |
| 02/21/2007 | 4 | neelk | Using Category Theory to Design Implicit Conversions and Generic Operators |
| 02/20/2007 | 7 | cdiggins | Effects in Types |
| 02/20/2007 | 3 | cmcknight | LISP implementation for mobile phones? |
| 02/20/2007 | 8 | neelk | The Design and Implementation of a Dataflow Language for Scriptable Debugging |
| 02/19/2007 | 2 | Ehud Lamm | Shape analysis for composite data structures |
| 02/19/2007 | 20 | Zombywuf | Dimensional analysis typing |
| 02/18/2007 | 16 | Hank Thediek | Automata-Based Programming |
| 02/18/2007 | 2 | Dave Bauer | Has anyone commented on Combined Object-Lambda Architectures? |
| 02/17/2007 | 4 | smclemon | Unexpected lisp setf behaviour |
| 02/16/2007 | 13 | Jeff Cutsinger | Lisp webcomic |
| 02/15/2007 | 11 | neelk | Lowering: A Static Optimization Technique for Transparent Functional Reactivity |
| 02/15/2007 | 7 | marco | How to teach Functional Programming... in Flash??? |
| 02/14/2007 | 1 | Mark Dalgarno | [ANN] Code Generation 2007 Programme available |
| 02/14/2007 | 19 | Dave Herman | Threads in JavaScript? |
| 02/13/2007 | 31 | Brent Fulgham | Regular Expression Matching Can Be Simple And Fast |
| 02/13/2007 | 33 | skaller | Easy to learn and use |
| 02/12/2007 | 5 | neelk | Lightweight Fusion by Fixed Point Promotion |
| 02/12/2007 | 2 | Matt Hellige | Gradual Typing for Objects |
| 02/12/2007 | 2 | Greg Buchholz | Automatic termination proofs for programs with shape-shifting heaps |
| 02/12/2007 | 32 | Peter Van Roy | Almost everything happened in the Golden Age, right? |
| 02/11/2007 | 8 | Ehud Lamm | 50 years of “Syntactic Structures” |
| 02/11/2007 | 23 | J Storrs Hall | Reactive Programming |
| 02/10/2007 | 1 | neelk | The Missing Link - Dynamic Components for ML |
| 02/10/2007 | 1 | Niels Hoogeveen | Complex networks and human language |
| 02/10/2007 | 3 | Ehud Lamm | The Landscape of Parallel Computing Research: A View from Berkeley |
| 02/09/2007 | 15 | orbitz | Better language tools |
| 02/09/2007 | 3 | ggaughan | A relational language extension for Python |
| 02/09/2007 | 15 | tomlu | Seeking suggestions on how to unify the environment, free variables, and current activation record for closures |
| 02/08/2007 | 11 | raould | SMP Erlang vs. Haskell vs. ML |
| 02/08/2007 | 1 | Niels Hoogeveen | Type-Level Computation Using Narrowing in Omega |
| 02/08/2007 | 99 | Ehud Lamm | Patrick Logan on Software Transaction Memory |
| 02/08/2007 | 2 | vintermann | Compile time garbage collection |
| 02/07/2007 | 1 | raould | Embedded ML? |
| 02/07/2007 | 3 | luke | Open Quark (CAL language) available under BSD-style license |
| 02/07/2007 | 4 | Daniel Yokomizo | Proving the correctness of reactive systems using sized types |
| 02/06/2007 | 1 | raould | Iterative contract development? |
| 02/06/2007 | 25 | James Hague | Programming Shorthands |
| 02/06/2007 | 6 | Ehud Lamm | ACM Queue: Realtime Garbage Collection |
| 02/06/2007 | 2 | neelk | Programming Parallel Algorithms |
| 02/06/2007 | 27 | Wolf Logan | Opinions on _Theoretical Introduction to Programming_? |
| 02/06/2007 | 1 | Kannan Goundan | Stronger relationships between structures |
| 02/05/2007 | 34 | neelk | Termination Checking with Types |
| 02/05/2007 | 2 | BigBear | OpenGL |
| 02/05/2007 | 1 | shrijoshi24 | How to decide the direction of program analysis? |
| 02/04/2007 | 5 | Jim Apple | State of the Union: Type Inference via Craig Interpolation |
| 02/03/2007 | 6 | dbmcclain | Discussion of the Design and Use of NML |
| 02/03/2007 | 4 | Jim Apple | RZ for Constructive Mathematics in Programming |
| 02/02/2007 | 6 | neelk | Separation Logic: A Logic for Shared Mutable Data Structures |
| 02/02/2007 | 63 | Isaac Gouy | Steps Toward The Reinvention of Programming |
| 02/02/2007 | 2 | Ehud Lamm | Jean Ichbiah passes away |
| 02/02/2007 | 14 | Anton van Straaten | Meta-Compilation of Language Abstractions |
| 02/02/2007 | 2 | Ehud Lamm | On Decidability of Nominal Subtyping with Variance |
| 02/01/2007 | 7 | Ehud Lamm | Generic Programming, Now! |
| 01/31/2007 | 9 | Max | brainstorming dataflow language visualizations |
| 01/31/2007 | 6 | cdiggins | [RFC] Cat: A Typed Functional Stack Based Language |
| 01/31/2007 | 16 | MTaylor | Want to do undergraduate research, but CS dept is weak... |
| 01/31/2007 | 15 | neelk | First Class Relationships in an Object-oriented Language |
| 01/31/2007 | 6 | Peter J. Wasilko | The Accessibility of PL Research Papers on Mobile Devices |
| 01/30/2007 | 10 | Jeremiah | Looking for extra-basic reference on PL theory |
| 01/30/2007 | 1 | grust | PLAN-X 2007: Proceedings available for download |
| 01/29/2007 | 53 | Pavel Minaev | What is a "fully featured closure"? Request for comments. |
| 01/28/2007 | 4 | neelk | Pasquale Malacaria, "Assessing Security Threats of Looping Constructs" |
| 01/27/2007 | 10 | Ehud Lamm | Ralf Lammel: Stop dysfunctional programming |
| 01/27/2007 | 1 | Ehud Lamm | Programming the Greedy CAM Machine |
| 01/25/2007 | 1 | Boyko Bantchev | ''The Paradigms of Programming'' online |
| 01/23/2007 | 36 | Greg Buchholz | Total Functional Programming |
| 01/23/2007 | 1 | Paul Snively | Ott--a tool for writing definitions of programming languages and calculi. |
| 01/22/2007 | 9 | grant | Software Composability and the Future of Languages |
| 01/21/2007 | 13 | Luke Gorrie | LCA2007: Concurrency and Erlang |
| 01/21/2007 | 10 | msimoni | Compiling tail-calls to simple C? |
| 01/20/2007 | 13 | dough | F3: New statically typed scripting language for java |
| 01/20/2007 | 16 | seancharles | Have I Missed Something ? |
| 01/19/2007 | 14 | Anton van Straaten | Scheme: Second R6RS draft published |
| 01/19/2007 | 9 | Andris Birkmanis | Locus Solum: From the rules of logic to the logic of rules |
| 01/19/2007 | 1 | Chris Rathman | HOPL-III: The Evolution of Lua |
| 01/18/2007 | 3 | James Hague | Interactive Haskell Documents |
| 01/17/2007 | 1 | thgibbs | Extracting Queries by Static Analysis of Transparent Persistence |
| 01/17/2007 | 4 | uchchwhash | Great Expectations: Java Virtual Machine |
| 01/16/2007 | 4 | Scott Johnson | SPAM report |
| 01/16/2007 | 1 | pate | Will Rubinius be an Acceptable Lisp |
| 01/16/2007 | 2 | Lucius Gregory Meredith | Help with a little geometric hackery... |
| 01/15/2007 | 2 | Andris Birkmanis | Beauty in the Beast |
| 01/15/2007 | 5 | Noel | Annotated POPL 2007 Program |
| 01/13/2007 | 22 | Ehud Lamm | Ninety-nine Lisp Problems |
| 01/12/2007 | 18 | tlareywi | Intellisense for dynamic languages |
| 01/12/2007 | 7 | A B Carter | Finding Landin's "The Mechanical Evaluation of Expressions" |
| 01/12/2007 | 4 | cdiggins | On Presenting the Semantics of Cat Formally |
| 01/11/2007 | 6 | Chris Rathman | Berkeley Webcast Courses |
| 01/11/2007 | 26 | Denis Bredelet -jido | Call by push-value |
| 01/10/2007 | 1 | drcode | FringeDC Informal Meeting- Jan 13th |
| 01/10/2007 | 186 | szobatudos | Why people don't use functional programming? |
| 01/09/2007 | 1 | Matt Hellige | Preliminary Fortress Interpreter |
| 01/09/2007 | 14 | dbfaken | Interlanguage Migration: From Scripts to Programs |
| 01/08/2007 | 1 | Lucius Gregory Meredith | Proofs and puddings -- or, how pure is the pure lambda calculus, pt 3 |
| 01/08/2007 | 5 | Daniel Slaney | Eta-expansion of abstractions outside the lambda-calculus |
| 01/08/2007 | 3 | Andris Birkmanis | Extending the Multilisp Sponsor Model |
| 01/07/2007 | 2 | Andris Birkmanis | A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations |
| 01/06/2007 | 1 | AlpT | A Web of Code |
| 01/06/2007 | 26 | Ehud Lamm | Simon Peyton Jones: Beautiful concurrency |
| 01/06/2007 | 19 | uchchwhash | I want to learn Smalltalk |
| 01/05/2007 | 10 | JamesLitsios | Are Frames and Slots anything more that OO with a different name? |
| 01/05/2007 | 8 | Ehud Lamm | Charming Python: Decorators make magic easy |
| 01/04/2007 | 16 | Matt Hellige | Matching Objects With Patterns |
| 01/04/2007 | 16 | Andris Birkmanis | Can referential transparency be bad? (puzzle included) |
| 01/03/2007 | 2 | David Medlock | D 1.0 finally released |
| 01/03/2007 | 19 | Andris Birkmanis | Derivatives and dissections of data types |
| 01/03/2007 | 4 | Greg Buchholz | Missing style for <quote>? |
| 01/03/2007 | 2 | procyon | Type inference and unification algorithms |
| 01/02/2007 | 1 | stevechy | Notes on category theory and the pi calculus |
| 01/02/2007 | 17 | akravets | Lambda The Ultimate comes to SecondLife |
| 01/02/2007 | 7 | Matteo | Question About Computational Complexity |
| 01/02/2007 | 3 | Andris Birkmanis | Survey of delay constructs in logic/constraint PLs? |
| 01/01/2007 | 79 | Luke Gorrie | Why numbering should start at 0 |
| 12/31/2006 | 7 | John DeTreville | "Limits to implicit parallelism in functional application" |
| 12/31/2006 | 3 | Robbert van Dalen | Postfix lambdas |
| 12/31/2006 | 16 | johnnyb | Metrics for Programmatic Complexity? |
| 12/27/2006 | 3 | Lucius Gregory Meredith | Reference and reasoning -- or, how pure is the pure lambda calculus, part 2 |
| 12/26/2006 | 19 | Brent Fulgham | AgentSheets: End-User Programing (and Secret Lisp Success Story!) |
| 12/26/2006 | 7 | Graven | Theme styles |
| 12/25/2006 | 3 | dmstat1 | GAs v. GPs |
| 12/25/2006 | 12 | Ehud Lamm | More Haskell in Java 7 or 8? |
| 12/24/2006 | 13 | A B Carter | Question about closures and higher-order functions |
| 12/24/2006 | 1 | Hank Thediek | Understanding State |
| 12/23/2006 | 4 | Ehud Lamm | Seymour Papert injured in traffic accident |
| 12/23/2006 | 3 | Ehud Lamm | Data Parallel Haskell: a status report |
| 12/23/2006 | 1 | Ehud Lamm | Public service announcement: "LtU Books" In India |
| 12/23/2006 | 2 | Ehud Lamm | The Joins Concurrency Library |
| 12/23/2006 | 11 | Lucius Gregory Meredith | Quotation and evaluation -- or, how pure is the pure lambda calculus? |
| 12/23/2006 | 1 | cdiggins | A modern eye on ML type inference - Pottier 2005 |
| 12/21/2006 | 1 | Matt Hellige | Seminar: Classical vs. Quantum Computation |
| 12/21/2006 | 11 | raould | A Usability question: Too much typing? |
| 12/21/2006 | 15 | Andris Birkmanis | Comparing Approaches to Generic Programming in Haskell |
| 12/21/2006 | 9 | Ehud Lamm | Misc items |
| 12/21/2006 | 21 | Andris Birkmanis | (Even more) theorems for free? |
| 12/20/2006 | 3 | Ehud Lamm | Extending Prolog with Incomplete Fuzzy Information |
| 12/20/2006 | 3 | cdiggins | Modeling and Typing Combinatory Calculus |
| 12/20/2006 | 4 | James Hague | Bit Stream Programing in Erlang |
| 12/19/2006 | 5 | Chris Rathman | Scheme interpreters written in Standard ML? |
| 12/19/2006 | 33 | James Hague | The Role of Composition in Computer Programming |
| 12/19/2006 | 9 | Chris King | Functional Reactive GUI for O'Caml |
| 12/18/2006 | 11 | Ehud Lamm | Teaching Discrete Mathematics via Primary Historical Sources |
| 12/18/2006 | 3 | simon langley | Books available |
| 12/17/2006 | 5 | doublec | Compiling Factor to Javascript |
| 12/17/2006 | 47 | Tom Primožič | Why do we need finally in try? |
| 12/16/2006 | 5 | Luke Gorrie | Elements of Interaction |
| 12/16/2006 | 1 | Luke Gorrie | An Axiomatic Basis for Computer Programming |
| 12/15/2006 | 8 | Srikumar Subramanian | Theorem proving and patents ... |
| 12/14/2006 | 7 | James Hague | Practical Type Inference Based on Success Typings |
| 12/14/2006 | 4 | Koen Van Damme | Concurrency and dominators |
| 12/13/2006 | 2 | Isaac Gouy | Attempto Controlled English (ACE) |
| 12/13/2006 | 3 | Gregory Propf | Compile to binary in common lisp? |
| 12/13/2006 | 18 | Srikumar Subramanian | Expressive lisp ... |
| 12/12/2006 | 20 | Ehud Lamm | Java Open Review Project |
| 12/12/2006 | 14 | cdiggins | [Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner |
| 12/12/2006 | 7 | jonathan h. | path-sensitive dataflow analysis. How? |
| 12/11/2006 | 11 | adamarthurryan | excitement in language research? |
| 12/11/2006 | 1 | Michael Dorfman | Lambda expressions in VB.NET |
| 12/11/2006 | 4 | Henning Günther | Optimal map API |
| 12/10/2006 | 35 | cdiggins | The Problem with "dup" and "swap" in Stack-Based Languages |
| 12/10/2006 | 8 | cdiggins | YubNub for Programming Language Research |
| 12/10/2006 | 3 | Denis Bredelet -jido | Continuations and freeing the stack |
| 12/10/2006 | 1 | Ehud Lamm | ACM Queue: Unlocking Concurrency - Multicore programming with transactional memory |
| 12/08/2006 | 24 | Isaac Gouy | Commercial Users of Functional Programming 2006 |
| 12/08/2006 | 22 | BigZaphod | Exceptions |
| 12/07/2006 | 1 | Denis Bredelet -jido | eskimo: experimenting with skeletons in the shared address model. |
| 12/07/2006 | 6 | cdiggins | Natural Deduction Reading for Beginners |
| 12/07/2006 | 9 | Denis Bredelet -jido | Date format in the forum |
| 12/07/2006 | 10 | Luke Gorrie | Directness and liveness in the morphic user interface construction environment |
| 12/07/2006 | 3 | Luke Gorrie | Back to the Future |
| 12/07/2006 | 7 | Ehud Lamm | Bjarne Stroustrup: The Problem with Programming |
| 12/07/2006 | 1 | Ehud Lamm | Why Lisp is Different |
| 12/06/2006 | 12 | Bryan Turner | Typing a function which includes its axioms? |
| 12/06/2006 | 6 | cdiggins | [Redux] A Syntactic Approach to Type Soundness (1992) |
| 12/06/2006 | 11 | dbfaken | "Folding"/FP traversal over trees |
| 12/06/2006 | 3 | Kay Schluehr | Languages with first order types and partial evaluation |
| 12/06/2006 | 6 | Ehud Lamm | PVS goes open source |
| 12/06/2006 | 16 | cdiggins | The Cat Language Kind System |
| 12/05/2006 | 3 | Luke Gorrie | Self-Reproducing Programs in Common Lisp |
| 12/05/2006 | 3 | Luke Gorrie | T: A Dialect of Lisp |
| 12/05/2006 | 2 | pate | Benchmarking and Statistics |
| 12/05/2006 | 5 | atbusbook | Breaking the Abstraction Ceiling |
| 12/05/2006 | 1 | James Hague | Parser combinators in Factor |
| 12/04/2006 | 8 | Ehud Lamm | Interesting project to modularize Squeak |
| 12/04/2006 | 48 | Chung-chieh Shan | Programming (language) puzzles |
| 12/03/2006 | 2 | Isaac Gouy | Erlang vs C++ for Robust Telecom Software |
| 12/03/2006 | 2 | Ehud Lamm | A Garbage-Collecting Typed Assembly Language |
| 12/02/2006 | 14 | cdiggins | How to write a Programming Language Paper? |
| 12/01/2006 | 7 | jimdesu | Practical Laziness |
| 12/01/2006 | 1 | James Hague | Recursion Parallel Prolog |
| 12/01/2006 | 10 | Curt Sampson | Stephen Wolfram forecasts the future |
| 12/01/2006 | 4 | Allan McInnes | A reflective functional language for hardware design and theorem proving |
| 12/01/2006 | 29 | cdiggins | SK Calculus not Consider SeKsy? |
| 11/30/2006 | 1 | naasking | Distributed Meta-Programming |
| 11/29/2006 | 1 | Anton van Straaten | Outage |
| 11/29/2006 | 5 | Isaac Gouy | Possibly the world's shortest APL interpreter |
| 11/29/2006 | 7 | Chris Rathman | Cheat Sheet |
| 11/28/2006 | 43 | Isaac Gouy | C++ has indeed become too "expert friendly" |
| 11/28/2006 | 19 | Jim Apple | Mechanized Metatheory Model-Checking |
| 11/27/2006 | 7 | rhat | New Object Model Demo |
| 11/27/2006 | 9 | raganwald | Request for feedback: hobbyist post on "the significance of the meta-circular interpreter." |
| 11/27/2006 | 1 | Jim Apple | The Theory of Parametricity in Lambda Cube |
| 11/27/2006 | 2 | Peter A Jonsson | A Complete, Co-Inductive Syntactic Theory of Sequential Control and State. |
| 11/27/2006 | 80 | Ehud Lamm | The Future of LtU |
| 11/26/2006 | 14 | Ehud Lamm | Java Generics and Collections |
| 11/26/2006 | 1 | Ehud Lamm | Ralph Johnson: Language workbenches |
| 11/24/2006 | 5 | genneth | Proofs that do things |
| 11/23/2006 | 8 | Ehud Lamm | Grammar Visualization |
| 11/23/2006 | 3 | peter steiner | Peyton-Jones and Harris discuss STM (1h video) |
| 11/23/2006 | 24 | cdiggins | Programming Language Research Search Engine |
| 11/22/2006 | 1 | drcode | Sunday November 26th - Lisp/Scheme Presentation in DC |
| 11/19/2006 | 2 | mmc | Higher order insertion sort - HELP PLZ |
| 11/19/2006 | 6 | Jim Apple | Modular Type Classes |
| 11/18/2006 | 13 | Hank Thediek | OOP language extension |
| 11/18/2006 | 9 | cdiggins | if Records - Labels = Tuples then Rows - Labels = what? |
| 11/18/2006 | 7 | jido | The replay bug |
| 11/17/2006 | 54 | Kay Schluehr | De-Scheming MIT? |
| 11/17/2006 | 2 | pere | how convert state macine to petri net? |
| 11/16/2006 | 26 | citylight | Abstractly typed languages |
| 11/15/2006 | 7 | Chris Rathman | Video: The Scala Experiment |
| 11/15/2006 | 11 | dbfaken | Haskell -> Javascript converter, kind of |
| 11/15/2006 | 39 | Paul Snively | Second Life Faces Threat to its Virtual Economy |
| 11/15/2006 | 11 | Ehud Lamm | Sun Open Sources Java Platform |
| 11/15/2006 | 1 | Ehud Lamm | Can Abstract State Machines Be Useful in Language Theory? |
| 11/14/2006 | 6 | rossjudson | F3 - Functional GUI Development for Java |
| 11/14/2006 | 18 | cdiggins | Type Difference |
| 11/13/2006 | 3 | Ehud Lamm | Writing A Lisp Interpreter In Haskell |
| 11/13/2006 | 2 | coreyt1111 | Anyone know Prolog here? |
| 11/11/2006 | 80 | Kay Schluehr | Functional programming and software engineering |
| 11/11/2006 | 5 | Luke Gorrie | Testing Telecoms Software with Quviq QuickCheck |
| 11/10/2006 | 20 | Chris Rathman | SICP Translations |
| 11/10/2006 | 7 | raould | Random "if it bends it is funny, if it breaks it isn't funny" line of thought |
| 11/10/2006 | 54 | Denis Bredelet -jido | Dodo |
| 11/09/2006 | 1 | janek37 | Leszek - a new esoteric programming language |
| 11/08/2006 | 4 | Ehud Lamm | Busy, busy, busy |
| 11/08/2006 | 3 | cdiggins | The Type of a Recursive Combinator |
| 11/07/2006 | 1 | derura | running a sample of lisp program |
| 11/03/2006 | 3 | Ehud Lamm | "Proof-Directed Debugging" Revisited |
| 11/02/2006 | 3 | MarkM | Orc, a simple and expressive process calculus |
| 11/02/2006 | 3 | Andy Kish | Compiler with easily retargetable and flexible back-end? |
| 11/01/2006 | 16 | Ehud Lamm | A rationale for semantically enhanced library languages |
| 11/01/2006 | 21 | Thomas_C | Type inference and union types |
| 11/01/2006 | 45 | Charles Stewart | Process calculi for transactions |
| 10/31/2006 | 21 | raould | Code generation vs. dynamic/introspective languages |
| 10/31/2006 | 9 | Allan McInnes | A stackless runtime environment for a Pi-calculus |
| 10/30/2006 | 14 | kaveh.shahbazian | Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! |
| 10/29/2006 | 7 | ricky_clarkson | Monitoring whether a function happens |
| 10/28/2006 | 65 | pureza | Want to learn something new |
| 10/28/2006 | 72 | Peter Van Roy | Future of software design? |
| 10/27/2006 | 6 | Vassily Gavrilyak | Continuations, yield, ES4 |
| 10/27/2006 | 45 | Matt Hellige | Practical OCaml |
| 10/27/2006 | 1 | cdiggins | Cat Version 0.9 |
| 10/26/2006 | 30 | Ehud Lamm | Ruby 2.0 News |
| 10/26/2006 | 10 | dbfaken | Growing interest in Smalltalk? |
| 10/25/2006 | 12 | cdiggins | The Type of 42 |
| 10/25/2006 | 6 | Greg Buchholz | GADT vs. Type Classes |
| 10/23/2006 | 1 | Matt Hellige | Holodeck games and CCCs |
| 10/22/2006 | 3 | DanielMyers | Clorox - AJAX shared memory |
| 10/20/2006 | 34 | Dave Herman | Specifying ECMAScript via ML |
| 10/19/2006 | 6 | hutorny | Question on terminology |
| 10/19/2006 | 10 | Felicia Li Svilling | Constraint based hybrid typing and the Curry Howard Isomorphism |
| 10/18/2006 | 5 | David Teller | System-level Static Analysis |
| 10/18/2006 | 28 | Boyko Bantchev | Ralph Griswold died |
| 10/17/2006 | 5 | raould | FP vs. JSP |
| 10/17/2006 | 2 | cdiggins | On Publishing |
| 10/17/2006 | 1 | Ehud Lamm | Computer Aided Formal Reasoning (@ Nottingham) |
| 10/17/2006 | 14 | D.G.Gaev | Delevoping a new language... |
| 10/16/2006 | 15 | mrpingouin | Block-scope |
| 10/15/2006 | 2 | Dave Herman | Delimited Control for PLT Scheme |
| 10/15/2006 | 55 | Ehud Lamm | Good Ideas, Through the Looking Glass |
| 10/13/2006 | 1 | Matt Hellige | A Madman Dreams of Turing Machines |
| 10/13/2006 | 13 | Noel | Flapjax - Functional Reactive Ajax |
| 10/13/2006 | 1 | Anton van Straaten | LogFun - Building Logics by Composing Functors |
| 10/12/2006 | 2 | zrxer | Languages With Some Form of Implicit Subtyping |
| 10/11/2006 | 18 | Chris Rathman | Run time type checking |
| 10/11/2006 | 2 | hshah | Programming in R |
| 10/10/2006 | 3 | mgricken | Modified javac That Processes Annotations on Local Variables |
| 10/09/2006 | 32 | Ehud Lamm | The US Torture Bill as C code |
| 10/09/2006 | 1 | Ehud Lamm | Scott Rosenberg: Code Reads |
| 10/08/2006 | 1 | Ehud Lamm | A Stepper for Scheme Macros |
| 10/08/2006 | 11 | Ehud Lamm | A Very Modal Model of a Modern, Major, General Type System |
| 10/06/2006 | 6 | Ehud Lamm | Debugging Backwards in Time |
| 10/06/2006 | 1 | Leland McInnes | AutoTest - Automated contract based testing for Eiffel |
| 10/05/2006 | 12 | Chris Rathman | Assembly language for Power Architecture |
| 10/05/2006 | 16 | Jacques Carette | Google Code Search |
| 10/05/2006 | 3 | Antoine Reilles | Tom 2.4 Released |
| 10/04/2006 | 7 | David N. Welton | call by ? and mental models |
| 10/03/2006 | 5 | dataangel | Relationship between access modifiers and type |
| 10/02/2006 | 11 | Ehud Lamm | An Incremental Approach to Compiler Construction |
| 10/01/2006 | 74 | Ehud Lamm | Tim Bray: Dynamic-Language IDEs |
| 09/30/2006 | 4 | Jim Apple | Arrows, like Monads, are Monoids |
| 09/30/2006 | 3 | Ehud Lamm | Knock knock... |
| 09/30/2006 | 5 | Ehud Lamm | Computational Thinking |
| 09/29/2006 | 8 | Alexandre | Which Java compiler for a student/research project? |
| 09/27/2006 | 16 | BenMoseley | Business Objects Quark - Haskell meets Java |
| 09/27/2006 | 17 | mcguire | Machine Obstructed Proof |
| 09/26/2006 | 5 | dbfaken | ICFP proceedings / Scheme workshop |
| 09/24/2006 | 10 | MJ Stahl | What Makes Erlang Processes Tick? |
| 09/24/2006 | 23 | Kay Schluehr | Is "post OO" just over? |
| 09/23/2006 | 21 | cdiggins | Designing a Programming Textbook |
| 09/23/2006 | 1 | Ehud Lamm | Ruby metaprogramming techniques |
| 09/23/2006 | 11 | Logan Capaldo | SSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing? |
| 09/22/2006 | 4 | Ehud Lamm | Handling multiple concurrent exceptions in C++ using futures |
| 09/21/2006 | 4 | Ehud Lamm | Marc Andreessen: A Web Odyssey |
| 09/20/2006 | 16 | Ehud Lamm | Lectures on the Curry-Howard Isomorphism |
| 09/19/2006 | 5 | Davor Cubranic | PeakStream - a multi-core stream processing model |
| 09/18/2006 | 65 | citylight | Why Johnny can't code |
| 09/18/2006 | 7 | DougRansom | Yield Prolog |
| 09/17/2006 | 1 | Isaac Gouy | CleanJ - Concurrent Clean on Java VM |
| 09/16/2006 | 2 | Ehud Lamm | Samurai - Protecting Critical Heap Data in Unsafe Languages |
| 09/16/2006 | 2 | Bruce Rennie | Corrections to be made to the Papers page |
| 09/15/2006 | 4 | Ehud Lamm | SecPAL: Design and Semantics of a Decentralized Authorization Language |
| 09/14/2006 | 15 | Dave Herman | Draft R6RS available |
| 09/14/2006 | 3 | Ohad Kammar | Fixed-Point Induction |
| 09/12/2006 | 11 | Isaac Gouy | AppleScript - a story worth telling |
| 09/12/2006 | 4 | raould | Neophyte question: detecting deadlock, livelock, races etc. |
| 09/12/2006 | 4 | grant | Strongtalk goes open source |
| 09/12/2006 | 10 | drwhite | Concurrency made easy? |
| 09/12/2006 | 16 | Srikumar Subramanian | muSE - an embeddable scheme dialect |
| 09/11/2006 | 15 | Erik Meijer | Dynamic Languages Symposium Program Online |
| 09/10/2006 | 35 | serras | Parser that allow syntax extensions |
| 09/09/2006 | 1 | Jim Apple | Folds, Church Encodings, Builds, and Short Cut Fusion for Nested Types: A Principled Approach |
| 09/09/2006 | 1 | Per Vognsen | Rewriting Haskell Strings |
| 09/09/2006 | 8 | Ehud Lamm | Misc News |
| 09/08/2006 | 1 | w7cook | OOPSLA 2006 Call for Participation |
| 09/03/2006 | 10 | cdiggins | Small Value Set Types |
| 09/03/2006 | 1 | Jacques Carette | Topology in Programming Language Semantics |
| 09/03/2006 | 1 | drcode | FringeDC- New Washington DC Organization for Fringe Programming Languages |
| 09/02/2006 | 12 | cdiggins | Constant Values as Types |
| 09/01/2006 | 1 | Ehud Lamm | Vacation |
| 08/30/2006 | 18 | Paul Snively | Gradual Typing for Functional Languages |
| 08/30/2006 | 1 | Ehud Lamm | Reflective Program Generation with Patterns |
| 08/29/2006 | 27 | Hank Thediek | Dynamic Semantics |
| 08/29/2006 | 2 | grant | Joe Armstrong's Blog |
| 08/29/2006 | 1 | peter steiner | design docs links c/c++ |
| 08/29/2006 | 2 | Ehud Lamm | Lightweight Static Capabilitites (II) |
| 08/28/2006 | 1 | hutorny | A new PL for embedded applications |
| 08/28/2006 | 2 | Paul Snively | The Daikon Invariant Detector |
| 08/27/2006 | 1 | cathper | Ruby: Prelude - a Haskell-like functional library |
| 08/27/2006 | 26 | dataangel | Implementing arrays |
| 08/26/2006 | 11 | Robbert van Dalen | The whole Enchilada |
| 08/25/2006 | 14 | cdiggins | Multi-Stage Languages |
| 08/25/2006 | 117 | lumpynose | unchecked exceptions are like runtime type checking? |
| 08/24/2006 | 21 | raould | "Language Oriented Programming" Meta Programming System |
| 08/24/2006 | 12 | bend | what are the differences between erlang process and pthread threads? |
| 08/23/2006 | 3 | mcguire | Declarative Networking: Language, Execution and Optimization |
| 08/23/2006 | 9 | falcon | generating interpreters, IDEs, etc., from simple specifications? |
| 08/22/2006 | 7 | Jim Apple | ESC not just for Java any more |
| 08/22/2006 | 2 | Ehud Lamm | Verified Software: Theories, Tools, and Experiments |
| 08/22/2006 | 9 | raould | width still fixed? |
| 08/20/2006 | 2 | Hank Thediek | Escape sequence for XML |
| 08/19/2006 | 8 | Ehud Lamm | Technometria: AJAX Progress and Challenges |
| 08/19/2006 | 160 | el-vadimo | Closures for Java or money back |
| 08/19/2006 | 1 | Erik Meijer | LASER Summerschool |
| 08/18/2006 | 1 | Hank Thediek | 3APL |
| 08/18/2006 | 13 | raganwald | Can a dynamically typed language support type inference? |
| 08/17/2006 | 3 | Anton van Straaten | Decomposing lambda - the Kernel language |
| 08/17/2006 | 5 | Ehud Lamm | Early retirement? |
| 08/17/2006 | 3 | naasking | Pure Pattern Calculus |
| 08/15/2006 | 4 | jsnx | help with [Barendregt & Barendsen, 1994] |
| 08/14/2006 | 5 | Olaf Conijn | DSLs and AOP |
| 08/13/2006 | 3 | Ehud Lamm | Lisp Machine Manual |
| 08/13/2006 | 5 | snk_kid | How to make a *truly* better alternative to C++ |
| 08/13/2006 | 14 | Mario B. | Programming Languages in the Markup World |
| 08/12/2006 | 9 | kaveh.shahbazian | Lambda Calculus In Java |
| 08/09/2006 | 8 | Matt Hellige | Revisiting Google's MapReduce |
| 08/09/2006 | 2 | cdiggins | On Mixing Static Typing, Dynamic Typing and Values |
| 08/09/2006 | 6 | rhat | PMD with CLOS-style Method Combination |
| 08/08/2006 | 3 | Matt Hellige | Comonadic Functional Attribute Evaluation |
| 08/08/2006 | 9 | Jack Waugh | Oracles |
| 08/08/2006 | 2 | Ehud Lamm | CellML |
| 08/08/2006 | 2 | Niels Hoogeveen | Ivor, a proof engine |
| 08/08/2006 | 81 | Ben Atkin | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 08/07/2006 | 14 | Curtis W | automatic theorem proving |
| 08/06/2006 | 6 | cdiggins | Expressing the Type of a While Loop |
| 08/04/2006 | 11 | Ehud Lamm | eWeek: Sun Digging Deep for Dynamic Language Support |
| 08/04/2006 | 13 | John Carter | The Killer Application for Concatenative Languages |
| 08/03/2006 | 5 | Matt Hellige | Software Extension and Integration with Type Classes |
| 08/03/2006 | 1 | ashishkh | set-based 3-tier Client Server programming |
| 08/03/2006 | 1 | cdiggins | Overloading : Why do some languages leave it out? |
| 08/03/2006 | 4 | michael-fig | Convergence |
| 08/03/2006 | 5 | kimlee83 | Lisp Beginer seeking for advice |
| 08/02/2006 | 1 | Ehud Lamm | Busy, busy, busy |
| 08/02/2006 | 1 | michael-fig | Ocean implementation begins |
| 08/02/2006 | 18 | dataangel | Covariance and typing |
| 08/02/2006 | 13 | cdiggins | Cat Programming Language: Slides from Lang. NET 2006 |
| 08/01/2006 | 12 | n8allan | Managing missing information through Condition Propagation |
| 08/01/2006 | 2 | mouheb | theory of category |
| 07/30/2006 | 35 | Srikumar Subramanian | Lisp sans (((paren-theses ((hell))))) |
| 07/30/2006 | 13 | dataangel | Polymorphic replacement |
| 07/27/2006 | 6 | Ehud Lamm | LtU turns six! |
| 07/27/2006 | 5 | Ehud Lamm | The solution to all your troubles... |
| 07/27/2006 | 14 | Matt Hellige | Generics as a Library |
| 07/25/2006 | 1 | feeley | Erlang Workshop 2006 |
| 07/25/2006 | 1 | Ehud Lamm | Tim Bray: On Ruby |
| 07/24/2006 | 5 | Andris Birkmanis | Interface Automata |
| 07/24/2006 | 7 | taw | RLisp - Lisp naturally embedded in Ruby |
| 07/23/2006 | 17 | Paul Snively | Lightweight Static Capabilities |
| 07/23/2006 | 3 | Paul Snively | Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference |
| 07/22/2006 | 38 | Ehud Lamm | Cost of provably-correct code |
| 07/22/2006 | 10 | Kay Schluehr | Gamma formalism |
| 07/21/2006 | 15 | Niels Hoogeveen | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 07/20/2006 | 36 | coffeemug | Erlang concurrency: why asynchronious messages? |
| 07/20/2006 | 10 | Ehud Lamm | Revealing the X/O impedance mismatch |
| 07/20/2006 | 1 | Ehud Lamm | New blog: A Fistful of Languages |
| 07/19/2006 | 4 | Ehud Lamm | A Comparison of Ada and Real-Time Java for Safety-Critical Applications |
| 07/19/2006 | 1 | Ehud Lamm | Leaky regions: linking reclamation hints to program structure |
| 07/18/2006 | 121 | Curtis W | Advantages of Soft Typing |
| 07/15/2006 | 12 | Morris Johns | Predicting programming course success from a single entrance exam |
| 07/14/2006 | 22 | Chris Rathman | HOPL III and the History of Haskell |
| 07/14/2006 | 17 | Niels Hoogeveen | A Core Calculus for Scala Type Checking |
| 07/14/2006 | 89 | dataangel | OOP Parallel class hierarchies |
| 07/14/2006 | 12 | Rys David McCusker | computerhistory's History of LISP |
| 07/13/2006 | 3 | Ehud Lamm | Scheme simulator for quantum computation |
| 07/13/2006 | 1 | Ehud Lamm | A brief survey of quantum programming languages |
| 07/13/2006 | 34 | Johan Tibell | Writing an interpreter, targeting a VM or writing from scratch? |
| 07/13/2006 | 3 | Paolo Martini | Encoding Information Flow in Haskell |
| 07/12/2006 | 14 | Matt Hellige | Event-Based Programming without Inversion of Control |
| 07/11/2006 | 2 | Ehud Lamm | NATIVE: The Programmatic Natural Language |
| 07/11/2006 | 6 | soapdog | Can anyone here help a newbie on language interpretation, want book reference and possible sample code. |
| 07/10/2006 | 11 | Andris Birkmanis | Socially Responsive, Environmentally Friendly Logic |
| 07/09/2006 | 12 | Ehud Lamm | Abstracting Allocation: The New new Thing |
| 07/09/2006 | 13 | Anton van Straaten | Community enforcement discussion |
| 07/07/2006 | 38 | Anton van Straaten | Failure-oblivious computing |
| 07/06/2006 | 7 | Ehud Lamm | CLPython - an implementation of Python in Common Lisp |
| 07/06/2006 | 19 | Noel | Programming Languages and Lambda Calculi |
| 07/04/2006 | 32 | dataangel | DSLs and operator associativity/precedence |
| 07/04/2006 | 6 | Boyko Bantchev | online literature on CPL? |
| 07/04/2006 | 15 | uchchwhash | Lexical structure of scripting languages |
| 07/04/2006 | 1 | zayenz | High-Level Nondeterministic Abstractions in C++ |
| 07/03/2006 | 1 | Ehud Lamm | 2006 ICFP Contest registration opens |
| 07/03/2006 | 10 | Tom7 | 2006 ICFP Programming Contest registration opens |
| 07/03/2006 | 36 | Achilleas Margaritis | A new implementation of recursive-descent parsing? |
| 07/02/2006 | 8 | Danny Ayers | Pluvo : new hybrid scripting language |
| 07/01/2006 | 1 | Ehud Lamm | The First 10 Prolog Programming Contests |
| 07/01/2006 | 36 | Ehud Lamm | Amusing question |
| 06/30/2006 | 6 | falcon | Introduction to Concurrent Programming with Stackless Python |
| 06/29/2006 | 14 | Niels Hoogeveen | Gottfried Wilhelm Leibniz |
| 06/28/2006 | 3 | Ehud Lamm | PLT Scheme GC Technology |
| 06/27/2006 | 23 | raould | Oxymoronic? "Safety-critical development guidelines for real-time Java" |
| 06/27/2006 | 12 | pmougin | Article: Exploring Cocoa with F-Script |
| 06/26/2006 | 18 | Ehud Lamm | R6RS Status Report |
| 06/26/2006 | 3 | Bryan Turner | Nanopass Compiler Framework |
| 06/26/2006 | 15 | Ehud Lamm | Securing the .NET Programming Model |
| 06/25/2006 | 55 | Ehud Lamm | LtU: Policies document |
| 06/25/2006 | 2 | Ehud Lamm | Microsoft Robotics Studio |
| 06/22/2006 | 9 | Chung-chieh Shan | Delimited dynamic binding |
| 06/22/2006 | 117 | Achilleas Margaritis | Petition for adding garbage collection to C++. |
| 06/22/2006 | 5 | Ehud Lamm | PLT web server used in "real life" |
| 06/22/2006 | 2 | Dominic Cooney | Ruby .NET compiler released |
| 06/21/2006 | 45 | Peter J. Wasilko | Rules for Developing Safety-Critical Code |
| 06/21/2006 | 114 | dataangel | What are the real benefits of FP? |
| 06/20/2006 | 6 | Niels Hoogeveen | Charles Babbage Institute |
| 06/20/2006 | 2 | Niels Hoogeveen | A Mobility Calculus with Local and Dependent Types |
| 06/18/2006 | 17 | Ehud Lamm | Variance and Generalized Constraints for C# Generics |
| 06/17/2006 | 4 | Erik Meijer | Lang .NET Symposium Registration Now Open |
| 06/17/2006 | 1 | cdiggins | Cat version 0.2 |
| 06/17/2006 | 13 | Chris Rathman | What is the Meaning of These Constant Interruptions? |
| 06/17/2006 | 1 | Ehud Lamm | Scheme2Js |
| 06/16/2006 | 68 | snk_kid | The OO barrier |
| 06/15/2006 | 14 | Peter Scott | Dataflow programming for PIC microcontrollers |
| 06/15/2006 | 9 | naasking | Applied Type System vs. Epigram |
| 06/15/2006 | 104 | Karsten Wagner | Why only 'minimal' languages |
| 06/15/2006 | 8 | Matt Hellige | The Semicolon Wars |
| 06/15/2006 | 1 | Ehud Lamm | IFIP WG 2.2 Anniversary Meeting |
| 06/14/2006 | 22 | nat | HLVM - High Level Virtual Machine toolkit for dynamic languages |
| 06/13/2006 | 6 | snk_kid | A thought on the design of new low-level languages... |
| 06/13/2006 | 1 | JamesLitsios | Generative and Transformational Techniques |
| 06/12/2006 | 25 | Bryan Turner | Church-Turning is False? |
| 06/12/2006 | 5 | Greg Buchholz | ML Modules and Haskell Type Classes: A Constructive Comparison |
| 06/12/2006 | 2 | Peter A Jonsson | Formal verification of a C-Compiler frontend. |
| 06/12/2006 | 1 | Ehud Lamm | Technical Work on Ada 2005 Standard Completed |
| 06/11/2006 | 10 | Isaac Gouy | Alloy - The Book |
| 06/10/2006 | 17 | Frank Atanassow | Inform 7: A relational DSL for interactive fiction with natural language syntax |
| 06/10/2006 | 3 | Matt Estes | A DSL based Web Framework. |
| 06/09/2006 | 13 | Peter J. Wasilko | Human Factors Research On Programming Language Syntax |
| 06/09/2006 | 29 | Isaac Gouy | A Brief History of Scala |
| 06/08/2006 | 66 | Ehud Lamm | LtU: blog not forum! |
| 06/08/2006 | 32 | Ehud Lamm | Joshua Bloch: "Nearly All Binary Searches Broken" |
| 06/08/2006 | 5 | MJ Stahl | Linear Types vs. Uniqueness Typing |
| 06/08/2006 | 7 | James McCartney | assistance with some data flow terms |
| 06/07/2006 | 83 | Vorlath | Why Are ALL Programming Languages So Low Level? |
| 06/07/2006 | 8 | Sean McDirmid | SuperGlue |
| 06/06/2006 | 26 | SamK | Common Lisp Exception Handling |
| 06/06/2006 | 15 | Dave Herman | Public resources for ECMAScript Edition 4 |
| 06/05/2006 | 10 | ralabate | What is covariant signature transformation? |
| 06/05/2006 | 17 | Jeff Nowakowski | Email/news interface |
| 06/05/2006 | 2 | Andris Birkmanis | Scrap your Nameplate |
| 06/05/2006 | 1 | Andris Birkmanis | Nested commits for mobile calculi: extending Join |
| 06/05/2006 | 16 | Rys David McCusker | emulation for Erlang style processes |
| 06/04/2006 | 6 | Paul Snively | Sage: A Programming Language With Hybrid Type-Checking |
| 06/04/2006 | 4 | Ehud Lamm | The Origins and Nature of Computation |
| 06/02/2006 | 4 | raoulvp | Trying to get embedded python co-routines to work |
| 06/02/2006 | 12 | Andris Birkmanis | Continuations for Parallel Logic Programming |
| 06/02/2006 | 7 | doublec | Hop: a Language for Programming the Web 2.0 |
| 06/01/2006 | 99 | Klaus Ostermann | Relevance of Curry-Howard |
| 06/01/2006 | 1 | Ehud Lamm | Designing Components with the C++ STL |
| 06/01/2006 | 9 | Dave Herman | JavaScript 2 and the Future of the Web |
| 06/01/2006 | 5 | Ehud Lamm | Ada UK Conference 2006 (slides & videos) |
| 06/01/2006 | 3 | Ehud Lamm | Oz has macros! |
| 06/01/2006 | 58 | Mike Smith | Type checking and logical errors |
| 05/31/2006 | 20 | Ehud Lamm | The Weird World of Bi-Directional Programming |
| 05/31/2006 | 22 | Ehud Lamm | Javascript department |
| 05/31/2006 | 28 | andrew cooke | Narrative Javascript |
| 05/31/2006 | 1 | hugg | Language-spotting |
| 05/31/2006 | 7 | raould | Timor: adding "qualifying" and "attribute" types to the OO realm. |
| 05/30/2006 | 26 | danmcb | yet another noob via "little lisper" and scheme |
| 05/30/2006 | 6 | doublec | Narrative Javascript |
| 05/30/2006 | 19 | Anton van Straaten | Type inference for Python |
| 05/29/2006 | 96 | Bruce Rennie | First Class Values, Types as values within a Programming Language |
| 05/29/2006 | 2 | Thomas Sutton | Namespaces, scoping, etc. |
| 05/28/2006 | 6 | cdiggins | Cat Language Download, Sources, and Introduction |
| 05/28/2006 | 1 | Wolf Logan | Microsoft Phoenix Framework |
| 05/27/2006 | 249 | Isaac Gouy | Buried Treasure - No Fluff Just Stuff |
| 05/26/2006 | 2 | raould | Ravenscar Profile? |
| 05/26/2006 | 1 | claudio | BlackBox Component Builder has been open sourced |
| 05/26/2006 | 15 | Adam K | Stealing language features for fun and profit in Ruby |
| 05/26/2006 | 16 | Chris Rathman | Constraint Programming |
| 05/26/2006 | 15 | Ehud Lamm | Linspire chooses Haskell as preferred language |
| 05/26/2006 | 10 | kenhirsch | Linspire chooses Haskell as preferred language |
| 05/26/2006 | 7 | Andris Birkmanis | "New story" template |
| 05/26/2006 | 5 | Jim Apple | Backwards debugging |
| 05/25/2006 | 25 | Chris Rathman | Software ideals and history |
| 05/25/2006 | 2 | suresh7708 | Segmentation Fault |
| 05/24/2006 | 6 | Andris Birkmanis | Syntax, Semantics and all that Stuff |
| 05/24/2006 | 5 | Ehud Lamm | Transactional memory with data invariants |
| 05/23/2006 | 17 | Jeff Nowakowski | Editing posts |
| 05/23/2006 | 2 | Nicolas Cannasse | haXe 1.0 |
| 05/23/2006 | 3 | obsidian | Orca chosen as default Syllable scripting language |
| 05/22/2006 | 2 | andrew cooke | EasyExtend - Python MetaProgramming |
| 05/22/2006 | 16 | Ehud Lamm | Code Generation Network |
| 05/22/2006 | 1 | Ehud Lamm | Micro-Kanren |
| 05/21/2006 | 3 | doublec | Continuations and MicroThreads on Mono |
| 05/20/2006 | 9 | Luke Gorrie | Erlang/OTP release with multiprocessor support |
| 05/20/2006 | 4 | Niels Hoogeveen | Automath |
| 05/20/2006 | 1 | Niels Hoogeveen | Alan Turing |
| 05/20/2006 | 47 | Ehud Lamm | Gilad Bracha: Will Continuations continue? |
| 05/20/2006 | 5 | Ehud Lamm | Departments in need... |
| 05/19/2006 | 9 | Logan Capaldo | Question about Lazy-ness and algorithmic runtime analysis |
| 05/19/2006 | 54 | vesa_karvonen | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
| 05/18/2006 | 23 | Jess Austin | Google Web Toolkit |
| 05/18/2006 | 1 | Ehud Lamm | Library-Centric Software Design LCSDག |
| 05/17/2006 | 19 | raould | The World's Most Maintainable Programming Language |
| 05/16/2006 | 46 | Ehud Lamm | Paul Vick: BASIC principles |
| 05/14/2006 | 16 | Allan McInnes | The Problem With Threads |
| 05/14/2006 | 125 | falcon | ruby vs python |
| 05/13/2006 | 17 | cdiggins | The Cat Programming Language |
| 05/13/2006 | 27 | Mike Hearn | Non-null references? |
| 05/12/2006 | 4 | Matt Hellige | Jumbo Lambda Calculus |
| 05/12/2006 | 6 | Isaac Gouy | LINQ May 2006 Preview |
| 05/11/2006 | 3 | gmol | really simple list/newline oriented language |
| 05/11/2006 | 10 | Chris Rathman | The case for Semantic Analysis |
| 05/11/2006 | 1 | snk_kid | Links to research on/in .... |
| 05/11/2006 | 19 | Andris Birkmanis | Building Interpreters by Composing Monads |
| 05/11/2006 | 2 | cdiggins | Optimization - Symmetric Reductions |
| 05/10/2006 | 12 | Ehud Lamm | Block performance in Ruby |
| 05/10/2006 | 5 | Greg Morrisett | Cyclone 1.0 released. |
| 05/09/2006 | 5 | Niels Hoogeveen | The three dimensions of proofs |
| 05/09/2006 | 11 | cdiggins | Parameteric Polymorphism from a C++ Perspective (good or bad?) |
| 05/09/2006 | 3 | kabel | Fortress Spec 0.903 |
| 05/09/2006 | 7 | Jim Apple | MathLang |
| 05/09/2006 | 4 | jesuswaffle | The Push Programming Language |
| 05/09/2006 | 63 | coffeemug | The Nature of Lisp (a tutorial) |
| 05/08/2006 | 2 | mansu | Links for Programming Language course videos |
| 05/08/2006 | 19 | Ehud Lamm | Computer Science Looks for a Remake |
| 05/08/2006 | 2 | Paul Snively | HashCaml--an extension of the OCaml bytecode compiler with support for type-safe marshalling and related naming features. |
| 05/08/2006 | 1 | Paul Snively | Col--an O'Caml syntax extension for easier manipulation of flat records, objects or tuples and conversions from/to CSV file |
| 05/07/2006 | 23 | Niels Hoogeveen | Multidimensional Virtual Classes |
| 05/07/2006 | 4 | Ehud Lamm | A Hacker's Introduction to Partial Evaluation |
| 05/06/2006 | 1 | shrogers | APL Quote Quad Call for Papers |
| 05/06/2006 | 18 | cdiggins | Designing a Type Notation for a Stack Based Functional Language |
| 05/05/2006 | 5 | Andris Birkmanis | Typed Concurrent Programming with Logic Variables |
| 05/04/2006 | 38 | Jeremy | Open data types and open functions |
| 05/04/2006 | 3 | Chris Rathman | Max messages per page? |
| 05/03/2006 | 1 | Luke Gorrie | SERIES |
| 05/03/2006 | 6 | Luke Gorrie | A note on distributed computing |
| 05/03/2006 | 87 | Josef Svenningsson | Your favourite editor/IDE |
| 05/03/2006 | 1 | Andris Birkmanis | A Monadic Semantics for Core Curry |
| 05/02/2006 | 42 | shapr | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 05/02/2006 | 11 | abayley | Functional Relational Programming: Out of the tar pit |
| 05/02/2006 | 3 | cdiggins | Filter-Reduce Optimization |
| 05/01/2006 | 10 | fkrueger | Patterns of Integer Usage |
| 05/01/2006 | 10 | Avdi | Natural Language Programming for Interactive Fiction |
| 05/01/2006 | 11 | Klaus Ostermann | This Is the Title of This Story, Which Is Also Found Several Times in the Story Itself |
| 05/01/2006 | 5 | Ehud Lamm | Links: Web Programming Without Tiers |
| 05/01/2006 | 1 | falcon | how can PLT experts help improve the web? |
| 05/01/2006 | 216 | John Carter | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/29/2006 | 36 | cdiggins | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 04/28/2006 | 8 | xyzzy | First-Class Traces |
| 04/28/2006 | 1 | Antoine Reilles | Tom 2.3 Released |
| 04/28/2006 | 18 | shapr | A Language-Based Approach to Unifying Events and Threads |
| 04/27/2006 | 15 | Ehud Lamm | Rethinking Linguistic Relativity |
| 04/27/2006 | 6 | David N. Welton | Implementation of Hecl |
| 04/27/2006 | 23 | Ehud Lamm | Oberon Script. A Lightweight Compiler and Runtime System for the Web |
| 04/26/2006 | 15 | doublec | Chuck - Concurrent audio programming language |
| 04/26/2006 | 30 | Chung-chieh Shan | How do Java generics correspond to System F-(omega)? |
| 04/25/2006 | 15 | Chris Rathman | Build your own scripting language for Java |
| 04/25/2006 | 8 | Ehud Lamm | J2ME |
| 04/25/2006 | 1 | Ehud Lamm | I miss you guys... |
| 04/25/2006 | 14 | Ehud Lamm | Deconstructing Process Isolation |
| 04/22/2006 | 1 | Ehud Lamm | ACM Queuecast: systems on a chip |
| 04/21/2006 | 19 | Robbert van Dalen | The fundamental difference between Sets and Lists? |
| 04/21/2006 | 5 | Ehud Lamm | New Common Lisp FAQ |
| 04/21/2006 | 6 | shap | TinyScheme Revived |
| 04/21/2006 | 5 | Isaac Gouy | Dynamic Software Updating for C |
| 04/21/2006 | 18 | Logan Capaldo | Functional single argument style object oriented programming |
| 04/20/2006 | 4 | dbfaken | "Down with Lambda-Lifting" |
| 04/19/2006 | 5 | James McCartney | The content of this field is private and only visible to yourself |
| 04/19/2006 | 1 | Ehud Lamm | Comparing XSLT and XQuery |
| 04/18/2006 | 44 | Erik Meijer | Lang .NET 2006 |
| 04/16/2006 | 21 | Chris Rathman | E Thesis: Robust Composition |
| 04/13/2006 | 3 | genneth | System F with Type Equality Coercions |
| 04/13/2006 | 6 | Ehud Lamm | The Essence of the Iterator Pattern |
| 04/12/2006 | 48 | mfeathers | Flexible Addition of Static Typing to Dynamically Typed Programs |
| 04/12/2006 | 2 | Ehud Lamm | JRuby |
| 04/09/2006 | 8 | MacTex | Ward Cunningham podcast: Smalltalk, little languages, XP, typing and future of software |
| 04/09/2006 | 21 | Erik Meijer | Functional Programming Has Reached The Masses; It's Called Visual Basic |
| 04/08/2006 | 9 | Ehud Lamm | Flexible Exception Handling (in Smalltalk) |
| 04/06/2006 | 1 | Isaac Gouy | "Stretch" languages |
| 04/06/2006 | 4 | Ehud Lamm | Microsoft Atlas |
| 04/06/2006 | 18 | Kay Schluehr | Python 2.5a1 released |
| 04/06/2006 | 11 | John Eikenberry | Eiffel Studio adds GPL version |
| 04/05/2006 | 33 | el-vadimo | public vs. published interfaces |
| 04/04/2006 | 1 | L G Meredith | monadic constraint programming? |
| 04/04/2006 | 18 | alanine | any functional language without GC? |
| 04/03/2006 | 35 | Jim Apple | Purity in PLT |
| 04/03/2006 | 10 | Ehud Lamm | Native delimited continuations in (byte-code) OCaml |
| 04/03/2006 | 33 | Noel | foldl and foldr |
| 04/02/2006 | 8 | Jim Apple | Disruptive PLT, 4 years later |
| 04/01/2006 | 8 | Chris Rathman | The Reasoned Schemer with Oz |
| 03/31/2006 | 16 | Jayson Minard | PHP 6 picks up GOTO and COMEFROM |
| 03/30/2006 | 11 | Charles Stewart | Uniform Proofs as a Foundation for Logic Programming |
| 03/30/2006 | 1 | Ehud Lamm | Class decorators in Python |
| 03/30/2006 | 8 | shapr | Transactional Memory with data invariants (draft sequel to the STM-Haskell paper) |
| 03/29/2006 | 8 | Martin Odersky | [ANN] Scala-2 |
| 03/29/2006 | 49 | Neil Madden | Class hierarchies and Ontologies |
| 03/29/2006 | 22 | Riaan Moll | "Semi-complete" Boolean Evaluation? |
| 03/28/2006 | 6 | Leon P Smith | The R Project |
| 03/28/2006 | 14 | Johan Tibell | Type Inference in Object Oriented Languages |
| 03/28/2006 | 7 | Nathan Sobo | Message Passing vs. Multi-Methods; Mixing the two? |
| 03/27/2006 | 6 | Niels Hoogeveen | A virtual class calculus |
| 03/27/2006 | 9 | falcon | logic/constraint/relational programming? |
| 03/27/2006 | 2 | Degussa | Matlab problems |
| 03/27/2006 | 8 | tblanchard | ObjectiveCLIPS Updated |
| 03/26/2006 | 17 | gmol | help from language people |
| 03/26/2006 | 3 | Jim Apple | Generic Haskell II |
| 03/26/2006 | 4 | Ehud Lamm | Contributing Editors? |
| 03/26/2006 | 1 | Anton van Straaten | [admin] Domain lookup issues fixed |
| 03/25/2006 | 64 | hawflake | Extremely static language? |
| 03/24/2006 | 5 | Ehud Lamm | Google Reader and "continuations" |
| 03/23/2006 | 12 | Tiago Simoes | I "got" imperative programming throught data binding |
| 03/22/2006 | 6 | hawflake | Multimethods in a latently typed language? |
| 03/22/2006 | 11 | Erik Meijer | Google Magic |
| 03/21/2006 | 42 | Ehud Lamm | Gosling vs. Dynamic Languages |
| 03/21/2006 | 3 | Christophe Poucet | Problem with forum listings |
| 03/21/2006 | 3 | Thomas Sutton | Essential Language Support for Generic Programming |
| 03/21/2006 | 10 | Josef Svenningsson | Using continuations in Web applications is patented |
| 03/20/2006 | 9 | dataangel | Reversible generators |
| 03/20/2006 | 4 | bdenckla | sublanguages of CTM's Oz |
| 03/19/2006 | 1 | Ehud Lamm | Lambda Calculus course (Oxford) |
| 03/17/2006 | 6 | raould | Back button & scroll position |
| 03/16/2006 | 18 | Ehud Lamm | Design Patterns as Higher-Order Datatype-Generic Programs. |
| 03/16/2006 | 22 | kruhft | The Problem With Parsing - an essay |
| 03/16/2006 | 25 | Tim Chevalier | Social science research about programming language adoption? |
| 03/15/2006 | 1 | snk_kid | Diesel a successor to the Cecil language |
| 03/15/2006 | 2 | Ehud Lamm | JOT: On The Next Move in Programming |
| 03/15/2006 | 81 | falcon | Programming: 50, 100 years from now |
| 03/15/2006 | 21 | raould | ACM Queue: On Usability of Programming Languages |
| 03/12/2006 | 4 | cdiggins | Contract Verification and Structural Subtyping of Interfaces |
| 03/12/2006 | 12 | Vladimir Slepnev | Half-baked idea: mini-language for vector processing |
| 03/12/2006 | 17 | akopa | Virtual Machines, Language Runtimes, and the Future of Objective C |
| 03/12/2006 | 5 | Michael Stone | Choosing Conferences |
| 03/11/2006 | 13 | Ehud Lamm | ACM Queue: A Conversation with Steve Ross-Talbot |
| 03/11/2006 | 1 | marcoil | First Class Copy & Paste |
| 03/10/2006 | 23 | mansu | Visualisable Languages |
| 03/10/2006 | 5 | Matt Hellige | DSLs: How and When? |
| 03/09/2006 | 6 | Mordeith | Language Design Tips |
| 03/08/2006 | 8 | Dave Herman | ACL2 in DrScheme |
| 03/08/2006 | 31 | Anton van Straaten | Scheme Language Steering Committee Report to the Community |
| 03/07/2006 | 1 | Edson Manoel | New Fortress Release |
| 03/07/2006 | 6 | falcon | Strongly typed quantities in Java |
| 03/06/2006 | 6 | Andris Birkmanis | Active Libraries and Universal Languages |
| 03/03/2006 | 46 | Ehud Lamm | When is one thing equal to some other thing? |
| 03/03/2006 | 11 | Charles Stewart | Towards Applicative Relational Programming |
| 03/02/2006 | 26 | Allan McInnes | LiteratePrograms wiki |
| 03/02/2006 | 12 | Ehud Lamm | Life and Times of Anders Hejlsberg |
| 03/02/2006 | 3 | Ehud Lamm | Do us proud, Dave! |
| 03/02/2006 | 5 | Dave Herman | A Tail-Recursive Machine with Stack Inspection |
| 02/28/2006 | 8 | andrew cooke | The Theory of Classification - A Course on OO Type Systems |
| 02/28/2006 | 35 | Kay Schluehr | Tail call elimination decorator in Python |
| 02/27/2006 | 10 | keithb | McBride Derivative paper |
| 02/27/2006 | 13 | Ehud Lamm | Jon Udell: Multi-language runtimes |
| 02/26/2006 | 7 | OwcA | Compiler Technology for Scalable Architectures |
| 02/26/2006 | 15 | Ehud Lamm | Leak Free Javascript Closures |
| 02/26/2006 | 7 | Ehud Lamm | An Expressive Language of Signatures |
| 02/23/2006 | 12 | johnnyb | Effects on stability/exception handling of massively parallel programs |
| 02/23/2006 | 28 | Todd Coram | Rich resource site for the programming language "K" |
| 02/23/2006 | 8 | Ehud Lamm | Norman Ramsey: CS257 - Programming with Concurrency |
| 02/23/2006 | 3 | Andris Birkmanis | Hundreds of Impossibility Results for Distributed Computing |
| 02/22/2006 | 2 | akravets | Fortress Programming Language |
| 02/22/2006 | 30 | cdiggins | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
| 02/22/2006 | 35 | Ehud Lamm | Introduction to the Java EE 5 Platform |
| 02/21/2006 | 20 | bokel | source code conversion |
| 02/20/2006 | 4 | Peter Nuttall | Is there a formal basis for generators? |
| 02/20/2006 | 1 | Ehud Lamm | Dynamic Plug-In Linking, Loading, & Dispatching with Ada 2005 |
| 02/19/2006 | 28 | Ehud Lamm | Stroustrup: A Brief Look at C++0x |
| 02/19/2006 | 24 | Ehud Lamm | Specifying C++ Concepts |
| 02/18/2006 | 121 | Erik Meijer | Gilad Is Right |
| 02/17/2006 | 1 | w7cook | OOPSLA 2006 Call for Contributions |
| 02/16/2006 | 17 | DougOrleans | Accidental Syntax |
| 02/16/2006 | 8 | Ehud Lamm | Fission for Program Comprehension |
| 02/16/2006 | 11 | Ewan | The C Family of Languages: Interview with Dennis Ritchie, Bjarne Stroustrup, and James Gosling |
| 02/16/2006 | 2 | schluehk | Debug-Edit-Compile cycle |
| 02/16/2006 | 1 | Todd Coram | The SPIN model checker and Promela |
| 02/14/2006 | 4 | cdiggins | Concatenation Operators in Unimperative |
| 02/14/2006 | 8 | SamK | Haskell video lectures online |
| 02/13/2006 | 8 | Derek Elkins | Chu Spaces |
| 02/13/2006 | 38 | Ehud Lamm | Interval Computations |
| 02/12/2006 | 1 | Luke Gorrie | trapexit.org |
| 02/11/2006 | 18 | Matt Hellige | Type theory question... |
| 02/11/2006 | 109 | Ehud Lamm | Guido: Language Design Is Not Just Solving Puzzles |
| 02/11/2006 | 19 | Derek Elkins | Interval Datatype |
| 02/11/2006 | 1 | Luke Gorrie | ECLM 2006 |
| 02/10/2006 | 21 | Koray Can | Is STL algorithms doing damage to the cause? |
| 02/08/2006 | 13 | Ehud Lamm | Sociology of a Language Construct |
| 02/07/2006 | 15 | Klaus Ostermann | How are GADTs useful in practical programming? |
| 02/07/2006 | 1 | Paul Snively | A constraint-based approach to guarded algebraic data types |
| 02/07/2006 | 1 | Paul Snively | Constraint-based type inference for guarded algebraic data types |
| 02/07/2006 | 19 | Ehud Lamm | Programming Languages: Application and Interpretation |
| 02/07/2006 | 19 | Ehud Lamm | eWeek: 'Exotic' Programming Tools Go Mainstream |
| 02/06/2006 | 13 | Jeff Cutsinger | hypothetical question |
| 02/06/2006 | 1 | Ehud Lamm | A Guide to PLT Scheme Contracts |
| 02/05/2006 | 13 | const | Extensible Term Language |
| 02/05/2006 | 5 | Ehud Lamm | Inverse typechecker and theorem proving in intuitionistic and classical logics |
| 02/03/2006 | 14 | Charles Stewart | Combinators for contracts |
| 02/03/2006 | 48 | Todd Coram | Unix as programming language |
| 02/02/2006 | 13 | Jim Apple | A New Haskell and those anxious to change |
| 02/02/2006 | 1 | Jim Apple | Type Refinements for Programming Languages |
| 02/02/2006 | 1 | Jim Apple | The essence of ML type inference |
| 02/02/2006 | 6 | Jim Apple | G'Caml comes of age |
| 02/02/2006 | 127 | Per Vognsen | The Next Mainstream Programming Languages |
| 02/01/2006 | 31 | Jonathan Allen | What is a monad, why should I use it, and when is it appropriate? |
| 02/01/2006 | 6 | steven_shaw | Is the .NET platform embracing quotation and macros? |
| 01/31/2006 | 34 | SamK | Packaging Data And Methods |
| 01/31/2006 | 5 | mvw | Everything Your Professor Failed to Tell You About Functional Programming |
| 01/31/2006 | 2 | Matt Hellige | Robert Harper Named as ACM Fellow |
| 01/31/2006 | 19 | Noel | Naked Objects |
| 01/31/2006 | 13 | cyarvin | U, a small model |
| 01/31/2006 | 47 | Joel Reymont | Weak vs. strong typing |
| 01/30/2006 | 23 | raould | line breaks? |
| 01/30/2006 | 1 | xyzzy | Lambda the Ultimate Macro |
| 01/30/2006 | 9 | cdiggins | A-Posteriori Subtyping: Which Languages? |
| 01/29/2006 | 129 | xyzzy | Lambda the Ultimate Set Comprehension |
| 01/29/2006 | 2 | Scott Johnson | Proposed Wikipedia Programming Language Theory topic |
| 01/28/2006 | 4 | Jeff Nowakowski | Blockquote color |
| 01/28/2006 | 3 | Isaac Gouy | Dan Ingalls 7 Smalltalk implementations video |
| 01/28/2006 | 19 | Ehud Lamm | PyPy |
| 01/26/2006 | 3 | Charles Stewart | Rho calculus |
| 01/26/2006 | 6 | Ehud Lamm | MyHDL |
| 01/26/2006 | 3 | Ehud Lamm | Javascript Inheritance |
| 01/25/2006 | 33 | John Carter | Promising OS's from a Programming Language Perspective |
| 01/25/2006 | 15 | raould | Programming Language transformation? |
| 01/25/2006 | 2 | Ehud Lamm | PiDuce |
| 01/24/2006 | 51 | Erik Meijer | Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming |
| 01/24/2006 | 1 | Olivier Lefevre | A Formal Language for Analyzing Contracts |
| 01/23/2006 | 7 | Ehud Lamm | Wadler's Blog: Penn, PADL, POPL, and Plan-X |
| 01/23/2006 | 4 | Koray Can | Lambda the ultimate peer review |
| 01/23/2006 | 1 | Satrajit Chatterjee | Dr Jekyll and Mr C |
| 01/23/2006 | 9 | Ehud Lamm | Haskell is not not ML |
| 01/23/2006 | 16 | Ehud Lamm | Haskell vs. Erlang, Reloaded |
| 01/22/2006 | 79 | marco | Choice of OS of LtU readers |
| 01/22/2006 | 20 | Ehud Lamm | Infrastructure Announcement |
| 01/22/2006 | 4 | Mark Evans | Semantic Distance: NLP Not a Resource Sink |
| 01/21/2006 | 17 | andrew cooke | Rebol - Dialects, Spreadsheets |
| 01/20/2006 | 45 | andrew cooke | What is a Proposition? |
| 01/19/2006 | 1 | bdenckla | Sequentiality, laziness, Haskell, and cyclic block diagrams |
| 01/19/2006 | 17 | mjstahl | Referentially Transparent Scheme |
| 01/18/2006 | 3 | pintman | Deadlink |
| 01/18/2006 | 100 | Ehud Lamm | Lisp is sin |
| 01/18/2006 | 17 | Ehud Lamm | Spring School on Datatype-Generic Programming 2006 |
| 01/18/2006 | 17 | Matt Hellige | Scala 2 |
| 01/17/2006 | 1 | Charles Stewart | Programming a compiler with a proof assistant |
| 01/17/2006 | 26 | Todd Coram | GAWK (GNU AWK) for AI? |
| 01/17/2006 | 10 | Luke Gorrie | Project Oberon |
| 01/15/2006 | 37 | Ehud Lamm | Paul Vick: Language Design & Paying the UI "Tax" |
| 01/13/2006 | 4 | Scott Johnson | Pi-calculus and mobile system books |
| 01/13/2006 | 22 | Ewan | New for Python 2.5 |
| 01/13/2006 | 1 | cdiggins | Implicit Behavioral Subtyping |
| 01/12/2006 | 11 | Jonathan Allen | What is considered source code? |
| 01/12/2006 | 6 | Neil Madden | Towards the best collection traversal interface |
| 01/12/2006 | 18 | falcon | Functional libraries for Java |
| 01/10/2006 | 40 | Ehud Lamm | Tim Bray: Don't Invent XML Languages |
| 01/09/2006 | 1 | Nicolas Cannasse | Next Neko Features ? |
| 01/08/2006 | 10 | Todd Coram | New language for kids: Scratch - Logo meets Squeak Smalltalk? |
| 01/07/2006 | 58 | dataangel | Singleton classes really that bad? |
| 01/07/2006 | 5 | Ehud Lamm | Java Subtype Tests in Real-Time |
| 01/06/2006 | 5 | jesuswaffle | Effect Systems? |
| 01/06/2006 | 3 | Andris Birkmanis | Constraint Programming |
| 01/06/2006 | 5 | Ehud Lamm | Lego Mindstorms NXT Robotics Announced |
| 01/05/2006 | 13 | Babar K Zafar | Classic CS Texts |
| 01/03/2006 | 20 | Jillis ter Hove | Stroustrup talking about C++0x |
| 01/02/2006 | 6 | Serguey Zefirov | Dataflow languages and hardware - current status and directions |
| 01/02/2006 | 1 | Ehud Lamm | Fortran articles online |
| 01/02/2006 | 49 | Todd Coram | The new old or The "Return" to Concurrency |
| 01/01/2006 | 3 | Simon Haines | Favourite Use of Embedded Interpreters? |
| 12/31/2005 | 22 | Chris Rathman | Auld Lang Alice |
| 12/31/2005 | 8 | Andrei Formiga | Realistic Functional Programming in the Java Platform |
| 12/30/2005 | 37 | Koray Can | Return of the Global Variables? |
| 12/30/2005 | 23 | Matthew Morgan | Guy Steele on Language Design |
| 12/29/2005 | 64 | Andrei Formiga | Joel Spolsky views on CS education |
| 12/29/2005 | 22 | Ehud Lamm | Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism |
| 12/29/2005 | 10 | Mark Evans | Mind Mappers |
| 12/29/2005 | 7 | lmeyerov | Duck typing vs Structural Subtyping |
| 12/28/2005 | 5 | Ehud Lamm | Language affects 'half of vision' |
| 12/26/2005 | 9 | Elizabeth Daniel | Can anyone help me solve this Sudoku? |
| 12/23/2005 | 4 | Jillis ter Hove | Back to Basic |
| 12/23/2005 | 4 | Andris Birkmanis | An Operational Foundation for Delimited Continuations in the CPS Hierarchy |
| 12/22/2005 | 1 | raould | Understanding the Dynamic Nature of a Program |
| 12/22/2005 | 21 | Peter Van Roy | Insights on teaching computer programming |
| 12/22/2005 | 10 | Chung-chieh Shan | The undergraduate language course: what to do? |
| 12/22/2005 | 1 | Chung-chieh Shan | Exceptional syntax |
| 12/21/2005 | 7 | Ehud Lamm | Beyond "Beyond Java" etc. |
| 12/20/2005 | 1 | Ehud Lamm | Well?! |
| 12/20/2005 | 12 | Ravi Mohan | [Newbie] Where can I learn about VM / C interfacing? |
| 12/18/2005 | 5 | Ehud Lamm | The Behavior of Behavior |
| 12/17/2005 | 4 | Ehud Lamm | Chickenfoot |
| 12/17/2005 | 9 | Ehud Lamm | G-Men Called on W-Hats for WMVD |
| 12/16/2005 | 6 | Todd Coram | Revisiting AWK |
| 12/16/2005 | 24 | Mike Summers | Virtual machine implementation and dynamic languages |
| 12/16/2005 | 18 | Curt Sampson | Countering Trusting Trust through Diverse Double-Compiling |
| 12/15/2005 | 23 | Ehud Lamm | The Haskell Programmer's Guide to the IO Monad --- Don't Panic |
| 12/15/2005 | 4 | Ehud Lamm | The MetaC Language |
| 12/15/2005 | 1 | Isaac Gouy | The Smalltalk Report 1991-1996 |
| 12/14/2005 | 15 | MJ Stahl | Tradeoffs between Unique Types and Monads |
| 12/14/2005 | 1 | Jim Apple | Polymorphic Regular Tree Types and Patterns |
| 12/13/2005 | 24 | shapr | Djinn, a theorem prover in Haskell, for Haskell. |
| 12/13/2005 | 2 | bscarr | BBC Radio 4 Programme about the History and Development of AI |
| 12/13/2005 | 10 | Matt Hellige | Top N Papers 2005 |
| 12/12/2005 | 2 | Florian Hars | Logging in from "recent posts" |
| 12/11/2005 | 16 | mansu | Is this a new programming paradigm |
| 12/11/2005 | 16 | Toby Hutton | CPS without GC? |
| 12/11/2005 | 3 | Ehud Lamm | Frege's Contribution to Philosophy of Language |
| 12/11/2005 | 27 | Ehud Lamm | Back to the future... |
| 12/10/2005 | 4 | Jim Apple | Generic views |
| 12/09/2005 | 28 | andnaess | Types and reflection |
| 12/08/2005 | 2 | Isaac Gouy | Continuations from Generalized Stack Inspection |
| 12/08/2005 | 4 | pkhuong | Practical: Designing a graph matching language. |
| 12/07/2005 | 1 | Paul Snively | Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter |
| 12/07/2005 | 1 | Paul Snively | ClassicJava in PLT Redex |
| 12/07/2005 | 11 | James Hague | Actual programs written in FP or FL? |
| 12/07/2005 | 1 | Sriram Srinivasan | Workshop on Synchronization and Concurrency in OO languages |
| 12/07/2005 | 1 | Ehud Lamm | Fusion in less space |
| 12/06/2005 | 30 | Ehud Lamm | Envisioning a New Language: A Conversation With Victoria Livschitz |
| 12/05/2005 | 4 | Jim Apple | What is polytypic programming? |
| 12/04/2005 | 1 | Jim Apple | Ulf's Home-Page of Programming Language Design |
| 12/03/2005 | 6 | Matt Estes | Formal Frustration... |
| 12/03/2005 | 1 | Ehud Lamm | Lisp Books online |
| 12/02/2005 | 54 | raould | The breaking point of language usability? |
| 12/02/2005 | 8 | Ehud Lamm | Misc Links |
| 12/02/2005 | 4 | Jim Apple | Are we missing out on fancy types? |
| 12/01/2005 | 2 | Ryan Wisnesky | Internship advice |
| 11/30/2005 | 11 | Ehud Lamm | Lock-Free Data Structures using STMs in Haskell |
| 11/30/2005 | 26 | jimdesu | Conjunction types |
| 11/30/2005 | 10 | dataangel | New languages for OS level programming? |
| 11/30/2005 | 8 | Andris Birkmanis | Do we talk types over the phone? |
| 11/30/2005 | 6 | dav0 | Battle of the Languages II |
| 11/29/2005 | 3 | Andris Birkmanis | Ghost bumps |
| 11/29/2005 | 23 | mjstahl | The building of robust software |
| 11/28/2005 | 3 | Todd Coram | Interesting Logo Site: Elica |
| 11/28/2005 | 2 | Ehud Lamm | John Vlissides |
| 11/27/2005 | 12 | mansu | Network Transparent languages |
| 11/26/2005 | 14 | dataangel | Getting started in language design -- reading material? |
| 11/26/2005 | 6 | Jim Apple | Systematic search for lambda expressions |
| 11/25/2005 | 3 | Jim Apple | Monads are an idiom, but Idiom isn't a monad |
| 11/25/2005 | 17 | shapr | Collection of links to monad implementations in various languages. |
| 11/25/2005 | 1 | Ehud Lamm | New category for Ruby posts |
| 11/24/2005 | 8 | Ehud Lamm | Generalized Algebraic Data Types and Object-Oriented Programming |
| 11/23/2005 | 4 | remco greve | Programming language inventors quiz |
| 11/23/2005 | 3 | Niels Hoogeveen | GADT's revisited |
| 11/22/2005 | 63 | Ehud Lamm | Code Reading |
| 11/21/2005 | 5 | Andris Birkmanis | In the beginning was game semantics |
| 11/21/2005 | 16 | David Teller | Dependent types: literature, implementations and limitations ? |
| 11/20/2005 | 21 | Matt Hellige | Monads in Ruby |
| 11/20/2005 | 2 | Ehud Lamm | FORTRAN 25th anniversary film online |
| 11/19/2005 | 2 | ramses0 | Feedback on post? |
| 11/19/2005 | 1 | Mark Evans | Ragel State Machine Compiler |
| 11/18/2005 | 19 | Ehud Lamm | Felleisen: How to Design Class Hierarchies |
| 11/17/2005 | 67 | segphault | Ruby the Rival |
| 11/17/2005 | 5 | Ehud Lamm | The X10 Programming Language |
| 11/17/2005 | 21 | Givas | Fortress Specs Updated: 0.785 |
| 11/17/2005 | 15 | shapr | What good is Strong Normalization in Programming Languages? |
| 11/15/2005 | 10 | Matt Hellige | Extensible Records With Scoped Labels |
| 11/11/2005 | 1 | Cremieux Alain | A Generator for Type Checkers |
| 11/11/2005 | 30 | falcon | Algebra Of Programming (Bird, De Moor) |
| 11/10/2005 | 8 | Nicolas Cannasse | Neko 1.1 Released |
| 11/10/2005 | 19 | Andris Birkmanis | Putting Curry-Howard to Work |
| 11/10/2005 | 43 | Riaan Moll | CaSe SenSitIviTy! What is its purpose in programming language syntax? |
| 11/10/2005 | 14 | Mark Evans | OCaml 3.0.9 |
| 11/09/2005 | 42 | Paul Snively | Battling Bugs: A Digital Quagmire |
| 11/09/2005 | 10 | Niels Hoogeveen | The Role of Type Equality in Meta-Programming |
| 11/09/2005 | 4 | Ehud Lamm | Software Factories at OOPSLA 2005 |
| 11/09/2005 | 1 | Ehud Lamm | PDC videos online |
| 11/09/2005 | 9 | Ehud Lamm | OOPSLA 2005: Io, a small programming language |
| 11/09/2005 | 10 | Dave Lopez | Prototype based OO |
| 11/09/2005 | 18 | Riaan Moll | Classification according to type vs function - An anecdote |
| 11/08/2005 | 8 | raould | Can one avoid monads? |
| 11/08/2005 | 16 | Matt Hellige | The Reasoned Schemer |
| 11/08/2005 | 1 | Ehud Lamm | Busy, busy, busy |
| 11/08/2005 | 26 | David B. Held | Type Nomenclature |
| 11/06/2005 | 4 | Luke Gorrie | Don Knuth: Musings and More |
| 11/05/2005 | 9 | mjstahl | How does Lisp do that?!? |
| 11/04/2005 | 22 | Jeffery Walker | Programming Language Names |
| 11/04/2005 | 4 | Luke Gorrie | Tutorial on Good Lisp Programming Style |
| 11/04/2005 | 9 | Allan McInnes | Slashdot asks: "how would you improve SQL?" |
| 11/04/2005 | 8 | xamdam | iPod-compatible SICP |
| 11/03/2005 | 4 | bdenckla | A + b * c in Brian Meek's "The static semantics file" |
| 11/03/2005 | 5 | Andris Birkmanis | Jakarta Commons Monad, er, Chain |
| 11/03/2005 | 13 | StuartBruff | Elegant Method of binding a function variable |
| 11/02/2005 | 15 | Derek Elkins | Geometric Algebra |
| 11/02/2005 | 3 | Daniel Slaney | Curry/Howard and Disjunction |
| 11/02/2005 | 15 | Luke Gorrie | Smalltalk case-statement |
| 11/01/2005 | 3 | Anton van Straaten | [Site] Network issues |
| 10/31/2005 | 6 | kruhft | Parsing and syntax reordering |
| 10/31/2005 | 1 | mattias waldau | Waste your CPU-resources on programming challenge |
| 10/30/2005 | 5 | Paul Snively | Alloy: A Simple Structural Modeling Language Based on First-Order Logic |
| 10/30/2005 | 38 | jesuswaffle | The Type-System-Feature-Creep Death Spiral |
| 10/29/2005 | 72 | Ehud Lamm | Does Visual Studio Rot the Mind? |
| 10/29/2005 | 2 | Ehud Lamm | New blog |
| 10/28/2005 | 127 | Ehud Lamm | OOPSLA 2005 Reports |
| 10/28/2005 | 31 | Ehud Lamm | An Overview of the Singularity Project |
| 10/28/2005 | 12 | Ehud Lamm | Map of LtU readers |
| 10/27/2005 | 5 | Klaus Ostermann | Finding Application Errors Using PQL: A Program Query Language |
| 10/27/2005 | 37 | Ehud Lamm | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 10/26/2005 | 13 | Laurent Bruter | Would LISP/FP help here? |
| 10/26/2005 | 3 | raould | Pre-LINQ: rich object management in your PL |
| 10/26/2005 | 5 | Ehud Lamm | Lowering the barriers to programming |
| 10/25/2005 | 10 | Charles Stewart | Journal "Logical Methods in CS" |
| 10/25/2005 | 1 | el-vadimo | Microsoft Command Shell (msh) |
| 10/24/2005 | 77 | David B. Held | Why Lists? |
| 10/24/2005 | 7 | falcon | Incremental algorithm help |
| 10/21/2005 | 4 | Matt Hellige | Terminology proposal |
| 10/21/2005 | 31 | Ehud Lamm | Linear types for aliased resources |
| 10/21/2005 | 45 | Ehud Lamm | What do you mean by studying "programming languages"? |
| 10/20/2005 | 113 | falcon | Bruce Tate: Technologies that may challenge Java |
| 10/20/2005 | 27 | Ehud Lamm | C#: Yesterday, Today, and Tomorrow: An Interview with Anders Hejlsberg |
| 10/20/2005 | 2 | kilrati | Selfish reference begging |
| 10/19/2005 | 4 | Ehud Lamm | Larry Wal: State of the Onion |
| 10/19/2005 | 13 | Ehud Lamm | Multigame A Very High Level Language for Describing Board Games |
| 10/19/2005 | 4 | tomaco | ABLE |
| 10/18/2005 | 51 | Greg Buchholz | Best default sequence? |
| 10/18/2005 | 1 | Ehud Lamm | Modular Checking for Buffer Overflows in the Large |
| 10/18/2005 | 3 | spdegabrielle | Abstraction |
| 10/18/2005 | 4 | Ehud Lamm | Commercial Users of Functional Programming (CUFP) |
| 10/18/2005 | 3 | Scott Johnson | Test post |
| 10/17/2005 | 81 | mjstahl | Object Oriented Programming + Referential Transparency |
| 10/17/2005 | 11 | Ehud Lamm | Mechanizing Language Definitions |
| 10/14/2005 | 1 | bdenckla | Translational vs. denotational semantics |
| 10/14/2005 | 1 | raould | (from 2004) Possibly faster Haskell |
| 10/14/2005 | 33 | raould | Territorial Exception Handling |
| 10/14/2005 | 5 | Erik Meijer | LINQ BOF at OOPSLA |
| 10/13/2005 | 11 | ade_oshineye | Implementing Higher Order Messages |
| 10/13/2005 | 1 | Ehud Lamm | Syntactic Abstraction in Component Interfaces |
| 10/13/2005 | 7 | Jacques Carette | New GUI paradigm |
| 10/13/2005 | 60 | Sebastien Pierre | Expressions vs Statements |
| 10/12/2005 | 7 | Peter Van Roy | American lecture tour gets real |
| 10/12/2005 | 93 | Andris Birkmanis | Formal methods for O/R mapping |
| 10/10/2005 | 7 | Kevin Lipe | PLT and College |
| 10/10/2005 | 31 | rossjudson | Macros/Syntax vs. AST manipulation |
| 10/10/2005 | 6 | JamesLitsios | Formal methods used in developing "profitable" software |
| 10/09/2005 | 71 | naasking | The Church-Turing Thesis: Breaking the Myth |
| 10/08/2005 | 2 | Nukleo | Problems with Embedding Eclipse/Prolog in VC++ |
| 10/08/2005 | 22 | shapr | Zipper-based file server/OS |
| 10/07/2005 | 2 | bdenckla | Literature on commutative lifted boolean operators |
| 10/07/2005 | 33 | Ehud Lamm | XNHTML |
| 10/06/2005 | 4 | Scott Johnson | Virtual Machine books |
| 10/06/2005 | 46 | genneth | Scalability |
| 10/06/2005 | 2 | Ehud Lamm | Control-Flow Integrity |
| 10/06/2005 | 1 | Anton van Straaten | [Admin] Probation |
| 10/05/2005 | 20 | rici | Scoping based on control flow graph |
| 10/05/2005 | 1 | raould | Types and Proof Carrying Code: Mobius |
| 10/05/2005 | 4 | Andris Birkmanis | Combining computational effects |
| 10/05/2005 | 3 | ruin8r | Interesting old promotional video for Intentional Programming |
| 10/05/2005 | 13 | raould | Static type inference & late binding? |
| 10/04/2005 | 1 | Ehud Lamm | MIT CADR Source Snapshot Released |
| 10/04/2005 | 11 | Sean Leather | Chapel: "Solving the parallel programming problem" |
| 10/03/2005 | 6 | shapr | Number-Parameterized Types by Oleg Kiselyov |
| 10/03/2005 | 13 | Nathan Sobo | Question: Graceful error recovery during parsing |
| 10/01/2005 | 3 | Hank Thediek | Debuging state. |
| 10/01/2005 | 22 | ade_oshineye | The English-Likeness Monster |
| 09/30/2005 | 15 | AlasdairScott | Ivory, an experimental declarative programming system |
| 09/30/2005 | 73 | el-vadimo | "The Anatomy of a Loop" |
| 09/29/2005 | 4 | Isaac Gouy | Active Objects with Syntax Directed Dialogs |
| 09/29/2005 | 22 | Ehud Lamm | Invokedynamic |
| 09/29/2005 | 23 | Ehud Lamm | LtU etiquette |
| 09/29/2005 | 3 | Ehud Lamm | Propositional Satisfiability and Constraint Programming: A comparative Survey |
| 09/27/2005 | 23 | raould | Looking for FP Debuggers |
| 09/27/2005 | 7 | Luke Gorrie | ICFP Programming Contest 2005 Results |
| 09/27/2005 | 80 | Ehud Lamm | LtU: Style and Focus |
| 09/26/2005 | 3 | andrew cooke | NetKernel - XML processing pipeline |
| 09/25/2005 | 4 | Stuart Davis | Searching For Derek Elkins |
| 09/23/2005 | 19 | Nathan Sobo | Non-Lisp, natively extensible? |
| 09/23/2005 | 32 | raould | Abstractions considered harmful? |
| 09/23/2005 | 30 | Anton van Straaten | Continuations library for Java |
| 09/23/2005 | 2 | Ehud Lamm | A Type Discipline for Authorization Policies |
| 09/23/2005 | 1 | Dave Herman | Channel 9 Videos on VB |
| 09/23/2005 | 2 | Ehud Lamm | XQuery Implementation in a Relational Database System |
| 09/23/2005 | 4 | Erik Meijer | XLinq: XML Programming Refactored (The Return Of The Monoids) |
| 09/22/2005 | 46 | raould | What is Intuitive? |
| 09/22/2005 | 6 | Allan McInnes | Logix: Multi-Language Programming |
| 09/22/2005 | 9 | el-vadimo | Mondo bizarro |
| 09/22/2005 | 8 | Ehud Lamm | Select/From versus From/Select |
| 09/22/2005 | 49 | letdinosaursdie | Ruby: Language of the Programming Übermensch? |
| 09/22/2005 | 32 | Ehud Lamm | Don Box: Scheme Is Love |
| 09/22/2005 | 5 | Ehud Lamm | Visual Haskell |
| 09/22/2005 | 1 | Isaac Gouy | Categories for Software Engineering - recommend? |
| 09/22/2005 | 5 | mansu | Table Oriented Programming |
| 09/21/2005 | 13 | shapr | The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene |
| 09/21/2005 | 5 | raould | Live update of source with inferred type? |
| 09/21/2005 | 16 | Jim Apple | Dynamic vs. Static Typing - A Pattern-Based Analysis |
| 09/21/2005 | 7 | Brandon J Van Every | SeaFunc meets Tues. Sept. 27th |
| 09/21/2005 | 18 | Tim Sweeney | Good languages with simple grammar |
| 09/20/2005 | 27 | Matt Hellige | Dynamic typing in OCaml |
| 09/20/2005 | 31 | Ehud Lamm | RPC Under Fire |
| 09/18/2005 | 13 | Matt OConnor | Functional multi-method programming language |
| 09/16/2005 | 1 | Philip Wadler | FLOPS 2006 |
| 09/16/2005 | 4 | Ehud Lamm | Haskell's overlooked object system |
| 09/16/2005 | 9 | Ehud Lamm | Guest Blogger Erik Meijer |
| 09/15/2005 | 5 | Greg Buchholz | Garbage Collection as a Lazy Algorithm |
| 09/15/2005 | 150 | David B. Held | Most Productive FP Lang? |
| 09/15/2005 | 4 | Erik Meijer | Visual Basic 9 Interview on DDJ |
| 09/15/2005 | 1 | James Hague | Is REBOL a pure functional language? |
| 09/15/2005 | 8 | Chris | Nemerle and C# 3.0 |
| 09/15/2005 | 6 | citylight | Category theory |
| 09/14/2005 | 1 | Anton van Straaten | An Operational Semantics for R5RS Scheme |
| 09/13/2005 | 3 | Patrick Logan | Perl and Haskell |
| 09/13/2005 | 3 | tmoertel | Are you using delimited continuations? |
| 09/13/2005 | 1 | Allan McInnes | Building Compilers by Combining Algebras |
| 09/13/2005 | 46 | Erik Meijer | Visual Basic and LINQ |
| 09/13/2005 | 5 | Ehud Lamm | Generic implementation of all four *F* operators: from control0 to shift |
| 09/13/2005 | 14 | Andris Birkmanis | Genetic algorithms vs. genetic programming - PLT perspective? |
| 09/13/2005 | 1 | Matthew Morgan | Plugging Haskell In |
| 09/12/2005 | 2 | Ehud Lamm | Twill: an extensible scriptlet language for testing web apps |
| 09/12/2005 | 8 | Ehud Lamm | Distributive laws for the Coinductive Solution of Recursive Equations |
| 09/11/2005 | 3 | olpa | XSieve: XSLT + Scheme |
| 09/09/2005 | 12 | Scott Johnson | Twenty-First Century Compilers |
| 09/09/2005 | 5 | Andris Birkmanis | Asynchronous Exceptions in Haskell |
| 09/09/2005 | 93 | letdinosaursdie | Haskell and creative freedom |
| 09/08/2005 | 1 | Ehud Lamm | More forum spam |
| 09/08/2005 | 1 | Ehud Lamm | A Bialgebraic Review of Regular Expressions, Deterministic Automata and Languages |
| 09/07/2005 | 50 | Robbert van Dalen | Persistent functional databases |
| 09/07/2005 | 11 | Carter T Schonwald | Combining Theorem Proving and Programming |
| 09/06/2005 | 1 | Ehud Lamm | Etech 2006 CFP |
| 09/05/2005 | 17 | Ehud Lamm | Threads Cannot be Implemented as a Library |
| 09/05/2005 | 2 | akallio | Calling imperative code from declarative? |
| 09/05/2005 | 20 | Ehud Lamm | Guido van Rossum: Building an Open Source Project and Community |
| 09/05/2005 | 4 | Ehud Lamm | JExamples |
| 09/04/2005 | 4 | Ehud Lamm | Jon Udell: The riddle of asynchrony |
| 09/03/2005 | 29 | Isaac Gouy | Apple: procedural -> OO -> AOP -> advanced procedural |
| 09/02/2005 | 19 | Isaac Gouy | OO Language Engineering for the Post-Java Era |
| 09/02/2005 | 18 | Todd Coram | System programming using FP |
| 09/01/2005 | 20 | Ehud Lamm | Ruby on Rails: An Interview with David Heinemeier Hansson |
| 09/01/2005 | 7 | Ehud Lamm | ContextL |
| 08/31/2005 | 4 | Chris Rathman | REXX Introduction |
| 08/31/2005 | 1 | Ehud Lamm | Laziness Without All the Hard Work |
| 08/30/2005 | 8 | Andris Birkmanis | Real-life use case - which PLs support it nicely? |
| 08/29/2005 | 3 | Isaac Gouy | Learning to Program with Alice (not Mozart/Oz ML) |
| 08/29/2005 | 104 | Nathan Sobo | Yearning for a practical scheme |
| 08/29/2005 | 3 | shapr | Big O complexity for abstractions? |
| 08/29/2005 | 62 | Ehud Lamm | Tim Bray on Ruby |
| 08/27/2005 | 26 | mansu | Does Abstraction add Fuzziness? |
| 08/27/2005 | 7 | senthil | A section on Books |
| 08/27/2005 | 9 | andrew cooke | CodeProfiles.java - CODeDOC 2002 |
| 08/27/2005 | 9 | Anton van Straaten | New Server |
| 08/25/2005 | 7 | Neil Madden | Deikto user interface in Erasmatron storytelling engine |
| 08/24/2005 | 9 | Ethan Aubin | Filtering Threads |
| 08/23/2005 | 5 | Matt Hellige | Scalable Component Abstractions |
| 08/23/2005 | 33 | Klaus Ostermann | Should Computer Science Get Rid of Protocols? |
| 08/23/2005 | 49 | Leon P Smith | Ivory Towers and Gelfand's Principle |
| 08/22/2005 | 16 | Greg Buchholz | Functional anti-memoization |
| 08/22/2005 | 1 | Ehud Lamm | The birth of the FORTRAN II subroutine |
| 08/22/2005 | 19 | Ehud Lamm | When to create syntax? |
| 08/22/2005 | 3 | Ehud Lamm | Jon Udell: A conversation with Jonathan Robie about XQuery |
| 08/21/2005 | 1 | vsl | MetaPlatform 0.0.1 |
| 08/19/2005 | 7 | C G | Formal semantics for working programmers |
| 08/19/2005 | 1 | meltsner | Amber: Eiffel/Ruby inspired language for the Parrot VM |
| 08/19/2005 | 10 | Isaac Gouy | Sawzall - a popular language at Google |
| 08/18/2005 | 2 | pmougin | ObjectiveCLIPS Released |
| 08/18/2005 | 19 | Nicolas Cannasse | Neko 1.0 |
| 08/16/2005 | 7 | dbfaken | Large imperative code --> functional |
| 08/16/2005 | 50 | andnaess | Forum usability |
| 08/13/2005 | 47 | Frank Atanassow | 'Information and Computation' Open Access |
| 08/12/2005 | 22 | dbfaken | Invariants/Contracts vs. types |
| 08/12/2005 | 2 | el-vadimo | Please help add entries to FreeTechBooks.com |
| 08/12/2005 | 31 | C G | Syntax Design |
| 08/11/2005 | 12 | Greg Buchholz | Larger Subroutines == Fewer Defects |
| 08/11/2005 | 2 | Andris Birkmanis | Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets |
| 08/11/2005 | 1 | Andris Birkmanis | JavaMonads |
| 08/10/2005 | 6 | Anton van Straaten | Concrete Abstractions on the web |
| 08/09/2005 | 23 | David B. Held | Expressivity |
| 08/09/2005 | 7 | Kevin Lipe | Aardappel and visual programming |
| 08/08/2005 | 9 | falcon | Simpler representation of operational semantics? |
| 08/08/2005 | 110 | Chris | Concatenative Language Kont |
| 08/08/2005 | 4 | Andris Birkmanis | Guarded Induction and Weakly Final Coalgebras in Dependent Type Theory |
| 08/08/2005 | 12 | Andris Birkmanis | Coupling of concepts - good or bad |
| 08/05/2005 | 50 | Chris Rathman | Have scripting languages peaked? |
| 08/05/2005 | 48 | Anton van Straaten | Overloading - Syntactic Heroin? |
| 08/05/2005 | 3 | Riaan Moll | So what's Right and what is Wrong with the GNU GPL? |
| 08/04/2005 | 10 | Andris Birkmanis | Trampolining Architectures |
| 08/04/2005 | 220 | Riaan Moll | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/04/2005 | 11 | Per Vognsen | A Lisp to JavaScript Compiler in 100 Lines |
| 08/03/2005 | 2 | Isaac Gouy | Bigloo.NET: compiling Scheme to .NET CLR |
| 08/02/2005 | 50 | NoobProgrammer | Mercury Vs Prolog |
| 08/02/2005 | 28 | dan_ | A Java/Python hybrid? |
| 08/02/2005 | 7 | Andris Birkmanis | Causal Nets |
| 08/02/2005 | 2 | Frank Atanassow | A Case for Formal Specification |
| 08/02/2005 | 5 | Cory Bloyd | The Simplicity of Concurrency |
| 08/01/2005 | 3 | Andris Birkmanis | Programming Paradigms of the Andorra Kernel Language |
| 08/01/2005 | 6 | Thomas Sutton | Language Evolution applied to PLT |
| 08/01/2005 | 6 | Alan Eliasen | New Fortress Specification |
| 08/01/2005 | 1 | Thomas Sutton | Parsing expression languages |
| 08/01/2005 | 2 | arthur.amshukov | Concrete Parse Tree to AST |
| 07/31/2005 | 5 | Ehud Lamm | Vacation |
| 07/31/2005 | 2 | Ehud Lamm | Fast and Loose Reasoning is Morally Correct |
| 07/31/2005 | 1 | Jim Apple | GoF get SIGPLAN award |
| 07/30/2005 | 56 | Chris Rathman | An interview with Chris Date |
| 07/29/2005 | 15 | Andrei Formiga | More on the "generics are evil" meme |
| 07/29/2005 | 2 | kilrati | Deleting my Post |
| 07/29/2005 | 7 | kilrati | A question about subtypes inference |
| 07/29/2005 | 5 | Ehud Lamm | Slides for ' Programming in Haskell' |
| 07/29/2005 | 1 | rhat | CTM Author American University Tour |
| 07/29/2005 | 8 | Greg Buchholz | Language support for generating functions? |
| 07/28/2005 | 9 | Ehud Lamm | A Typed Intermediate Language for Compiling Multiple Inheritance |
| 07/28/2005 | 17 | Peter Van Roy | CTM tour during the week of Nov. 7 |
| 07/28/2005 | 11 | ehrlich | ML without GC |
| 07/27/2005 | 22 | Ehud Lamm | Happy Birthday, dear Lambda |
| 07/27/2005 | 6 | Chris | [Fun, crass] The Daily WTF |
| 07/27/2005 | 13 | axilmar | A software engineering problem: how would functional programming solve it? |
| 07/26/2005 | 5 | cuishitai | 4-color theorem |
| 07/26/2005 | 6 | Andris Birkmanis | Concurrent Clustered Programming |
| 07/26/2005 | 2 | Naveed Fakhar | Software Re-engineering Techniques and Reverse Engineering of Object-oriented Code ( Java language) |
| 07/25/2005 | 3 | Andrei Formiga | Type and Effects systems and Lucassen's Thesis |
| 07/24/2005 | 3 | Ehud Lamm | Lazy linear algebra |
| 07/24/2005 | 1 | Ehud Lamm | Kay no longer at HP |
| 07/23/2005 | 18 | Andris Birkmanis | AdbmaL |
| 07/23/2005 | 24 | Ehud Lamm | ACM Queue: Security Problem Solved? |
| 07/21/2005 | 12 | mjstahl | Concerning introspection and compilation. |
| 07/21/2005 | 6 | johnnyb | The Limits of the Semantic Extensibility of Computer Programs |
| 07/21/2005 | 13 | Andris Birkmanis | The Complexity Zoo |
| 07/20/2005 | 1 | rsmudge | Sleep, scripting language for Java apps, released |
| 07/19/2005 | 76 | Isaac Gouy | On the Revival of Dynamic Languages |
| 07/19/2005 | 33 | Ehud Lamm | Grady Booch: Software Engineering Grand Challenges |
| 07/19/2005 | 17 | axilmar | Conversion of 'functional' to 'imperative' algorithms: is it possible? |
| 07/18/2005 | 13 | David N. Welton | Economics of Programming Languages |
| 07/17/2005 | 1 | Andris Birkmanis | A Concurrent Lambda Calculus with Futures |
| 07/17/2005 | 1 | Ehud Lamm | Abstract interpretation for constraint handling rules |
| 07/17/2005 | 3 | Ehud Lamm | Automatic type inference via partial evaluation |
| 07/17/2005 | 1 | Ehud Lamm | A Plan for Pugs |
| 07/17/2005 | 3 | Kevin Lipe | Esolang Extravaganza |
| 07/17/2005 | 1 | skybrian | Method inlining as a macro system |
| 07/16/2005 | 1 | Serguey Zefirov | DiaGen and DiaPlan |
| 07/16/2005 | 20 | Ehud Lamm | Termite: a Lisp for Distributed Computing |
| 07/14/2005 | 3 | Ehud Lamm | General Purpose Cellular Automata Programming |
| 07/12/2005 | 2 | Nicolas Cannasse | MTASC Slides |
| 07/12/2005 | 3 | Ehud Lamm | SISCweb |
| 07/12/2005 | 30 | Peri Hankey | The Language Machine - a toolkit for language and grammar |
| 07/11/2005 | 2 | Sam | Anyone know what's going on with scsh? |
| 07/11/2005 | 1 | Ehud Lamm | Luke? |
| 07/11/2005 | 87 | Isaac Gouy | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/10/2005 | 7 | Ehud Lamm | Classic LISP books online |
| 07/10/2005 | 8 | jakobihans | Data is code |
| 07/09/2005 | 2 | Ehud Lamm | ILC 2005 Slides and Audio |
| 07/09/2005 | 24 | rumplestiltkin | CTM |
| 07/09/2005 | 8 | Chris Rathman | ESL Design |
| 07/07/2005 | 13 | segphault | Parrot 0.2.2 Released |
| 07/06/2005 | 6 | Ovid | Dynamic Languages Journal? |
| 07/06/2005 | 3 | Jim Apple | The New C Standard |
| 07/05/2005 | 9 | Ehud Lamm | The design of C++0x |
| 07/05/2005 | 2 | Jeff Cutsinger | Malbolge figured out? |
| 07/04/2005 | 3 | sebastien | XSL and DSL code refactoring |
| 07/03/2005 | 4 | Ehud Lamm | Spam |
| 07/03/2005 | 6 | Andris Birkmanis | Design Concepts in Programming Languages |
| 07/03/2005 | 1 | Ehud Lamm | A Theory of Distributed Objects |
| 07/03/2005 | 9 | Ehud Lamm | Squeak tutorial |
| 07/02/2005 | 18 | Ehud Lamm | Behaviour: Using CSS selectors to apply Javascript functionality |
| 07/02/2005 | 6 | Ehud Lamm | Language Workbenches: The Killer-App for Domain Specific Languages? |
| 07/02/2005 | 3 | Ehud Lamm | A Typed, Compositional Logic for a Stack-Based Abstract Machine |
| 06/30/2005 | 11 | marco | Ook? |
| 06/30/2005 | 32 | marco | Martin Fowler on Language Workbenches and DSLs |
| 06/30/2005 | 1 | Andris Birkmanis | Lambda-mu |
| 06/30/2005 | 7 | falcon | "typed" files OR xml OR meta information for delim. files. |
| 06/29/2005 | 14 | Matt Hellige | Organizing papers... |
| 06/29/2005 | 51 | Noel | Hungarian Notation vs The Right Thing |
| 06/29/2005 | 2 | Andris Birkmanis | A Formulae-as-Types Interpretation of Subtractive Logic |
| 06/28/2005 | 1 | marco | Dyna: a weighted dynamic logic programming language |
| 06/28/2005 | 1 | Matthew Morgan | GHC Survey Results |
| 06/28/2005 | 52 | Anton van Straaten | Generics are a mistake? |
| 06/27/2005 | 3 | Andris Birkmanis | Revisiting coroutines |
| 06/27/2005 | 17 | Jim Apple | Dead Languages |
| 06/27/2005 | 3 | Jim Apple | A Typeful Approach to Object-Oriented Programming with Multiple inheritance |
| 06/26/2005 | 1 | Ehud Lamm | LispNYC's proposed Summer of Code projects |
| 06/26/2005 | 27 | cdiggins | Functions as Classes: Which languages? |
| 06/26/2005 | 10 | bdenckla | "dynamic" generative programming? |
| 06/25/2005 | 1 | Cyril Konopko | MPS-based editor for Epigram programming language. |
| 06/23/2005 | 4 | Philip Wadler | Scottish Programming Language Seminar |
| 06/23/2005 | 7 | Greg Buchholz | Static Types vs. Partially Evaluated Latent Types |
| 06/23/2005 | 40 | Ehud Lamm | How To Read a Paper |
| 06/23/2005 | 4 | bdenckla | "applicative" vs."functional" |
| 06/22/2005 | 11 | Andris Birkmanis | A Monadic Framework for Subcontinuations |
| 06/22/2005 | 2 | Ehud Lamm | The Underhanded C Contest |
| 06/22/2005 | 3 | Andris Birkmanis | Crystal Scheme: A Language for Massively Parallel Machines |
| 06/22/2005 | 1 | Ehud Lamm | Backtracking, Interleaving, and Terminating Monad Transformers |
| 06/21/2005 | 2 | stuartn | SuDoku |
| 06/20/2005 | 51 | johnnyb | Why recursing is better than looping |
| 06/20/2005 | 2 | Ehud Lamm | TypeCase: A Design Pattern for Type-Indexed Functions |
| 06/20/2005 | 4 | Isaac Gouy | A Call to Arms |
| 06/19/2005 | 5 | Ehud Lamm | YubNub |
| 06/19/2005 | 6 | Ehud Lamm | Book stats |
| 06/18/2005 | 24 | Isaac Gouy | JavaScript 2.0: Evolving a Language for Evolving Systems |
| 06/18/2005 | 2 | Ehud Lamm | Accurate step counting |
| 06/18/2005 | 44 | andrew cooke | Embedded Languages in Java |
| 06/15/2005 | 3 | Noel | Keep Blogging Worker Bee! |
| 06/14/2005 | 17 | Ehud Lamm | Tim Bray: On Threads |
| 06/14/2005 | 14 | Ehud Lamm | LIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'05 |
| 06/13/2005 | 8 | Andris Birkmanis | Transducer Composition and CPS |
| 06/13/2005 | 16 | Ehud Lamm | Java Generics, Arrays, and Comparables |
| 06/13/2005 | 1 | David B. Wildgoose | Off Topic Humour: New Programming Language C+- |
| 06/12/2005 | 3 | Chris Rathman | VB8 Language Specification |
| 06/11/2005 | 23 | Ehud Lamm | Sudoku |
| 06/11/2005 | 8 | chien012 | Multilinguals learning computer languages faster than monol. |
| 06/11/2005 | 14 | Matthew Morgan | Links Demos |
| 06/11/2005 | 5 | neoakut | New C++-like language for Windows |
| 06/10/2005 | 1 | Jeff Cutsinger | HP's Dynamo |
| 06/10/2005 | 7 | B Lee | Classes or prototypes |
| 06/10/2005 | 13 | Ehud Lamm | Connecting The Dots |
| 06/09/2005 | 4 | Andris Birkmanis | Bottom-Up beta-Substitution: Uplinks and lambda-DAGs |
| 06/09/2005 | 30 | Dominic Fox | Happy Birthday, PHP... |
| 06/08/2005 | 6 | Chris Rathman | Congrats in order |
| 06/08/2005 | 3 | Ehud Lamm | XQuery 1.0 and XPath 2.0 Formal Semantics - Last Call |
| 06/08/2005 | 2 | Andris Birkmanis | On Evaluation Contexts, Continuations, and the Rest of Computation |
| 06/07/2005 | 1 | olpa | Reusing XML Processing Code in non-XML Applications |
| 06/07/2005 | 10 | falcon | Data locality and data structures |
| 06/07/2005 | 37 | Peter J. Wasilko | What will Apple's move to Intel mean for Alternative Language Communities? |
| 06/07/2005 | 18 | Hank Thediek | A question I have been meaning to ask. |
| 06/06/2005 | 16 | Andris Birkmanis | From shift and reset to polarized linear logic |
| 06/05/2005 | 16 | Ehud Lamm | Bidirectional fold and scan |
| 06/05/2005 | 4 | Amir Michail | Open Source Developer Rankings & Their Applications |
| 06/03/2005 | 1 | el-vadimo | Evolving the Java Platform |
| 06/03/2005 | 3 | Andris Birkmanis | Avionics Control Systems DSL from 1994, by Doug Lea |
| 06/02/2005 | 20 | Ehud Lamm | Adam Bosworth: Ajax reconsidered |
| 06/02/2005 | 13 | Klaus Ostermann | Variables as Channels |
| 06/02/2005 | 2 | segphault | A Core Calculus of Metaclasses |
| 06/02/2005 | 4 | sebastien | New extension for the TXL language : ETXL |
| 06/01/2005 | 26 | jimdesu | Basic(er) Simple(r) Type Theory(?) |
| 06/01/2005 | 5 | Ehud Lamm | LtU needs you! |
| 05/31/2005 | 8 | Dmitri Kondratiev | Today's Status of Functional Programming Languages for Verification Tools ? |
| 05/30/2005 | 1 | robby | 2005 ICFP Programming Contest |
| 05/30/2005 | 40 | Hank Thediek | What is so bad about compiling? |
| 05/28/2005 | 1 | Ehud Lamm | The Essence of Data Access in Cw |
| 05/28/2005 | 19 | Mark Evans | Judy Stores |
| 05/27/2005 | 3 | Ehud Lamm | Scrap your boilerplate with class: extensible generic functions |
| 05/27/2005 | 3 | Tucho | Conference in Vancouver |
| 05/27/2005 | 8 | falcon | Pure bigraphs: structure and dynamics (by Robin Milner) |
| 05/27/2005 | 17 | neelk | Short examples of complex use of state? |
| 05/26/2005 | 4 | kilrati | Data flow analysis on functional Language |
| 05/26/2005 | 11 | Ehud Lamm | Generics: The Importance of Wildcards |
| 05/26/2005 | 1 | falcon | Pure bigraphs: structure and dynamics (by Robin Milner) |
| 05/26/2005 | 1 | falcon | Pure bigraphs: structure and dynamics (by Robin Milner) |
| 05/26/2005 | 7 | MtnViewMark | Context Free: Grammars as Graphics |
| 05/26/2005 | 4 | Noel | PLT Needs You! |
| 05/26/2005 | 6 | Ehud Lamm | Lisp or Erlang |
| 05/26/2005 | 6 | Ehud Lamm | Differentiating Data Structures |
| 05/26/2005 | 4 | Amir Michail | Competitive Collaborative Specification of GUI Applications through User Test Cases and Merit-Based Conflict Resolution |
| 05/24/2005 | 10 | michaels | DSL Error Handling in an Object Oriented context |
| 05/23/2005 | 2 | Ehud Lamm | Jon Udell: Tools for dynamic languages |
| 05/23/2005 | 6 | Paul McJones | Archiving LISP history |
| 05/22/2005 | 59 | Mark Evans | Haskell for C Programmers |
| 05/21/2005 | 23 | Ehud Lamm | Parameterized Unit Tests |
| 05/20/2005 | 2 | Dave Benjamin | First public release of PyPy |
| 05/19/2005 | 6 | Philip Wadler | The Essence of Programming: Reynoldsfest at MFPS |
| 05/19/2005 | 15 | Philip Wadler | Two Thank Yous for Peter van Roy |
| 05/19/2005 | 1 | chri1753 | LLVM 1.5 released with tail call optimization |
| 05/19/2005 | 5 | Andris Birkmanis | Funny characters inference |
| 05/19/2005 | 22 | rmalafaia | Tail recursion |
| 05/18/2005 | 16 | Danx | AST intermediate representations |
| 05/18/2005 | 21 | Chris Lattner | LLVM 1.5 has been released! |
| 05/17/2005 | 4 | marco | Cyc Knowledge Server |
| 05/17/2005 | 6 | Chris | Modern Language Features of Visual C++ 2005 |
| 05/17/2005 | 23 | Chris Rathman | Grassroots computing languages hit the big time |
| 05/17/2005 | 1 | Ehud Lamm | Editors on Vacation |
| 05/16/2005 | 8 | falcon | Resources related to logic? |
| 05/15/2005 | 2 | Ehud Lamm | Implicitly Heterogeneous Multi-stage Programming |
| 05/14/2005 | 2 | Ehud Lamm | Parallel Programming with Matrix Distributed Processing |
| 05/13/2005 | 5 | falcon | Advanced Types in Qi |
| 05/13/2005 | 3 | Ehud Lamm | Language-based security for mobile code, with applications to smart cards |
| 05/13/2005 | 1 | Ehud Lamm | Dtracing Python |
| 05/13/2005 | 2 | Thomas Sutton | The logic of communicating on channels |
| 05/12/2005 | 17 | yuhong | A question about COBOL! |
| 05/11/2005 | 1 | Jim Apple | Applied Type System |
| 05/11/2005 | 1 | Peter Van Roy | Design Philosophy of Distributed Programming in Mozart |
| 05/11/2005 | 1 | Jim Apple | The Epigram Blog |
| 05/11/2005 | 7 | Ehud Lamm | Python Challenge |
| 05/11/2005 | 8 | Ehud Lamm | Cellang |
| 05/11/2005 | 1 | Ehud Lamm | Functional and Declarative Programming in Education (FDPE05) |
| 05/10/2005 | 1 | Ehud Lamm | A type discipline for authorization policies |
| 05/10/2005 | 2 | Marc Hamann | Saunders Mac Lane 1909-2005 |
| 05/10/2005 | 16 | citylight | More sites like Lambda |
| 05/10/2005 | 36 | Ehud Lamm | Why Dependent Types Matter |
| 05/10/2005 | 1 | Ehud Lamm | TYPES Summer School 2005 |
| 05/07/2005 | 42 | Ehud Lamm | subtext: Uncovering the simplicity of programming |
| 05/07/2005 | 14 | Morris Johns | Best route for new language to be self-hosting |
| 05/06/2005 | 10 | Jim Apple | GADTs + Extensible Kinds = Dependent Programming |
| 05/06/2005 | 1 | Jim Apple | Existential Types == Guarded Types |
| 05/05/2005 | 175 | Achilleas Margaritis | Let's make a programming language! |
| 05/04/2005 | 8 | Ehud Lamm | Spec# |
| 05/03/2005 | 9 | Luke Gorrie | Why do computers stop and what can be done about it? |
| 05/02/2005 | 3 | Andris Birkmanis | Generic Accumulations: Battery-powered Bananas |
| 05/01/2005 | 103 | rwuyts | Call for Papers: ACM Symposium on Dynamic Languages |
| 04/30/2005 | 21 | Peter Schombert | What makes Centum a bad language? |
| 04/30/2005 | 20 | Allan McInnes | The long tail of programming languages |
| 04/30/2005 | 1 | Ehud Lamm | AlphaWorks: Pattern Modeling and Analysis Tool for Java Garbage Collector |
| 04/30/2005 | 5 | Andris Birkmanis | Lambdascope |
| 04/29/2005 | 66 | tmoertel | From Perl Monks: "pissed off about functional programming" |
| 04/28/2005 | 9 | Ehud Lamm | AOP blog and aosd discussion |
| 04/28/2005 | 9 | Matthew Morgan | R6RS Scheme Status Report |
| 04/28/2005 | 20 | pakumar21 | Memory fault and segmentation faults |
| 04/27/2005 | 3 | el-vadimo | OO runtime graphs are scale-free |
| 04/27/2005 | 37 | Dave Herman | The Fortress Language Spec v0.618 |
| 04/27/2005 | 4 | Doug Auclair | Two papers on combinators |
| 04/26/2005 | 2 | Ehud Lamm | Call to and for editors |
| 04/26/2005 | 42 | falcon | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 04/26/2005 | 6 | mjstahl | Implementing a Lisp Editor - Would like some advice. |
| 04/25/2005 | 13 | shapr | Richard Hamming - "You and Your Research" |
| 04/25/2005 | 4 | Andris Birkmanis | Restructuring Partitioned Normal Form Relations Without Information Loss |
| 04/25/2005 | 35 | Nicolas Cannasse | Virtual Machine and Runtime Framework |
| 04/24/2005 | 2 | Ehud Lamm | FORTRAN pilot project |
| 04/23/2005 | 12 | Andris Birkmanis | Sapir-Whorf again? |
| 04/21/2005 | 164 | David Waern | Why do they program in C++? |
| 04/21/2005 | 1 | Andris Birkmanis | Constructing Sequent Rules for Generalized Propositional Logics |
| 04/21/2005 | 38 | Ehud Lamm | Computer generates verifiable mathematics proof |
| 04/21/2005 | 13 | Ehud Lamm | 2005 Programming Languages Day at Watson |
| 04/20/2005 | 2 | Ehud Lamm | Ada 2006 Documents |
| 04/20/2005 | 1 | andrew cooke | XJ - XML Enhancemets for Java |
| 04/20/2005 | 12 | Tayssir John Gabbour | Qi 6.1 released |
| 04/20/2005 | 1 | David Teller | Encodings (wikipedia) |
| 04/20/2005 | 3 | Ehud Lamm | Jhc |
| 04/20/2005 | 1 | Ehud Lamm | Semantic Streams: a Framework for Declarative Queries and Automatic Data Interpretation |
| 04/19/2005 | 17 | Daniel Yokomizo | Why Dependent Types Matter |
| 04/19/2005 | 8 | Ehud Lamm | Relating FFTW and Split-Radix |
| 04/19/2005 | 1 | Andris Birkmanis | Datatype Laws without Signatures |
| 04/19/2005 | 1 | Ehud Lamm | Y in haskell |
| 04/18/2005 | 7 | Martin Pomije | How much better is the second edition of "Essentials of Programming Languages"? |
| 04/18/2005 | 8 | beev | Anyone remember Russell (the language, that is)? |
| 04/18/2005 | 4 | Andris Birkmanis | What happened to Charity? |
| 04/17/2005 | 20 | cas | On the Unusual Effectiveness of Logic in Computer Science |
| 04/17/2005 | 19 | gmol | Chemistry, Graph Tranformation and Programming Languages |
| 04/15/2005 | 5 | Sam | Is EOPL available as an e-book anywhere? |
| 04/15/2005 | 3 | Dave Herman | Sam Ruby: Continuations for Curmudgeons |
| 04/15/2005 | 1 | shapr | The Glasgow Haskell Compiler Survey - GHC needs your feedback! |
| 04/15/2005 | 6 | Andris Birkmanis | Garbage collecting computations |
| 04/15/2005 | 8 | Ehud Lamm | How widespread are inhouse DSLs? |
| 04/14/2005 | 1 | shapr | Chris Coyne's Context Free Design Grammar, and SCIgen - Randomly generated CS papers. |
| 04/14/2005 | 14 | Andris Birkmanis | Denotational semantics of a DSL? |
| 04/14/2005 | 2 | Chui Tey | Turing Extender Language (TXL) |
| 04/13/2005 | 1 | Andris Birkmanis | CogPrints - if you believe PLs are languages |
| 04/13/2005 | 3 | Tim Docker | What makes a forum topic "active"? |
| 04/12/2005 | 61 | Philip Wadler | Links |
| 04/11/2005 | 27 | cas | Dominus talks about HO Perl |
| 04/10/2005 | 20 | Ehud Lamm | Language Design 101 |
| 04/10/2005 | 4 | Andris Birkmanis | Premonoidal categories and notions of computation |
| 04/08/2005 | 26 | Ethan Aubin | Links Slides |
| 04/08/2005 | 1 | meltsner | JPred -- predicate dispatch for Java |
| 04/08/2005 | 48 | Ehud Lamm | Computerworld Development Survey |
| 04/07/2005 | 2 | Bryn Keller | MetaKlaim |
| 04/07/2005 |