Posts By: Paul Snively
| Date | Post | Topic |
| 07/11/2012 | Quick historical meandering | Erik Meijer started a discussion on Domain Specific Languages |
| 06/27/2012 | Mechanized λ<sub>JS</sub> | Mechanized λ<sub>JS</sub> |
| 06/28/2012 | Resources | Mechanized λ<sub>JS</sub> |
| 06/22/2012 | How to Make Ad Hoc Proof Automation Less Ad Hoc | How to Make Ad Hoc Proof Automation Less Ad Hoc |
| 06/25/2012 | Good question | How to Make Ad Hoc Proof Automation Less Ad Hoc |
| 06/18/2012 | Validating LR(1) parsers | Validating LR(1) parsers |
| 05/26/2012 | Tool Demo: Scala-Virtualized | Tool Demo: Scala-Virtualized |
| 04/17/2012 | Suggestion | Certified Programming with Dependent Types: home stretch! |
| 04/18/2012 | Lost | Certified Programming with Dependent Types: home stretch! |
| 04/19/2012 | OK | Certified Programming with Dependent Types: home stretch! |
| 04/18/2012 | Gratitude | Certified Programming with Dependent Types: home stretch! |
| 04/17/2012 | Addendum | Symmetry in type systems |
| 02/29/2012 | Milawa on Jitawa: a Verified Theorem Prover | Milawa on Jitawa: a Verified Theorem Prover |
| 02/09/2012 | FWIW | Teaching challenge: culturally enriching formulae-as-types |
| 01/28/2012 | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations |
| 02/03/2012 | UPenn | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations |
| 02/09/2012 | No Worries | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations |
| 02/03/2012 | Oops | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations |
| 02/09/2012 | Done | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations |
| 01/02/2012 | <a href="deca#comment-68743" class="active">This is it</a> | Deca, an LtU-friendly bare metal systems programming language |
| 01/08/2012 | <a href="deca#comment-68841" class="active">Very Kind...</a> | Deca, an LtU-friendly bare metal systems programming language |
| 10/30/2011 | Foundations of Inference | Foundations of Inference |
| 11/15/2011 | Not sure... | Foundations of Inference |
| 11/15/2011 | Definitely | Foundations of Inference |
| 01/22/2012 | We Want Information! Information! INFORMATION! | Foundations of Inference |
| 01/23/2012 | Point Set Topology | Foundations of Inference |
| 01/24/2012 | 100 years isn't "soon" in the history of mathematics | Foundations of Inference |
| 01/27/2012 | Aczel | Foundations of Inference |
| 10/30/2011 | The Experimental Effectiveness of Mathematical Proof | The Experimental Effectiveness of Mathematical Proof |
| 10/31/2011 | Agreed | The Experimental Effectiveness of Mathematical Proof |
| 10/30/2011 | Hard is different from impossible | The Experimental Effectiveness of Mathematical Proof |
| 10/31/2011 | Briefly and partially | The Experimental Effectiveness of Mathematical Proof |
| 11/01/2011 | Mysticism | The Experimental Effectiveness of Mathematical Proof |
| 11/01/2011 | Both | The Experimental Effectiveness of Mathematical Proof |
| 11/02/2011 | Related Work | The Experimental Effectiveness of Mathematical Proof |
| 10/28/2011 | Where... | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/28/2011 | It's controversial... | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/28/2011 | More later... | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/29/2011 | Yes | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/30/2011 | Thank You | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/31/2011 | Solomonoff Induction... | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/31/2011 | Machine Learning | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/19/2011 | Dylan | Open thread: RIP Steve Jobs |
| 10/19/2011 | Having been there when Dylan was being developed... | Open thread: RIP Steve Jobs |
| 09/24/2011 | VMKit | Redesigning the Mozart virtual machine |
| 09/13/2011 | FPCC | The SAFE Platform |
| 09/02/2011 | With friends like this... | the gnu extension language |
| 09/02/2011 | OK | the gnu extension language |
| 09/02/2011 | OK | the gnu extension language |
| 09/02/2011 | Not OK | the gnu extension language |
| 09/04/2011 | Good Points and Greatly Appreciated | the gnu extension language |
| 09/04/2011 | See Also... | the gnu extension language |
| 08/20/2011 | See Also... | Delimited Continuations Blues? |
| 08/22/2011 | The key question | Delimited Continuations Blues? |
| 07/28/2011 | Lightweight Monadic Programming in ML | Lightweight Monadic Programming in ML |
| 07/28/2011 | Thanks! | Lightweight Monadic Programming in ML |
| 07/20/2011 | Modulo Not Knowing What You Want... | Is it possible to write code that works the very first time? |
| 07/21/2011 | I feel compelled... | Is it possible to write code that works the very first time? |
| 07/21/2011 | Two Things... | Is it possible to write code that works the very first time? |
| 07/23/2011 | Definitions | Is it possible to write code that works the very first time? |
| 07/23/2011 | What's in YOUR TCB? | Is it possible to write code that works the very first time? |
| 07/25/2011 | OK | Is it possible to write code that works the very first time? |
| 07/25/2011 | OK | Is it possible to write code that works the very first time? |
| 07/25/2011 | Circles | Is it possible to write code that works the very first time? |
| 07/25/2011 | TCB | Is it possible to write code that works the very first time? |
| 07/25/2011 | Psychology vs. Math :-) | Is it possible to write code that works the very first time? |
| 07/26/2011 | True... | Is it possible to write code that works the very first time? |
| 07/21/2011 | On Trust | Is it possible to write code that works the very first time? |
| 07/21/2011 | Spec as Complex as Code | Is it possible to write code that works the very first time? |
| 07/23/2011 | Mainstreaming | Is it possible to write code that works the very first time? |
| 07/22/2011 | Tongue in Cheek | Is it possible to write code that works the very first time? |
| 07/23/2011 | Intensionality vs. Extensionality | Is it possible to write code that works the very first time? |
| 07/23/2011 | Baselines | Is it possible to write code that works the very first time? |
| 07/23/2011 | Reflection | Is it possible to write code that works the very first time? |
| 07/23/2011 | Through the Curry-Howard Lens | Is it possible to write code that works the very first time? |
| 07/24/2011 | FWIW | Is it possible to write code that works the very first time? |
| 07/25/2011 | From Proof to Program | Is it possible to write code that works the very first time? |
| 07/28/2011 | Intriguing | Levy: a Toy Call-by-Push-Value Language |
| 07/21/2011 | Continuation Stuff for Schemers | Implementor's guide/tutorial to delimited continuations? |
| 07/21/2011 | The Four Faces of Delimited Continuations | Implementor's guide/tutorial to delimited continuations? |
| 07/23/2011 | Fun With Cactus Stacks | Implementor's guide/tutorial to delimited continuations? |
| 07/19/2011 | MASM? | The Last Language? |
| 06/27/2011 | Earlier Than That | Strange Loop 2011 - Languages galore |
| 05/23/2011 | History | Rob Pike: Public Static Void |
| 05/14/2011 | Kleisli Arrows of Outrageous Fortune | Kleisli Arrows of Outrageous Fortune |
| 05/16/2011 | Thanks! | Kleisli Arrows of Outrageous Fortune |
| 06/29/2012 | Ditto | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/10/2011 | To quote myself from Twitter... | Rule 110 in HTML5 + CSS3 |
| 03/04/2011 | Hansei | Middle History of Logic Programming |
| 11/20/2010 | Here we go again! | Clojure's Solutions to the Expression Problem |
| 11/22/2010 | I might be missing something... | Clojure's Solutions to the Expression Problem |
| 11/23/2010 | Theory vs. Practice | Clojure's Solutions to the Expression Problem |
| 10/10/2010 | Mirage | First-class modules: hidden power and tantalizing promises |
| 09/28/2010 | codyroux is right... | obj vs. ml vs. coq (fight?) |
| 09/13/2010 | Information Flow | principle of least authority and programming languages |
| 08/27/2010 | I was also thinking... | Computational equivalent of incompleteness theorems? |
| 08/25/2010 | Actors and Active Objects | Unifying Actors and Objects? |
| 08/28/2010 | Scope of Critique | Unifying Actors and Objects? |
| 08/04/2010 | Type Classes as Objects and Implicits | Type Classes as Objects and Implicits |
| 08/07/2010 | BER-MetaOCaml | Type Classes as Objects and Implicits |
| 08/18/2010 | Lightweight Multi-Stage Programming | Type Classes as Objects and Implicits |
| 08/07/2010 | Hmmm... | Type Classes as Objects and Implicits |
| 08/07/2010 | Reset | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/07/2010 | scala.react Status? | Deprecating the Observer Pattern |
| 07/29/2010 | Lambda the Ultimate... | It's been ten years! |
| 07/31/2010 | Let's hope... | It's been ten years! |
| 07/16/2010 | N/A | Is mathematics invention or discovery? |
| 07/08/2010 | Ur/Web | The Rust Language |
| 07/07/2010 | It's Tur...ing Machines All the Way Down | Uncle Bob's talk at RailsConf 2010 |
| 06/28/2010 | Your Guy | The Halting Problem and Program Proving Algorithms |
| 06/25/2010 | Markov | A lambda calculus with arbitrary set primitives |
| 06/28/2010 | Forget Measures... | A lambda calculus with arbitrary set primitives |
| 06/27/2010 | In the interest of ecumenicism... | A lambda calculus with arbitrary set primitives |
| 06/09/2010 | What's mature? | SIGPLAN's first Programming Languages Software Award goes to LLVM |
| 06/03/2010 | Pure... | Algebraic |
| 05/29/2010 | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic |
| 05/30/2010 | Ditto | Adding Type Constructor Parameterization to Java |
| 04/25/2010 | Jane Street Capital... | SEC interested in formalising contracts ... in Python |
| 04/15/2010 | *sigh* | Visual programming for movies, games |
| 04/17/2010 | Short-Circuit | Visual programming for movies, games |
| 04/16/2010 | Good Question! | seL4: Formal Verification of an Operating-System Kernel |
| 06/22/2010 | In Certain Circles... | seL4: Formal Verification of an Operating-System Kernel |
| 06/23/2010 | Interesting | seL4: Formal Verification of an Operating-System Kernel |
| 06/24/2010 | Decomposition | seL4: Formal Verification of an Operating-System Kernel |
| 06/25/2010 | Self-Made Frustration | seL4: Formal Verification of an Operating-System Kernel |
| 06/25/2010 | Practice Makes Perfect | seL4: Formal Verification of an Operating-System Kernel |
| 04/15/2010 | C Done Well is a Thing o Beauty | How can C Programs be so Reliable? |
| 04/09/2010 | I followed the link... | splitting the program into formalizable vs. non-formalizable parts? |
| 04/09/2010 | More to Come... | splitting the program into formalizable vs. non-formalizable parts? |
| 04/14/2010 | Apologies | splitting the program into formalizable vs. non-formalizable parts? |
| 04/16/2010 | A Few Recommendations | splitting the program into formalizable vs. non-formalizable parts? |
| 04/16/2010 | What's the point? | splitting the program into formalizable vs. non-formalizable parts? |
| 04/16/2010 | Thank You | splitting the program into formalizable vs. non-formalizable parts? |
| 04/15/2010 | Conjecture vs. Theory | splitting the program into formalizable vs. non-formalizable parts? |
| 04/16/2010 | Good Point | splitting the program into formalizable vs. non-formalizable parts? |
| 04/12/2010 | Interesting | splitting the program into formalizable vs. non-formalizable parts? |
| 03/31/2010 | FWIW... | Go's proposed panic/recover exception-like mechanism |
| 04/01/2010 | Yikes | Go's proposed panic/recover exception-like mechanism |
| 03/31/2010 | Who Knew that HP... | Can functional programming be liberated from the von Neumann paradigm? |
| 03/24/2010 | Shameless Plug | jsMath support? |
| 03/23/2010 | Seconded | First-class environments. Discuss. ;) |
| 03/23/2010 | Touchy Subject | First-class environments. Discuss. ;) |
| 03/17/2010 | As You MIght Imagine... | On the (Alleged) Value of Proof for Assurance |
| 03/17/2010 | Automation | On the (Alleged) Value of Proof for Assurance |
| 05/07/2010 | With an error like this... | On the (Alleged) Value of Proof for Assurance |
| 05/07/2010 | Quick Addendum | On the (Alleged) Value of Proof for Assurance |
| 05/08/2010 | "Production" Code | On the (Alleged) Value of Proof for Assurance |
| 05/08/2010 | Phase Distinctions | On the (Alleged) Value of Proof for Assurance |
| 05/23/2010 | Plenty of Truth | On the (Alleged) Value of Proof for Assurance |
| 03/17/2010 | Maybe Worth Noting... | On the (Alleged) Value of Proof for Assurance |
| 03/17/2010 | BTW... | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Afoul Language | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Still Curious | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Not Quite | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Fair Enough | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | See Reply to Sam | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Points of Comparison | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Thesis | On the (Alleged) Value of Proof for Assurance |
| 03/22/2010 | Isn't That What Marc Said Up-Thread? | On the (Alleged) Value of Proof for Assurance |
| 03/22/2010 | Nothing More Than Feelings | On the (Alleged) Value of Proof for Assurance |
| 03/23/2010 | Thanks! | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | Bingo | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | de Bruijn Criterion | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | FWIW | On the (Alleged) Value of Proof for Assurance |
| 06/18/2010 | Proof Script vs. Proof | On the (Alleged) Value of Proof for Assurance |
| 06/19/2010 | Absolutely | On the (Alleged) Value of Proof for Assurance |
| 03/12/2010 | In particular... | Urbit: Functional programming from scratch |
| 03/05/2010 | Not Quite | LISP basis for computable functions on S-Expressions. |
| 03/04/2010 | Opposite Road | a "thank you" to You |
| 06/11/2010 | Wow | plt vs. something else for programming in the large? |
| 06/11/2010 | Principles | plt vs. something else for programming in the large? |
| 06/11/2010 | Good Points... | plt vs. something else for programming in the large? |
| 06/12/2010 | Don't REALLY Disagree... | plt vs. something else for programming in the large? |
| 06/14/2010 | The Great Crux | plt vs. something else for programming in the large? |
| 06/14/2010 | Trenchant! | plt vs. something else for programming in the large? |
| 06/14/2010 | Nope | plt vs. something else for programming in the large? |
| 06/14/2010 | Is... | plt vs. something else for programming in the large? |
| 06/14/2010 | Exactly | plt vs. something else for programming in the large? |
| 06/14/2010 | Meaty! | plt vs. something else for programming in the large? |
| 06/14/2010 | plt vs. something else for programming in the large? | plt vs. something else for programming in the large? |
| 06/15/2010 | Its a Fair Cop... | plt vs. something else for programming in the large? |
| 06/15/2010 | Other Useful Models | plt vs. something else for programming in the large? |
| 06/15/2010 | Thank You | plt vs. something else for programming in the large? |
| 06/15/2010 | XRef | plt vs. something else for programming in the large? |
| 02/16/2010 | A Lambda Calculus for Real Analysis | A Lambda Calculus for Real Analysis |
| 02/17/2010 | Ouch | A Lambda Calculus for Real Analysis |
| 03/16/2010 | Bell's Theorem | Recent Progress in Quantum Algorithms |
| 03/16/2010 | Physics | Recent Progress in Quantum Algorithms |
| 02/16/2010 | One of which... | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/16/2010 | Short Answer | Constraint Programming Local Search and Numerical Optimization |
| 02/12/2010 | See Also... | Computational Semantics with Functional Programming |
| 02/09/2010 | Flora-2 | Why prolog is by far the best, most productive, easiest programming language |
| 01/25/2010 | Delimited Control in OCaml, Abstractly and Concretely, System Description | Delimited Control in OCaml, Abstractly and Concretely, System Description |
| 01/26/2010 | Different Issues | Delimited Control in OCaml, Abstractly and Concretely, System Description |
| 01/24/2010 | Scala Days at EPFL, Lausanne, Switzerland | Scala Days at EPFL, Lausanne, Switzerland |
| 01/09/2010 | Syntactic Proofs of Compositional Compiler Correctness | Syntactic Proofs of Compositional Compiler Correctness |
| 01/09/2010 | A Verified Compiler for an Impure Functional Language | A Verified Compiler for an Impure Functional Language |
| 01/09/2010 | Certified Programming With Dependent Types Goes Beta | Certified Programming With Dependent Types Goes Beta |
| 01/16/2010 | Good Question | Certified Programming With Dependent Types Goes Beta |
| 12/30/2009 | Hansei | Is (probabilistic) non-determinism pure ? |
| 12/23/2009 | Finally, I wonder why | The AI Systems of Left 4 Dead |
| 11/13/2009 | "Systems Programs" and BitC | Go or Unladen Swallow? |
| 11/13/2009 | Tight Coupling | Go or Unladen Swallow? |
| 10/28/2009 | Blast From the Past | What is a Type? |
| 08/10/2009 | A Verified Compiler for an Impure Functional Language | A Verified Compiler for an Impure Functional Language |
| 08/12/2009 | I would only add... | A Verified Compiler for an Impure Functional Language |
| 08/06/2009 | Effective Interactive Proofs for Higher-Order Imperative Programs | Effective Interactive Proofs for Higher-Order Imperative Programs |
| 08/06/2009 | Certified Web Services in Ynot | Certified Web Services in Ynot |
| 12/27/2009 | Sadly | Objects as Modules in Newspeak |
| 08/06/2009 | Nice | Verified Programming in Guru |
| 07/16/2009 | That would be me. :-) [N/T] | Proposing a LtU twitter (news) feed ... |
| 07/12/2009 | "The Next Haskell Will be Strict, But Still Pure" | Announcing the new Haskell Prime process, and Haskell 2010 |
| 06/23/2009 | Careful Design | Perlis Languages |
| 06/14/2009 | Security | Preventing downcasting and adding a universal variant |
| 06/01/2009 | At a guess... | Going functional on exotic trades |
| 05/26/2009 | Tim Sweeney on Epic Games' History | Tim Sweeney on Epic Games' History |
| 05/14/2009 | Favorite Language Design Comment | A Brief, Incomplete ... History of Programming Languages |
| 05/07/2009 | LNGen | LNGen |
| 05/07/2009 | Achieving Security Despite Compromise Using Zero-Knowledge | Achieving Security Despite Compromise Using Zero-Knowledge |
| 05/05/2009 | Yes and No | Static typing may require runtime type checking? |
| 05/05/2009 | Converging to a point? | Static typing may require runtime type checking? |
| 05/05/2009 | Trying to Get Taut | Static typing may require runtime type checking? |
| 04/21/2009 | Stab | The deBrujin Criterion and the "LCF Approach". |
| 04/17/2009 | A Generic Type-and-Effect System | A Generic Type-and-Effect System |
| 03/22/2009 | At the not insignificant risk of trolling... | Site problems |
| 03/23/2009 | Quite Right | Site problems |
| 03/04/2009 | Ensuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent Types | Ensuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent Types |
| 03/05/2009 | The Importance... | Ensuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent Types |
| 02/18/2009 | Dana | Dana |
| 02/21/2009 | FRP Directions | Dana |
| 02/23/2009 | What is FRP, etc. | Dana |
| 02/21/2009 | Very Interesting! | Dana |
| 01/22/2009 | Denotational | Specifying semantics and type rules |
| 01/23/2009 | Denotational vs. Operational Semantics | Specifying semantics and type rules |
| 01/11/2009 | Have you read... | Specifying Solver Behavior? |
| 01/06/2009 | Good Stuff | Automatically Generating the Back End of a Compiler Using Declarative Machine Descriptions |
| 12/17/2008 | Parametricity and Security | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/22/2008 | One possible answer... | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/09/2008 | Type inference for correspondence types | Type inference for correspondence types |
| 12/09/2008 | Revisiting Coq | AMS: A Special Issue on Formal Proof |
| 11/18/2008 | Type-Checking Zero Knowledge | Type-Checking Zero Knowledge |
| 11/11/2008 | Very Thoughtful... | The Origins of the BitC Programming Language |
| 11/19/2008 | I'll bite... | The Origins of the BitC Programming Language |
| 11/20/2008 | Ha ha, only serious | The Origins of the BitC Programming Language |
| 11/09/2008 | Basis for Comparison | The Origins of the BitC Programming Language |
| 10/27/2008 | Certified Programming With Dependent Types | Summary of Dependently Typed Systems? |
| 10/15/2008 | OCaml 3.11.0-beta1 Available | OCaml 3.11.0-beta1 Available |
| 10/13/2008 | Question | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/14/2008 | :-) | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/14/2008 | Of course. | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 09/02/2008 | In particular... | Closures for C |
| 09/02/2008 | In particular... | Closures for C |
| 07/23/2008 | Ontic | Practical Set Theory |
| 07/17/2008 | BitC and PreScheme | Practical Bits of Making a Compiler for a New Language |
| 07/21/2008 | You don't have to be crazy to develop BitC... :-) | Practical Bits of Making a Compiler for a New Language |
| 06/23/2008 | Update to "Parametric Higher-Order Abstract Syntax for Mechanized Semantics" | Update to "Parametric Higher-Order Abstract Syntax for Mechanized Semantics" |
| 07/08/2008 | New Lambda Tamer Release | Update to "Parametric Higher-Order Abstract Syntax for Mechanized Semantics" |
| 06/22/2008 | There is no escape... | Writing a new language - ideas? |
| 06/21/2008 | Is it? | Pure imperative programming |
| 06/16/2008 | Parametric Higher-Order Abstract Syntax for Mechanized Semantics | Parametric Higher-Order Abstract Syntax for Mechanized Semantics |
| 06/06/2008 | Aardappel | First class class objects, class vs. value namespaces, etc. |
| 06/19/2008 | I'm very interested... | Applied Proof Theory: Proof Interpretations and their Use in Mathematics |
| 06/01/2008 | Exactly | what a type system always proves vs. what it can be made to prove |
| 06/10/2008 | I'm not Ehud... | what a type system always proves vs. what it can be made to prove |
| 06/02/2008 | Yep | Types Considered Harmful |
| 05/24/2008 | Quote | Category theory in design |
| 05/20/2008 | Facts tend to be conditional... | Linear Logical Algorithms |
| 05/15/2008 | Yep | Logical Algorithms |
| 05/16/2008 | Maybe... | Lambda, the Ultimate TA |
| 05/15/2008 | I have little to add... | Scala Lift Off Unconference review |
| 05/08/2008 | Disappointing | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 05/15/2008 | This is a really good question... | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 04/24/2008 | Addition and comments | On Presenting Operational Semantics |
| 04/22/2008 | Thanks! | program verification: the very idea |
| 04/22/2008 | Don't take my word for it... | program verification: the very idea |
| 04/23/2008 | Exactly! | program verification: the very idea |
| 04/23/2008 | Intel | program verification: the very idea |
| 04/24/2008 | TCB | program verification: the very idea |
| 04/24/2008 | Indeed | program verification: the very idea |
| 04/24/2008 | Let me be the first... | program verification: the very idea |
| 04/26/2008 | Points of Agreement | program verification: the very idea |
| 04/27/2008 | It might not be what you meant... | program verification: the very idea |
| 04/27/2008 | Agreed | program verification: the very idea |
| 04/27/2008 | Clarification? | program verification: the very idea |
| 04/29/2008 | Brief, woefully inadequate response | program verification: the very idea |
| 04/21/2008 | Sergei Artemov | M.Sc thesis ideas on the intersection: Artificial intelligence, Category theory, and Programming languages. |
| 04/22/2008 | On the contrary... | M.Sc thesis ideas on the intersection: Artificial intelligence, Category theory, and Programming languages. |
| 04/16/2008 | Background | The irreducible physicality of security properties |
| 04/17/2008 | Quite Right | The irreducible physicality of security properties |
| 04/13/2008 | My motivation... | Applications of formal semantics |
| 03/30/2008 | Actually... | future history of logic programming |
| 03/30/2008 | Perhaps... | Algebraist Network |
| 03/04/2008 | There is... | Confused Deputies in Programming Languages |
| 02/28/2008 | Well... | Is null needed? |
| 03/17/2008 | Bedwyr | Pure, Declarative, and Constructive Arithmetic Relations |
| 02/20/2008 | It's been done... | A modular toolchain for parsing and compiling code? |
| 02/19/2008 | Perhaps... | Uniform naming |
| 02/19/2008 | You Might Find... | Uniform naming |
| 02/15/2008 | One of My Best Buys | 10 Years of Purely Functional Data Structures |
| 02/08/2008 | This is the Domain... | Lanugages with built-in rules/tests? |
| 02/06/2008 | UnrealScript... | Signals in an OOPL |
| 02/05/2008 | It Doesn't Help... | Latest usability for polymorphism? |
| 02/03/2008 | I Had Not Known This... | A name for this form of variable capture? |
| 01/30/2008 | I Guess it Scratches Paul Graham's Itch... | Arc is released |
| 02/01/2008 | Er... | Arc is released |
| 01/29/2008 | The YNot Project | The YNot Project |
| 02/01/2008 | The Challenge... | The YNot Project |
| 02/02/2008 | Obviously | The YNot Project |
| 02/02/2008 | Clarification | The YNot Project |
| 01/29/2008 | Good Question! | The YNot Project |
| 04/24/2008 | Callout | The YNot Project |
| 01/28/2008 | SISC | VM's... What's the best? |
| 01/23/2008 | Nice! | Type-safe printf using delimited continuations, in Coq |
| 01/23/2008 | Great! | Type-safe printf using delimited continuations, in Coq |
| 01/24/2008 | Coq 8.2 | Type-safe printf using delimited continuations, in Coq |
| 01/24/2008 | I don't know how "parsec-style" it is... | Type-safe printf using delimited continuations, in Coq |
| 01/25/2008 | OK | How useful is reflection, anyway? |
| 01/24/2008 | Yes! | The Design and Implementation of Typed Scheme |
| 01/26/2008 | Sorry... | The Design and Implementation of Typed Scheme |
| 01/22/2008 | Actually... | The Logic of Proofs |
| 01/17/2008 | Yes, albeit incrementally | beyond programming languages |
| 01/18/2008 | Paying Customers | beyond programming languages |
| 01/20/2008 | Connections | Understanding category theory and its practical applications |
| 01/16/2008 | I don't know if this is a "practical application," but... | Understanding category theory and its practical applications |
| 01/10/2008 | Yep | Engineering Formal Metatheory |
| 01/12/2008 | Convergence | Engineering Formal Metatheory |
| 01/04/2008 | C++ GC | Open Multi-Methods for C++ |
| 01/24/2008 | Color me curious, too... | Open Multi-Methods for C++ |
| 01/04/2008 | I Came Here for an Argument! | Why Did Symbolics Fail? |
| 02/22/2008 | Real World | Process Algebras: Whats the point? |
| 12/27/2007 | Theorem proving support in programming language semantics | Theorem proving support in programming language semantics |
| 12/28/2007 | Oops | Theorem proving support in programming language semantics |
| 01/13/2008 | Update | Theorem proving support in programming language semantics |
| 12/14/2007 | Not sure I agree with this... | CUFP write-up |
| 12/09/2007 | [OT] Mac OS X PPC Alice Build | A Growable Language Manifesto |
| 12/11/2007 | The Notion of an Extensible Operational Semantics... | A Growable Language Manifesto |
| 12/19/2007 | If I Understand Correctly... | A Growable Language Manifesto |
| 12/21/2007 | Good Point | A Growable Language Manifesto |
| 12/22/2007 | Very Nice | A Growable Language Manifesto |
| 12/22/2007 | Good Point | A Growable Language Manifesto |
| 12/11/2007 | Recapitulating History is Good! | A Growable Language Manifesto |
| 12/06/2007 | You Had Better Believe... | How to write your next POPL paper in Coq |
| 12/07/2007 | My Opinion... | How to write your next POPL paper in Coq |
| 01/13/2008 | U Penn CIS 500 Materials | How to write your next POPL paper in Coq |
| 11/26/2007 | OCaml Light: A Formal Semantics For a Substantial Subset of the Objective Caml Language | OCaml Light: A Formal Semantics For a Substantial Subset of the Objective Caml Language |
| 11/28/2007 | Hello, Peter! | OCaml Light: A Formal Semantics For a Substantial Subset of the Objective Caml Language |
| 11/28/2007 | The Monad Laws | A survey and discussion of taming effects |
| 11/28/2007 | I'm Not Positive... | A survey and discussion of taming effects |
| 11/20/2007 | Ditto | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/26/2007 | One-Liners and Attitudes | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/20/2007 | No Doubt... | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/20/2007 | Sure | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/20/2007 | Curious | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/20/2007 | Good Question! | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/21/2007 | Well, No | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/22/2007 | Of course | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/22/2007 | Well Put | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/26/2007 | Agreed | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/21/2007 | Working From Simplicity | What are the properties of "Functional Programming Languages"? |
| 11/06/2007 | OK, I'll Bite | Universal Type System |
| 11/07/2007 | Once More, With Feeling | Universal Type System |
| 11/08/2007 | Good Enough | Universal Type System |
| 11/28/2007 | Experience | On the Importance of Purity |
| 11/28/2007 | Demonstration by Example | On the Importance of Purity |
| 10/27/2007 | Agreed... | ECMAScript 4 overview paper |
| 09/30/2007 | Well... | Leave of absence |
| 08/29/2007 | Odd | R6RS Validated |
| 08/29/2007 | Unification | R6RS Validated |
| 08/27/2007 | Sure | What is a state? |
| 08/27/2007 | Separation of Church and State (cf. PLAI) | What is a state? |
| 08/27/2007 | Flip | What is a state? |
| 08/27/2007 | Interesting! | What is a state? |
| 08/27/2007 | Oops | What is a state? |
| 09/06/2007 | The Slope Isn't That Slippery | What is a state? |
| 09/07/2007 | Narrowing Focus | What is a state? |
| 09/07/2007 | It's a great question | What is a state? |
| 09/07/2007 | Motivation for Suggestion | What is a state? |
| 08/27/2007 | Apologies | What is a state? |
| 08/23/2007 | Very Good | An Accidental Simula User, Luca Cardelli |
| 08/24/2007 | Good point | An Accidental Simula User, Luca Cardelli |
| 08/20/2007 | To answer questions with questions... | Diagram showing all programming paradigms and their relationships |
| 08/20/2007 | I'm still confused... | Diagram showing all programming paradigms and their relationships |
| 08/20/2007 | Interesting point... | Diagram showing all programming paradigms and their relationships |
| 08/20/2007 | Yep | Diagram showing all programming paradigms and their relationships |
| 08/20/2007 | Distinction: with a difference or not? | Diagram showing all programming paradigms and their relationships |
| 08/20/2007 | My list | Diagram showing all programming paradigms and their relationships |
| 08/21/2007 | Good additions! | Diagram showing all programming paradigms and their relationships |
| 08/16/2007 | I knew it :-) | Analyzing the Environment Structure ofHigher-Order Languages using Frame Strings |
| 08/16/2007 | I must respectfully disagree in part | Type Theories |
| 08/16/2007 | Good points | Type Theories |
| 08/15/2007 | Sort of | Skipping C - SPE and synthetic programming in Python |
| 08/12/2007 | Getting Started | creating my own programming language |
| 08/09/2007 | My Favorite Part | Ralph Johnson: Erlang, the next Java |
| 08/10/2007 | I think so | Ralph Johnson: Erlang, the next Java |
| 08/03/2007 | Interesting | Amazon Flexible Payments Service |
| 07/28/2007 | Seconded | LtU turns 7: The year of spam |
| 07/29/2007 | High Grid, Low Group | LtU turns 7: The year of spam |
| 07/21/2007 | Nomination | Best LtU humour |
| 07/31/2007 | Meh... | Language Nirvana - Simon Peyton-Jones |
| 07/31/2007 | Indeed! | Language Nirvana - Simon Peyton-Jones |
| 08/01/2007 | Aha! | Language Nirvana - Simon Peyton-Jones |
| 07/21/2007 | Three points... | Language Nirvana - Simon Peyton-Jones |
| 07/25/2007 | To the extent I can understand this... | Language Nirvana - Simon Peyton-Jones |
| 07/26/2007 | Excellent Question | Language Nirvana - Simon Peyton-Jones |
| 07/18/2007 | #61 | Or is it now? |
| 07/19/2007 | Type Checking IS a Form of Testing | Or is it now? |
| 07/20/2007 | No, but... | Or is it now? |
| 07/20/2007 | Intuitively... | Or is it now? |
| 07/20/2007 | Quite Right | Or is it now? |
| 07/21/2007 | Good Point | Or is it now? |
| 07/22/2007 | Sure | Or is it now? |
| 07/22/2007 | Can't... | Or is it now? |
| 07/24/2007 | Measurement Theory | Or is it now? |
| 07/24/2007 | Quite Right | Or is it now? |
| 07/24/2007 | 90+% | Or is it now? |
| 07/20/2007 | Dependent Types | Or is it now? |
| 07/20/2007 | I'd love to have formal research... | Or is it now? |
| 07/14/2007 | Less Than Meets the Eye | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/15/2007 | Isomorphism != Identity | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/16/2007 | Tongue, Meet Cheek | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/18/2007 | Disconnect | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/15/2007 | Well, yes. | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/16/2007 | REPLs | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/16/2007 | Probably Not | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/16/2007 | [OT] Debugging OCaml | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/17/2007 | Trade-Offs | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/17/2007 | That Whooshing Sound... | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/18/2007 | Moving Right Along | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/18/2007 | Closure(s) ;-) | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/19/2007 | Betting | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/19/2007 | It's Not Just an Accusation | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/15/2007 | It gets better... | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/17/2007 | More Tongue in Cheek | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/13/2007 | Proof-Carrying Code | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 07/03/2007 | Felix | Good Language Design Principals for Scripting Languages |
| 07/03/2007 | Previously On LtU | Good Language Design Principals for Scripting Languages |
| 06/29/2007 | Ontic | CMU AI repository |
| 07/06/2007 | Too Generous | Haskell web store |
| 06/26/2007 | That's right... | Fully Inferable Languages |
| 06/19/2007 | 800 lbs. Gorilla | PLs and large scale development |
| 06/19/2007 | Good points | PLs and large scale development |
| 06/19/2007 | Definer vs. Vendor | PLs and large scale development |
| 06/15/2007 | The one I am reading... | What next? |
| 06/09/2007 | Follow-Up on Important Point | ECMAScript Edition 4 Reference Implementation |
| 06/10/2007 | Thanks... | ECMAScript Edition 4 Reference Implementation |
| 06/08/2007 | Without recapitulating every flamewar of the past 17 years... | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/08/2007 | Agreed | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/10/2007 | Maybe someday... | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/06/2007 | Dunno About Wolfenstein... | Partial evaluation applied to high speed lighting preview |
| 05/25/2007 | You may wish to see... | Does these constructs solve the expression problem? |
| 05/19/2007 | The dialogue has indeed been going on for a while... | Social Processes and Proofs of Theorems and Programs |
| 05/20/2007 | <scooby_do>Hruh?</scooby_do> | Social Processes and Proofs of Theorems and Programs |
| 05/20/2007 | True enough... | Social Processes and Proofs of Theorems and Programs |
| 05/20/2007 | There are two... | Social Processes and Proofs of Theorems and Programs |
| 05/23/2007 | Exactly right! | Social Processes and Proofs of Theorems and Programs |
| 05/24/2007 | Good Point | Social Processes and Proofs of Theorems and Programs |
| 05/24/2007 | It's gratifying... | Social Processes and Proofs of Theorems and Programs |
| 05/27/2007 | Wholeheartedly agreed... | Social Processes and Proofs of Theorems and Programs |
| 05/24/2007 | Another Good Point... | Social Processes and Proofs of Theorems and Programs |
| 12/31/2007 | Personally, I think you left | Social Processes and Proofs of Theorems and Programs |
| 01/02/2008 | Well Put | Social Processes and Proofs of Theorems and Programs |
| 01/03/2008 | Agreed | Social Processes and Proofs of Theorems and Programs |
| 01/05/2008 | Falsified | Social Processes and Proofs of Theorems and Programs |
| 01/06/2008 | Rhetorical or Tautological? | Social Processes and Proofs of Theorems and Programs |
| 01/07/2008 | Whistling in the Dark | Social Processes and Proofs of Theorems and Programs |
| 01/08/2008 | Channeling Anton | Social Processes and Proofs of Theorems and Programs |
| 04/28/2008 | Excellent | Social Processes and Proofs of Theorems and Programs |
| 04/05/2010 | Indeed | Social Processes and Proofs of Theorems and Programs |
| 04/04/2010 | He looked at me puzzled, as | Social Processes and Proofs of Theorems and Programs |
| 04/22/2010 | Surprisingly... | Social Processes and Proofs of Theorems and Programs |
| 05/21/2007 | Yep... | How to make the static represent the dynamic? |
| 05/23/2007 | Nope... | How to make the static represent the dynamic? |
| 05/11/2007 | See Also... | checking oo code against detailed specs |
| 05/31/2007 | Hmmm... | LC for kids (alligators, oh my!) |
| 05/10/2007 | Joel (Unsurprisingly) Gets It Right | "The language of the future is javascript" |
| 05/07/2007 | Mostly... | The Expression Problem Revisited |
| 05/04/2007 | Eh... | Functional Object-Oriented Programming |
| 05/04/2007 | I would say... | Functional Object-Oriented Programming |
| 05/02/2007 | So... | Is Integer wrapping an exceptional condition? |
| 05/04/2007 | Except... | The Monad.Reader |
| 05/06/2007 | A Couple of Thoughts | The Monad.Reader |
| 05/10/2007 | Good Point | The Monad.Reader |
| 05/13/2007 | Oddly... | The Monad.Reader |
| 05/16/2007 | Let me just add... | The Monad.Reader |
| 05/12/2007 | Interpretation | The Monad.Reader |
| 05/13/2007 | Existence Proofs... | The Monad.Reader |
| 05/14/2007 | My, How Time Flies | The Monad.Reader |
| 05/15/2007 | On the Contrary... | The Monad.Reader |
| 05/16/2007 | I'm confident I'll regret this... | The Monad.Reader |
| 05/19/2007 | After all that... | The Monad.Reader |
| 04/26/2007 | Lisp | Arc in action (a.k.a. it's aliiiiive!) |
| 04/27/2007 | Only... | Arc in action (a.k.a. it's aliiiiive!) |
| 04/24/2007 | Late to the Party... | Almost invisible upgrade |
| 04/26/2007 | My Question | Almost invisible upgrade |
| 04/25/2007 | My Error | Almost invisible upgrade |
| 04/20/2007 | Very Interesting! | Modular Verification of Assembly Code with Stack-Based Control Abstractions |
| 04/20/2007 | Sounds Like... | Why is there not a PL with a mathematical type system? |
| 04/21/2007 | Another Possible Example | Why is there not a PL with a mathematical type system? |
| 04/20/2007 | Holy Cow! | Church's Thesis and Functional Programming |
| 04/16/2007 | Course on Interactive Computer Theorem Proving Based on Coq | Course on Interactive Computer Theorem Proving Based on Coq |
| 04/17/2007 | A Few More Observations | Course on Interactive Computer Theorem Proving Based on Coq |
| 04/18/2007 | It's All Relative :-) | Course on Interactive Computer Theorem Proving Based on Coq |
| 04/18/2007 | More Resources | Course on Interactive Computer Theorem Proving Based on Coq |
| 04/22/2007 | First Blush | Course on Interactive Computer Theorem Proving Based on Coq |
| 09/25/2008 | What can I say? | Course on Interactive Computer Theorem Proving Based on Coq |
| 04/17/2007 | Pylons and Spring | Twitter and Rails brouhaha |
| 04/22/2007 | Unfortunately... | Twitter and Rails brouhaha |
| 04/13/2007 | Frequently Unasked Question | Thoughts about the Best Introductory Language |
| 04/18/2007 | Previously, on LtU... | Thoughts about the Best Introductory Language |
| 04/09/2007 | Or... | Early Programming Languages (A Logic Puzzle) |
| 04/09/2007 | It's Also Several Years Old... | Cforall |
| 04/09/2007 | Ditto in Spades | Deliverable code? |
| 04/14/2007 | MetaOCaml | Deliverable code? |
| 04/14/2007 | O'Caml Delimited Continuations | Deliverable code? |
| 04/14/2007 | Respectfully Disagreed | Deliverable code? |
| 04/14/2007 | That's Right | Deliverable code? |
| 04/14/2007 | My Current Position | Deliverable code? |
| 04/16/2007 | Very Good Stuff... | Deliverable code? |
| 04/04/2007 | Verifying Semantic Type Soundness of a Simple Compiler | Verifying Semantic Type Soundness of a Simple Compiler |
| 04/02/2007 | Keep in Mind... | Putting functional database theory into practice: NixOS |
| 03/28/2007 | It's Already Here... | Expect New Major Language Within Five Years |
| 03/31/2007 | Please, Dear God... | Expect New Major Language Within Five Years |
| 03/28/2007 | C++ Parser | LALR grammar of C++ |
| 03/24/2007 | Ditto... | Living it up with a Live Programming Language |
| 03/25/2007 | I'd stick with the i.e. | Living it up with a Live Programming Language |
| 05/13/2007 | Congratulations! | Living it up with a Live Programming Language |
| 03/22/2007 | A Real-World Use of Lift, a Scala Web Application Framework | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/22/2007 | Good Question | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/24/2007 | Reading Between the Lines | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/24/2007 | The News... | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/24/2007 | Quite Right | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/25/2007 | Appreciation | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/24/2007 | Odd | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/23/2007 | Aim | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/25/2007 | Many Worlds Interpretation of Professional Programming | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/25/2007 | Good Stuff! | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/22/2007 | A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language | A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language |
| 03/21/2007 | Wish | The New Twelf Wiki |
| 03/21/2007 | That's What I Thought Too... | The New Twelf Wiki |
| 03/12/2007 | Concoqtion: Indexed Types Now! | Concoqtion: Indexed Types Now! |
| 03/13/2007 | Sometimes | Concoqtion: Indexed Types Now! |
| 03/13/2007 | Sometimes | Concoqtion: Indexed Types Now! |
| 03/12/2007 | I thought... | XMLisp: Ingenous, or Monstrous? |
| 03/12/2007 | Now That We're Done Teasing You... | XMLisp: Ingenous, or Monstrous? |
| 03/24/2007 | Wow | Intel Research PL Seminar Series |
| 03/14/2007 | The Great Unlearned Truth | Implementation Inheritance |
| 03/20/2007 | See the Third Manifesto Site's Related Projects Page | Implementation Inheritance |
| 03/05/2007 | Hear, Hear | Kourier is now live |
| 03/23/2007 | Nope :-) | Kourier is now live |
| 03/05/2007 | Scheme's Lessons | Kourier is now live |
| 03/06/2007 | Ellipses? | Kourier is now live |
| 03/07/2007 | Hi Bijan! | Kourier is now live |
| 03/07/2007 | One By One | Kourier is now live |
| 03/08/2007 | Not at all | Kourier is now live |
| 02/19/2007 | [OT] Etymology | Lisp webcomic |
| 02/20/2007 | Geometry, Meet Brain | Lisp webcomic |
| 02/08/2007 | Ditto | Patrick Logan on Software Transaction Memory |
| 02/09/2007 | Good Point, IMHO | Patrick Logan on Software Transaction Memory |
| 02/08/2007 | Just to Expand a Bit | Termination Checking with Types |
| 02/04/2007 | Tie-In | Separation Logic: A Logic for Shared Mutable Data Structures |
| 02/08/2007 | Wholeheartedly Agreed | Steps Toward The Reinvention of Programming |
| 02/09/2007 | Quite Right | Steps Toward The Reinvention of Programming |
| 06/11/2007 | That depends upon what problem you're trying to solve | Steps Toward The Reinvention of Programming |
| 06/11/2007 | Thanks! | Steps Toward The Reinvention of Programming |
| 06/12/2007 | Good Question | Steps Toward The Reinvention of Programming |
| 06/11/2007 | Back to the type erasure question... | Steps Toward The Reinvention of Programming |
| 06/11/2007 | Incomplete answer | Steps Toward The Reinvention of Programming |
| 06/10/2007 | CCG | Steps Toward The Reinvention of Programming |
| 01/28/2007 | Experience | Ralf Lammel: Stop dysfunctional programming |
| 01/23/2007 | Ott--a tool for writing definitions of programming languages and calculi. | Ott--a tool for writing definitions of programming languages and calculi. |
| 01/23/2007 | :-) | Scheme: Second R6RS draft published |
| 02/16/2007 | Amusing... | Why people don't use functional programming? |
| 02/27/2007 | Depends Upon the Types! | Why people don't use functional programming? |
| 02/28/2007 | Critique of Types or OCamlYacc? | Why people don't use functional programming? |
| 03/02/2007 | OK, I'll Bite... | Why people don't use functional programming? |
| 03/03/2007 | I Had Imagined... | Why people don't use functional programming? |
| 03/05/2007 | Typeful Lisp-Style Program=Data... | Why people don't use functional programming? |
| 03/07/2007 | [OT] No... | Why people don't use functional programming? |
| 03/02/2007 | Yep | Why people don't use functional programming? |
| 01/16/2007 | Of Course You Know, Andris... | Interlanguage Migration: From Scripts to Programs |
| 01/16/2007 | Let Me Just Toss In... | Interlanguage Migration: From Scripts to Programs |
| 01/05/2007 | I also recommend... | Are Frames and Slots anything more that OO with a different name? |
| 12/15/2006 | See Also... | Java Open Review Project |
| 12/12/2006 | Two Cents | excitement in language research? |
| 12/15/2006 | Underinformative Joke | Commercial Users of Functional Programming 2006 |
| 12/06/2006 | Sounds Like Oleg Again | "Folding"/FP traversal over trees |
| 12/06/2006 | TBD | "Folding"/FP traversal over trees |
| 12/04/2006 | Sounds Like Cyclic Lambda Calculi | Practical Laziness |
| 11/29/2006 | Beat Me To It | C++ has indeed become too "expert friendly" |
| 11/29/2006 | Beat Me To It | C++ has indeed become too "expert friendly" |
| 11/30/2006 | *wince* | The Future of LtU |
| 12/03/2006 | Quick Note | The Future of LtU |
| 11/15/2006 | Second Life Faces Threat to its Virtual Economy | Second Life Faces Threat to its Virtual Economy |
| 11/15/2006 | Oops | Second Life Faces Threat to its Virtual Economy |
| 11/15/2006 | Argument, in the Semi-Formal Sense | Second Life Faces Threat to its Virtual Economy |
| 11/15/2006 | Exactly! [n/m] | Second Life Faces Threat to its Virtual Economy |
| 11/17/2006 | My Reaction as Well | Second Life Faces Threat to its Virtual Economy |
| 11/15/2006 | Wouldn't be a Threat... | Second Life Faces Threat to its Virtual Economy |
| 11/15/2006 | Partially True | Second Life Faces Threat to its Virtual Economy |
| 11/15/2006 | Good Point! | Second Life Faces Threat to its Virtual Economy |
| 11/17/2006 | Opinion | Second Life Faces Threat to its Virtual Economy |
| 11/12/2006 | Is This the One... | Functional programming and software engineering |
| 11/13/2006 | Indeed! | Functional programming and software engineering |
| 11/20/2006 | Speaking of Tradition... | Functional programming and software engineering |
| 11/01/2006 | No Conflict | Code generation vs. dynamic/introspective languages |
| 10/28/2006 | SML Also Has... | Want to learn something new |
| 10/29/2006 | One More Thing... | Want to learn something new |
| 11/06/2006 | Contentious Point | Want to learn something new |
| 11/07/2006 | Indeed! | Want to learn something new |
| 10/30/2006 | Which Book? | Want to learn something new |
| 11/01/2006 | Also... | Want to learn something new |
| 11/09/2006 | Or You Can Generate Your VHDL From... | Want to learn something new |
| 11/03/2006 | If You Haven't Already... | Future of software design? |
| 11/03/2006 | Of course... | Future of software design? |
| 10/27/2006 | I Wouldn't Go Quite As Far... | Practical OCaml |
| 10/27/2006 | Should Have Linked! | Practical OCaml |
| 11/01/2006 | My Summary of O'Caml... | Practical OCaml |
| 10/21/2006 | As Much As I Love O'Caml... | Specifying ECMAScript via ML |
| 10/22/2006 | IIRC... | Specifying ECMAScript via ML |
| 10/21/2006 | Dave Herman: OTOH, in our | Specifying ECMAScript via ML |
| 10/18/2006 | Dawson Engler | System-level Static Analysis |
| 10/15/2006 | I Continue to Lament... | Good Ideas, Through the Looking Glass |
| 10/17/2006 | Particularly... | Good Ideas, Through the Looking Glass |
| 10/16/2006 | The Context That Comes to My Mind... | Good Ideas, Through the Looking Glass |
| 10/23/2006 | Formalization in Coq of the JavaCard Virtual Machine | Good Ideas, Through the Looking Glass |
| 10/17/2006 | Truthiness | Good Ideas, Through the Looking Glass |
| 10/10/2006 | OK, I'll Bite... | The US Torture Bill as C code |
| 10/11/2006 | Heh | The US Torture Bill as C code |
| 10/11/2006 | I'm With Koray | The US Torture Bill as C code |
| 10/12/2006 | Interesting Point... | The US Torture Bill as C code |
| 10/12/2006 | Perhaps... | The US Torture Bill as C code |
| 10/12/2006 | Mostly Right... | The US Torture Bill as C code |
| 10/10/2006 | Heh | A Very Modal Model of a Modern, Major, General Type System |
| 10/02/2006 | Eh, I Dunno | Tim Bray: Dynamic-Language IDEs |
| 10/02/2006 | Interesting Point | Tim Bray: Dynamic-Language IDEs |
| 10/02/2006 | Reminder | Tim Bray: Dynamic-Language IDEs |
| 10/02/2006 | Righto | Tim Bray: Dynamic-Language IDEs |
| 10/02/2006 | Correct | Tim Bray: Dynamic-Language IDEs |
| 09/28/2006 | QuickTime | Business Objects Quark - Haskell meets Java |
| 09/28/2006 | H.264 | Business Objects Quark - Haskell meets Java |
| 09/28/2006 | Secondary Reaction | Machine Obstructed Proof |
| 09/29/2006 | Far From Minding... | Machine Obstructed Proof |
| 10/02/2006 | Difficult | Machine Obstructed Proof |
| 10/02/2006 | True | Machine Obstructed Proof |
| 01/29/2007 | Confused | What Makes Erlang Processes Tick? |
| 09/19/2006 | StreamIt | PeakStream - a multi-core stream processing model |
| 09/15/2006 | Soutei | SecPAL: Design and Semantics of a Decentralized Authorization Language |
| 09/13/2006 | Not Much to Add | AppleScript - a story worth telling |
| 09/14/2006 | Nice Job! | AppleScript - a story worth telling |
| 09/15/2006 | I'll Field This One... | AppleScript - a story worth telling |
| 09/15/2006 | Obviously, I Can Only Say... | Neophyte question: detecting deadlock, livelock, races etc. |
| 09/10/2006 | If You Don't Mind Writing Your Parser in C++... | Parser that allow syntax extensions |
| 09/10/2006 | Where the Extension Is | Parser that allow syntax extensions |
| 08/30/2006 | Gradual Typing for Functional Languages | Gradual Typing for Functional Languages |
| 08/30/2006 | More Work To Do | Gradual Typing for Functional Languages |
| 08/30/2006 | The Value for Me... | Gradual Typing for Functional Languages |
| 08/31/2006 | Simplify | Gradual Typing for Functional Languages |
| 09/04/2006 | Yep! | Gradual Typing for Functional Languages |
| 09/04/2006 | Whys and Wherefores | Dynamic Semantics |
| 04/07/2007 | That's Right | Dynamic Semantics |
| 08/30/2006 | Informal Definition | Dynamic Semantics |
| 08/30/2006 | Fair Enough | Dynamic Semantics |
| 08/31/2006 | Backing Up | Dynamic Semantics |
| 08/28/2006 | The Daikon Invariant Detector | The Daikon Invariant Detector |
| 08/25/2006 | Agreed! | Multi-Stage Languages |
| 08/25/2006 | Given a Two-Stage Language System... | unchecked exceptions are like runtime type checking? |
| 08/27/2006 | But Wait, There's More! | unchecked exceptions are like runtime type checking? |
| 08/27/2006 | Errors vs. Warnings | unchecked exceptions are like runtime type checking? |
| 08/27/2006 | In the Limit | unchecked exceptions are like runtime type checking? |
| 08/28/2006 | Good Catch! | unchecked exceptions are like runtime type checking? |
| 08/27/2006 | The Right Question | unchecked exceptions are like runtime type checking? |
| 12/06/2006 | Strong Typing, Downcasts, and Inference | unchecked exceptions are like runtime type checking? |
| 12/10/2006 | Eh... | unchecked exceptions are like runtime type checking? |
| 12/11/2006 | You Know My Response... | unchecked exceptions are like runtime type checking? |
| 12/13/2006 | Nothing to Add Here... | unchecked exceptions are like runtime type checking? |
| 08/27/2006 | Narrowing In | unchecked exceptions are like runtime type checking? |
| 08/29/2006 | To Be Fair... | unchecked exceptions are like runtime type checking? |
| 12/06/2006 | Welcome Back! | unchecked exceptions are like runtime type checking? |
| 08/26/2006 | Reductio ad Absurdum | unchecked exceptions are like runtime type checking? |
| 08/27/2006 | Challenging Myself to a Dual | unchecked exceptions are like runtime type checking? |
| 08/27/2006 | Mea Culpa | unchecked exceptions are like runtime type checking? |
| 08/27/2006 | Objection, Your Honor | unchecked exceptions are like runtime type checking? |
| 08/25/2006 | Once vs. Many Times | unchecked exceptions are like runtime type checking? |
| 08/25/2006 | Oh, I Dunno | unchecked exceptions are like runtime type checking? |
| 08/26/2006 | Right! | unchecked exceptions are like runtime type checking? |
| 12/06/2006 | Dynamic Input, Informally | unchecked exceptions are like runtime type checking? |
| 08/27/2006 | Don't Feed Bad... | unchecked exceptions are like runtime type checking? |
| 10/23/2006 | Hello, Joe! | ESC not just for Java any more |
| 08/21/2006 | Almost Right | Closures for Java or money back |
| 08/30/2006 | Hmmm... | Closures for Java or money back |
| 09/03/2006 | JML and Scala | Closures for Java or money back |
| 08/21/2006 | Good Points! | Closures for Java or money back |
| 04/28/2008 | Lesson learned | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 04/28/2008 | Below the level of LLVM | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 08/07/2006 | Basically Right | automatic theorem proving |
| 08/08/2006 | Yep! | automatic theorem proving |
| 08/08/2006 | I'm Sure It Is! | automatic theorem proving |
| 08/08/2006 | You're On the Right Track! | automatic theorem proving |
| 08/08/2006 | Oops! | automatic theorem proving |
| 08/08/2006 | Right Again :-) | automatic theorem proving |
| 08/09/2006 | There I Go Again! | automatic theorem proving |
| 08/05/2006 | Yep | eWeek: Sun Digging Deep for Dynamic Language Support |
| 07/28/2006 | Second | LtU turns six! |
| 07/23/2006 | Lightweight Static Capabilities | Lightweight Static Capabilities |
| 07/23/2006 | My Head... | Lightweight Static Capabilities |
| 07/24/2006 | Let's Do It | Lightweight Static Capabilities |
| 07/24/2006 | Skepticism | Lightweight Static Capabilities |
| 07/23/2006 | Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference | Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference |
| 08/30/2006 | Concoqtion Paper Moved | Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference |
| 07/24/2006 | However... | Cost of provably-correct code |
| 07/25/2006 | Assumptions | Cost of provably-correct code |
| 07/25/2006 | Embrace and Extend | Cost of provably-correct code |
| 07/31/2006 | Pragmatism | Cost of provably-correct code |
| 08/01/2006 | Yep | Cost of provably-correct code |
| 08/01/2006 | Language Design Terminology | Cost of provably-correct code |
| 08/01/2006 | Real Programming Languages vs. Algorithmic Information Theory | Cost of provably-correct code |
| 07/21/2006 | Key Point | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 07/21/2006 | Right On! | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 07/21/2006 | Specifics | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 07/21/2006 | Sung to the Tune Of? | Revealing the X/O impedance mismatch |
| 07/18/2006 | More Deceptive | Advantages of Soft Typing |
| 07/18/2006 | Critical Point | Advantages of Soft Typing |
| 07/19/2006 | Cool! | Advantages of Soft Typing |
| 07/22/2006 | First Comment | Advantages of Soft Typing |
| 07/23/2006 | Covered in Full Solution | Advantages of Soft Typing |
| 07/23/2006 | Still Not Convinced | Advantages of Soft Typing |
| 07/23/2006 | Granting Everything Above... | Advantages of Soft Typing |
| 07/23/2006 | Convergence | Advantages of Soft Typing |
| 07/24/2006 | Lots of Work to Do! | Advantages of Soft Typing |
| 07/24/2006 | Very Nice! | Advantages of Soft Typing |
| 07/24/2006 | More on Type-Indexed Values in ML | Advantages of Soft Typing |
| 07/25/2006 | Next Steps? | Advantages of Soft Typing |
| 07/21/2006 | Interesting Point! | Advantages of Soft Typing |
| 07/19/2006 | Minor Change | Advantages of Soft Typing |
| 07/16/2006 | Things Descendants of Smalltalk Forgot | A Core Calculus for Scala Type Checking |
| 07/16/2006 | True | A Core Calculus for Scala Type Checking |
| 07/14/2006 | Issues in Parallel Class Hierarchies | OOP Parallel class hierarchies |
| 07/14/2006 | Problem Statement | OOP Parallel class hierarchies |
| 07/14/2006 | Self-Selection | OOP Parallel class hierarchies |
| 07/15/2006 | Miscasting :-) | OOP Parallel class hierarchies |
| 07/15/2006 | Pattern Matching vs. Coercion | OOP Parallel class hierarchies |
| 07/15/2006 | Reflection | OOP Parallel class hierarchies |
| 07/15/2006 | Correct, I Think | OOP Parallel class hierarchies |
| 07/15/2006 | Catching Bugs When? | OOP Parallel class hierarchies |
| 07/15/2006 | Right On | OOP Parallel class hierarchies |
| 07/15/2006 | Backwards | OOP Parallel class hierarchies |
| 07/15/2006 | "Syntax" | OOP Parallel class hierarchies |
| 07/15/2006 | In Fairness... | OOP Parallel class hierarchies |
| 07/15/2006 | Too Much... | OOP Parallel class hierarchies |
| 07/16/2006 | Reasons Not to Continue | OOP Parallel class hierarchies |
| 07/16/2006 | Yes | OOP Parallel class hierarchies |
| 07/16/2006 | Fair Enough | OOP Parallel class hierarchies |
| 07/16/2006 | Yes, That's the Analogy | OOP Parallel class hierarchies |
| 07/16/2006 | Back to the Books | OOP Parallel class hierarchies |
| 07/14/2006 | Wait, It Gets Better! | computerhistory's History of LISP |
| 07/14/2006 | GLR Parsing | Writing an interpreter, targeting a VM or writing from scratch? |
| 07/12/2006 | Rough Guesses | Socially Responsive, Environmentally Friendly Logic |
| 07/09/2006 | Related Work | Abstracting Allocation: The New new Thing |
| 07/10/2006 | Also Noticed | Abstracting Allocation: The New new Thing |
| 07/11/2006 | Machine Obstructed Proof | Abstracting Allocation: The New new Thing |
| 07/12/2006 | Granted | Abstracting Allocation: The New new Thing |
| 07/12/2006 | Fair Enough | Abstracting Allocation: The New new Thing |
| 07/12/2006 | Economics | Abstracting Allocation: The New new Thing |
| 07/01/2006 | I'd Barely Say... | Amusing question |
| 07/01/2006 | Tongue Mostly in Cheek | Amusing question |
| 06/30/2006 | Optimism | Gottfried Wilhelm Leibniz |
| 06/28/2006 | Keeping in Mind That Safety is Relative... | Oxymoronic? "Safety-critical development guidelines for real-time Java" |
| 07/01/2006 | Briefly... | Oxymoronic? "Safety-critical development guidelines for real-time Java" |
| 06/23/2006 | Um... | Delimited dynamic binding |
| 06/23/2006 | IIRC... | Petition for adding garbage collection to C++. |
| 06/23/2006 | Gotcha! | Petition for adding garbage collection to C++. |
| 06/28/2006 | In Curtis' Defense... | Petition for adding garbage collection to C++. |
| 06/25/2006 | Even RAII Doesn't Scale | Petition for adding garbage collection to C++. |
| 06/26/2006 | A Good Point That Someone Else Made... | Petition for adding garbage collection to C++. |
| 06/28/2006 | My Immediate Reaction... | Petition for adding garbage collection to C++. |
| 06/29/2006 | I Certainly Can't! | Petition for adding garbage collection to C++. |
| 06/27/2006 | Wilson and Johnstone Agree | Petition for adding garbage collection to C++. |
| 06/21/2006 | Reducible to One Rule | Rules for Developing Safety-Critical Code |
| 06/21/2006 | Yep | Rules for Developing Safety-Critical Code |
| 06/23/2006 | Non-Pure is Key Point | What are the real benefits of FP? |
| 06/22/2006 | Honestly | What are the real benefits of FP? |
| 06/23/2006 | (Re)iteration | What are the real benefits of FP? |
| 06/23/2006 | OK | What are the real benefits of FP? |
| 06/26/2006 | All I'll Add Here... | What are the real benefits of FP? |
| 06/26/2006 | :-) | What are the real benefits of FP? |
| 06/22/2006 | IIRC... | What are the real benefits of FP? |
| 06/22/2006 | I Was Unclear | What are the real benefits of FP? |
| 06/22/2006 | Backwards | What are the real benefits of FP? |
| 06/22/2006 | Quite Right | What are the real benefits of FP? |
| 06/23/2006 | Achilleas and the Zipper | What are the real benefits of FP? |
| 06/23/2006 | Good Question! | What are the real benefits of FP? |
| 06/24/2006 | No Worries! | What are the real benefits of FP? |
| 06/17/2006 | Objects? | The OO barrier |
| 06/21/2006 | Undecidable | The OO barrier |
| 06/22/2006 | Au Contraire! | The OO barrier |
| 06/20/2006 | Brief, Superficial Point | The OO barrier |
| 06/20/2006 | Except, Probably... | The OO barrier |
| 06/17/2006 | Interesting Question! | Why only 'minimal' languages |
| 06/12/2006 | Very Cool! | ML Modules and Haskell Type Classes: A Constructive Comparison |
| 07/11/2006 | Coq'Art | Alloy - The Book |
| 06/09/2006 | Technology or Culture? | A Brief History of Scala |
| 06/10/2006 | FP, Objects, and the Expression Problem | A Brief History of Scala |
| 06/11/2006 | Fair Points | A Brief History of Scala |
| 06/10/2006 | Quite Right | A Brief History of Scala |
| 06/10/2006 | Agreed! | A Brief History of Scala |
| 06/08/2006 | Er... | Joshua Bloch: "Nearly All Binary Searches Broken" |
| 06/06/2006 | Being an Old Lisper... | Common Lisp Exception Handling |
| 06/06/2006 | I Should Have Known... | Common Lisp Exception Handling |
| 06/06/2006 | Maybe Related? | emulation for Erlang style processes |
| 06/04/2006 | Sage: A Programming Language With Hybrid Type-Checking | Sage: A Programming Language With Hybrid Type-Checking |
| 06/05/2006 | Good Question! | Sage: A Programming Language With Hybrid Type-Checking |
| 06/08/2006 | Wow | Relevance of Curry-Howard |
| 06/01/2006 | I'll Try to Say This Politely | Type checking and logical errors |
| 06/01/2006 | Never Say Never | Type checking and logical errors |
| 06/02/2006 | Sure It Does | Type checking and logical errors |
| 06/02/2006 | LOL | Type checking and logical errors |
| 06/01/2006 | Stipulation | Type checking and logical errors |
| 06/02/2006 | You Do Need the Proxy... | Type checking and logical errors |
| 06/02/2006 | Thanks! | Type checking and logical errors |
| 05/31/2006 | I Know It's a Joke | Javascript department |
| 05/31/2006 | If You Had to Save For a Year... | yet another noob via "little lisper" and scheme |
| 05/31/2006 | Tertiary Benefits | yet another noob via "little lisper" and scheme |
| 06/16/2006 | True as far as it goes | First Class Values, Types as values within a Programming Language |
| 06/18/2006 | For the Example Given, Good Points | First Class Values, Types as values within a Programming Language |
| 05/29/2006 | Sounds Like the Expression Problem Again | First Class Values, Types as values within a Programming Language |
| 06/01/2006 | Look Up for Counterexample | First Class Values, Types as values within a Programming Language |
| 05/30/2006 | AFAIK | First Class Values, Types as values within a Programming Language |
| 05/29/2006 | *sigh* | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | This Always Gets Confusing | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | Wrong Platform :-) | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | More False Dichotomies to Slay :-) | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | Of Course... | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Naturally... | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Senses of "Static" | Buried Treasure - No Fluff Just Stuff |
| 06/03/2006 | Point of Divergence | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | It's Hard to Compete... | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | Outside World | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | No, On Two Counts | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | Broadly... | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | Driving Towards Specifics | Buried Treasure - No Fluff Just Stuff |
| 06/08/2006 | Smalltalk vs. Curtis vs. O'Caml | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | Amen | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | All Good Points | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | An Important Point | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Another Excellent Point | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Of Course Not | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | You Know This One :-) | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Putting On My Anton Hat :-) | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | As One of the Offending Parties... | Buried Treasure - No Fluff Just Stuff |
| 06/03/2006 | In Dr. Hofstadter's Defense... | Buried Treasure - No Fluff Just Stuff |
| 06/03/2006 | Invented vs. Discovered | Buried Treasure - No Fluff Just Stuff |
| 05/26/2006 | Funny! | Linspire chooses Haskell as preferred language |
| 05/27/2006 | Agreed | Linspire chooses Haskell as preferred language |
| 05/25/2006 | Error | Software ideals and history |
| 05/25/2006 | Answer: yes | Software ideals and history |
| 05/26/2006 | One More Time, With Feeling | Code Generation Network |
| 05/22/2006 | Interesting Subpoint | Gilad Bracha: Will Continuations continue? |
| 05/18/2006 | Meta-Linguistic Abstraction as Compatibility-Code Encapsulation | Google Web Toolkit |
| 07/11/2006 | IMHO, You Got Trapped... | The World's Most Maintainable Programming Language |
| 05/17/2006 | You Mean Like... | Paul Vick: BASIC principles |
| 05/18/2006 | A Bet I'd Be Willing to Make | Paul Vick: BASIC principles |
| 05/24/2006 | The "Argument..." | ruby vs python |
| 05/18/2006 | I'm Not a Haskeller... | ruby vs python |
| 05/14/2006 | "Valid" | Non-null references? |
| 05/15/2006 | Funny... | Non-null references? |
| 05/08/2006 | HashCaml--an extension of the OCaml bytecode compiler with support for type-safe marshalling and related naming features. | HashCaml--an extension of the OCaml bytecode compiler with support for type-safe marshalling and related naming features. |
| 05/08/2006 | Col--an O'Caml syntax extension for easier manipulation of flat records, objects or tuples and conversions from/to CSV file | Col--an O'Caml syntax extension for easier manipulation of flat records, objects or tuples and conversions from/to CSV file |
| 06/02/2006 | I'll Happily Try | Multidimensional Virtual Classes |
| 06/09/2006 | Nice Isomorphisms Between Typeclasses and O'Caml Modules | Multidimensional Virtual Classes |
| 06/10/2006 | Yep | Multidimensional Virtual Classes |
| 06/10/2006 | Sure | Multidimensional Virtual Classes |
| 06/10/2006 | Sure | Multidimensional Virtual Classes |
| 05/04/2006 | Well Understood Problem | Open data types and open functions |
| 05/10/2006 | Depending Upon Your Definition of "Inherently" | Open data types and open functions |
| 05/05/2006 | Off the Cuff | Open data types and open functions |
| 05/05/2006 | Some vs. All | Open data types and open functions |
| 05/05/2006 | Not Only That... | Open data types and open functions |
| 05/06/2006 | I Dunno... | Open data types and open functions |
| 05/12/2006 | Definitely lnteresting | Open data types and open functions |
| 05/13/2006 | Not a Dumb Question At All | Open data types and open functions |
| 05/15/2006 | Exactly | Open data types and open functions |
| 05/15/2006 | A Few Resources | Open data types and open functions |
| 05/05/2006 | General vs. Specific Issue? | A note on distributed computing |
| 05/03/2006 | Easy! | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 05/30/2006 | Yes... | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 05/03/2006 | Amen | Functional Relational Programming: Out of the tar pit |
| 05/01/2006 | Actually, No | Natural Language Programming for Interactive Fiction |
| 05/03/2006 | Sorry... | Natural Language Programming for Interactive Fiction |
| 05/03/2006 | Beats the Alternative! | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/02/2006 | You Asked For It... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/07/2006 | It Sure Isn't Make! | What do you believe about Programming Languages (that you can't prove (yet))? |
| 07/28/2006 | Thanks... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/28/2006 | +1 naasking | A Language-Based Approach to Unifying Events and Threads |
| 04/27/2006 | I Dunno... | Oberon Script. A Lightweight Compiler and Runtime System for the Web |
| 04/29/2006 | Forgot About That! | Oberon Script. A Lightweight Compiler and Runtime System for the Web |
| 05/17/2006 | Don't Hesitate | How do Java generics correspond to System F-(omega)? |
| 04/19/2006 | Connection to E | E Thesis: Robust Composition |
| 04/19/2006 | Wild Guess | E Thesis: Robust Composition |
| 04/20/2006 | To Be Continued | E Thesis: Robust Composition |
| 04/17/2006 | Applicative Functors | The Essence of the Iterator Pattern |
| 04/18/2006 | Confession | The Essence of the Iterator Pattern |
| 04/01/2006 | Yes | Transactional Memory with data invariants (draft sequel to the STM-Haskell paper) |
| 03/30/2006 | Pretty Weak | Class hierarchies and Ontologies |
| 03/31/2006 | Interesting Question! | Class hierarchies and Ontologies |
| 03/30/2006 | Napkin Definition | Class hierarchies and Ontologies |
| 03/27/2006 | Same Source | A virtual class calculus |
| 03/28/2006 | Definitely... | A virtual class calculus |
| 03/27/2006 | More Info | help from language people |
| 03/27/2006 | Bandying Semantics | help from language people |
| 03/28/2006 | Nature of Failure | help from language people |
| 03/29/2006 | Quite Right | help from language people |
| 04/17/2006 | St. John Was Nice... | Contributing Editors? |
| 03/27/2006 | Excellent Question! | Extremely static language? |
| 03/27/2006 | Please Be Serious | Extremely static language? |
| 03/27/2006 | Thanks for Clarifying | Extremely static language? |
| 03/27/2006 | I Think This is Understood... | Extremely static language? |
| 03/27/2006 | Examples? | Extremely static language? |
| 03/27/2006 | Good Thing, Too! | Extremely static language? |
| 03/29/2006 | Where Types and Semantics Collide | Extremely static language? |
| 03/27/2006 | Culture | Google Reader and "continuations" |
| 03/22/2006 | Any Sufficiently Advanced Technology | Google Magic |
| 03/22/2006 | I'll Be the First to Admit... | Gosling vs. Dynamic Languages |
| 03/22/2006 | Point Taken | Gosling vs. Dynamic Languages |
| 03/16/2006 | Good Luck | Social science research about programming language adoption? |
| 03/17/2006 | Other Options | ACM Queue: On Usability of Programming Languages |
| 03/18/2006 | Too Specific! | ACM Queue: On Usability of Programming Languages |
| 03/12/2006 | vlerq | Half-baked idea: mini-language for vector processing |
| 03/13/2006 | My Bad | Half-baked idea: mini-language for vector processing |
| 03/13/2006 | Not Only That... | Virtual Machines, Language Runtimes, and the Future of Objective C |
| 03/09/2006 | Interesting | Scheme Language Steering Committee Report to the Community |
| 03/17/2006 | Confession | Active Libraries and Universal Languages |
| 03/03/2006 | Sounds Like... | Life and Times of Anders Hejlsberg |
| 02/24/2006 | Interestingly | Introduction to the Java EE 5 Platform |
| 02/24/2006 | My Brief Take | Introduction to the Java EE 5 Platform |
| 02/28/2006 | Shouldn't be a Problem | Introduction to the Java EE 5 Platform |
| 03/02/2006 | You Don't | Introduction to the Java EE 5 Platform |
| 03/04/2006 | Fair, but... | Introduction to the Java EE 5 Platform |
| 03/03/2006 | Agreed | Introduction to the Java EE 5 Platform |
| 02/27/2006 | boost:date_time | Specifying C++ Concepts |
| 02/27/2006 | Makes No Sense | Specifying C++ Concepts |
| 02/23/2006 | On the Contrary | Gilad Is Right |
| 02/24/2006 | Well Put | Gilad Is Right |
| 02/16/2006 | Oooooh, my favorite hobbyhorse! :-) | Debug-Edit-Compile cycle |
| 02/13/2006 | Disappointing | Chu Spaces |
| 02/15/2006 | O'Caml and Tuareg Mode | Guido: Language Design Is Not Just Solving Puzzles |
| 02/10/2006 | C++ and STL | Is STL algorithms doing damage to the cause? |
| 02/10/2006 | Great | Is STL algorithms doing damage to the cause? |
| 02/10/2006 | Don't Roll Your Own | Is STL algorithms doing damage to the cause? |
| 02/09/2006 | It's Kind of Hard to Say | How are GADTs useful in practical programming? |
| 02/07/2006 | A constraint-based approach to guarded algebraic data types | A constraint-based approach to guarded algebraic data types |
| 02/07/2006 | Constraint-based type inference for guarded algebraic data types | Constraint-based type inference for guarded algebraic data types |
| 02/07/2006 | Quality | Programming Languages: Application and Interpretation |
| 02/05/2006 | From the Lambda Wayback Machine :-) | Combinators for contracts |
| 02/07/2006 | Adoption Rate | Combinators for contracts |
| 02/09/2006 | Not That Easy | The Next Mainstream Programming Languages |
| 02/05/2006 | C++ Runtime Data | The Next Mainstream Programming Languages |
| 02/03/2006 | On Virtual Types | The Next Mainstream Programming Languages |
| 08/21/2007 | Google "site:lambda-the-ultimate.org tim sweeney"... | The Next Mainstream Programming Languages |
| 01/31/2006 | Definitely! | Packaging Data And Methods |
| 01/31/2006 | Took Me a While! | Everything Your Professor Failed to Tell You About Functional Programming |
| 01/31/2006 | More About UnrealScript, Please? | Naked Objects |
| 02/01/2006 | Oleg Again :-) | Naked Objects |
| 01/31/2006 | *sigh* | Weak vs. strong typing |
| 01/31/2006 | O'Caml | A-Posteriori Subtyping: Which Languages? |
| 01/12/2006 | Trivially Falsifiable... | Singleton classes really that bad? |
| 01/05/2006 | Easy! | Stroustrup talking about C++0x |
| 12/29/2005 | I Can't See Any.. | Duck typing vs Structural Subtyping |
| 12/31/2005 | Bits and Pieces | Duck typing vs Structural Subtyping |
| 01/04/2006 | Is the Confusion Fundamental? | Duck typing vs Structural Subtyping |
| 12/18/2005 | No | G-Men Called on W-Hats for WMVD |
| 12/19/2005 | Cooperation vs. Vulnerability | G-Men Called on W-Hats for WMVD |
| 01/05/2006 | All the Interesting Exercises are Left to the Reader! | G-Men Called on W-Hats for WMVD |
| 12/18/2005 | Not Merely Predictable... | G-Men Called on W-Hats for WMVD |
| 12/13/2005 | A Monadic Framework for Subcontinuations | Top N Papers 2005 |
| 12/07/2005 | Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter | Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter |
| 12/07/2005 | ClassicJava in PLT Redex | ClassicJava in PLT Redex |
| 11/30/2005 | Static vs. Duck Typing | The building of robust software |
| 12/01/2005 | Definition? | The building of robust software |
| 12/02/2005 | Strictly Speaking... | The building of robust software |
| 11/09/2005 | Battling Bugs: A Digital Quagmire | Battling Bugs: A Digital Quagmire |
| 11/09/2005 | Great Taxonomy! | Battling Bugs: A Digital Quagmire |
| 11/14/2005 | Confused | Battling Bugs: A Digital Quagmire |
| 11/16/2005 | Perfection is Elusive | Battling Bugs: A Digital Quagmire |
| 11/16/2005 | Creative Tension | Battling Bugs: A Digital Quagmire |
| 11/09/2005 | Zipper Candidate? | Can one avoid monads? |
| 11/03/2005 | What's Next? | Jakarta Commons Monad, er, Chain |
| 10/30/2005 | Alloy: A Simple Structural Modeling Language Based on First-Order Logic | Alloy: A Simple Structural Modeling Language Based on First-Order Logic |
| 11/03/2005 | Agreed | Alloy: A Simple Structural Modeling Language Based on First-Order Logic |
| 10/30/2005 | Good Question! | The Type-System-Feature-Creep Death Spiral |
| 11/02/2005 | *sigh* | OOPSLA 2005 Reports |
| 11/02/2005 | Definitely Worth Rehashing | OOPSLA 2005 Reports |
| 11/03/2005 | Good Stuff! | OOPSLA 2005 Reports |
| 11/02/2005 | The Phase Distinction is Important | OOPSLA 2005 Reports |
| 11/02/2005 | Good Point | OOPSLA 2005 Reports |
| 10/27/2005 | Confluence | Would LISP/FP help here? |
| 10/24/2005 | Literally Low-Level | Why Lists? |
| 10/23/2005 | Amen! | What do you mean by studying "programming languages"? |
| 10/25/2005 | No | Bruce Tate: Technologies that may challenge Java |
| 10/25/2005 | To Exclude the Middle or Not? | Bruce Tate: Technologies that may challenge Java |
| 10/18/2005 | "Practical" | Object Oriented Programming + Referential Transparency |
| 10/19/2005 | My Bad! | Object Oriented Programming + Referential Transparency |
| 10/18/2005 | Correct! | Object Oriented Programming + Referential Transparency |
| 10/21/2005 | Fair enough... | Expressions vs Statements |
| 10/12/2005 | These are a Good Start... | Zipper-based file server/OS |
| 10/11/2005 | Other Implementations | Zipper-based file server/OS |
| 10/14/2005 | Not Quite | Zipper-based file server/OS |
| 10/12/2005 | Graydon Hoare Got it Right | Zipper-based file server/OS |
| 10/14/2005 | Excellent News! | Zipper-based file server/OS |
| 06/08/2006 | Awesome! | Zipper-based file server/OS |
| 06/24/2006 | Oleg, Lydia, and Jacques Rock | Zipper-based file server/OS |
| 09/28/2005 | Good Ideal | Looking for FP Debuggers |
| 09/28/2005 | Dylan! | ICFP Programming Contest 2005 Results |
| 09/24/2005 | O'Caml Nitpick | Non-Lisp, natively extensible? |
| 09/24/2005 | No Worries... | Non-Lisp, natively extensible? |
| 09/27/2005 | True to a Point | Continuations library for Java |
| 09/23/2005 | This Reminds Me of... | A Type Discipline for Authorization Policies |
| 09/22/2005 | Fair Question... | Don Box: Scheme Is Love |
| 09/17/2005 | Indeed it Does! | Most Productive FP Lang? |
| 09/09/2005 | IMHO... | Haskell and creative freedom |
| 09/10/2005 | Trickier... | Haskell and creative freedom |
| 09/15/2005 | Having Just Left a C++ Job of Almost Two Years... | Haskell and creative freedom |
| 09/09/2005 | Synchronization | Persistent functional databases |
| 09/05/2005 | The Biggest Benefit | Jon Udell: The riddle of asynchrony |
| 09/05/2005 | Indeed... | OO Language Engineering for the Post-Java Era |
| 08/30/2005 | The Next 700 Data Description Languages & PADS | Real-life use case - which PLs support it nicely? |
| 09/01/2005 | Three Syllables, Sounds Like... | Yearning for a practical scheme |
| 09/02/2005 | Good Points | Yearning for a practical scheme |
| 09/05/2005 | Some Examples... | Yearning for a practical scheme |
| 09/02/2005 | Good Question! | Yearning for a practical scheme |
| 09/02/2005 | Noise | Yearning for a practical scheme |
| 09/02/2005 | It's Mostly Good News | Yearning for a practical scheme |
| 09/06/2005 | Region Inference | Yearning for a practical scheme |
| 08/29/2005 | Where Abstractions Live | Tim Bray on Ruby |
| 08/30/2005 | Modulation | Tim Bray on Ruby |
| 08/30/2005 | How Much Influence is Enough? | Tim Bray on Ruby |
| 08/24/2005 | Purity vs. Impurity, Redux | Ivory Towers and Gelfand's Principle |
| 08/24/2005 | Next Steps | Ivory Towers and Gelfand's Principle |
| 08/25/2005 | This is Mistaken | Ivory Towers and Gelfand's Principle |
| 08/25/2005 | Makes Sense to Me | Ivory Towers and Gelfand's Principle |
| 08/25/2005 | Well-Stated | Ivory Towers and Gelfand's Principle |
| 08/28/2005 | Valid Point Missed | Ivory Towers and Gelfand's Principle |
| 08/20/2005 | Too Heavyweight | Formal semantics for working programmers |
| 08/21/2005 | Over the Learning Curve | Formal semantics for working programmers |
| 08/22/2005 | I'd Agree... | Sawzall - a popular language at Google |
| 08/17/2005 | Inflection Point | 'Information and Computation' Open Access |
| 08/12/2005 | Barendregt Cube | Invariants/Contracts vs. types |
| 08/12/2005 | Oh Man... | Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets |
| 08/08/2005 | Unless I'm Mistaken... | Simpler representation of operational semantics? |
| 08/11/2005 | Toplevel | Concatenative Language Kont |
| 08/06/2005 | OK, I'll Bite... | Have scripting languages peaked? |
| 08/08/2005 | Selection Criteria | Have scripting languages peaked? |
| 08/08/2005 | Holy Grail | Have scripting languages peaked? |
| 08/04/2005 | Very Briefly... | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/08/2005 | In That Case... | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/05/2005 | Interesting Point... | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/06/2005 | Sure... | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/06/2005 | Well... | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/06/2005 | Key Observation | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/08/2005 | EMACS vs. Eclipse | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/08/2005 | Definitions | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/08/2005 | But That's Just It... | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/06/2005 | tkatchev: "Expressive abstrac | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/07/2005 | Forest/Trees | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/08/2005 | Without Any Point of Comparison... | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/08/2005 | What Metrics Cover vs. What They Don't | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/08/2005 | Disjoint Sets | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/09/2005 | Thanks for the Example! | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/08/2005 | Bizarre | Mercury Vs Prolog |
| 08/08/2005 | Phase Distinction | Mercury Vs Prolog |
| 08/09/2005 | CPU vs. Other Costs | Mercury Vs Prolog |
| 07/29/2005 | LA Area | CTM tour during the week of Nov. 7 |
| 07/28/2005 | Congratulations! | Happy Birthday, dear Lambda |
| 08/05/2005 | Good News! | ACM Queue: Security Problem Solved? |
| 07/21/2005 | Well Stated | On the Revival of Dynamic Languages |
| 07/21/2005 | True Enough... | On the Revival of Dynamic Languages |
| 07/22/2005 | Indeed! | On the Revival of Dynamic Languages |
| 07/22/2005 | Hopeful Clarification | On the Revival of Dynamic Languages |
| 07/22/2005 | Not Sure I Agree... | On the Revival of Dynamic Languages |
| 07/22/2005 | My Experience... | On the Revival of Dynamic Languages |
| 07/20/2005 | The Upgrade Problem | On the Revival of Dynamic Languages |
| 07/21/2005 | My Opinion... | On the Revival of Dynamic Languages |
| 07/21/2005 | This is Actually a Big Chunk of the Value of Type Theory | On the Revival of Dynamic Languages |
| 07/22/2005 | You Might... | On the Revival of Dynamic Languages |
| 07/22/2005 | In Economic Terms... | On the Revival of Dynamic Languages |
| 07/22/2005 | Fair Enough... | On the Revival of Dynamic Languages |
| 07/22/2005 | *sigh* | On the Revival of Dynamic Languages |
| 07/21/2005 | Yep | On the Revival of Dynamic Languages |
| 07/21/2005 | More Good Questions | On the Revival of Dynamic Languages |
| 07/22/2005 | Excellent Post! | On the Revival of Dynamic Languages |
| 07/20/2005 | Codewalkers | Grady Booch: Software Engineering Grand Challenges |
| 07/19/2005 | Other Way | Conversion of 'functional' to 'imperative' algorithms: is it possible? |
| 07/11/2005 | From the Sublime to the Absurd | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/12/2005 | You Might Think So... | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/12/2005 | You Can Say "In the Limit..." | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/17/2005 | Obviously Not | Static Typing Where Possible, Dynamic Typing When Needed |
| 02/01/2006 | Totally! | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/12/2005 | Nothing to Disagree With... | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/18/2005 | You're Mostly Reiterating My Points! | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/18/2005 | Whoops... | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/19/2005 | OK, Maybe Just One Point | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/19/2005 | More Reading-Into Fun! | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/20/2005 | OK... | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/12/2005 | Good Points | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/20/2005 | Nothing! | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/20/2005 | *sigh* | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/11/2005 | Careful... | Classic LISP books online |
| 07/10/2005 | Multi-Stage Programming | Data is code |
| 07/09/2005 | O'Caml vs. SML/Alice | CTM |
| 07/10/2005 | Many Paths | CTM |
| 07/10/2005 | The Need for Speed | CTM |
| 07/09/2005 | Um... | ESL Design |
| 07/09/2005 | What Level... | ESL Design |
| 07/03/2005 | LyX and Literate Programming | Martin Fowler on Language Workbenches and DSLs |
| 07/03/2005 | Also Completely OT | Organizing papers... |
| 06/29/2005 | Modules | Hungarian Notation vs The Right Thing |
| 06/30/2005 | But... | Hungarian Notation vs The Right Thing |
| 06/30/2005 | Cultural Issue | Hungarian Notation vs The Right Thing |
| 06/28/2005 | Hard to Say | Generics are a mistake? |
| 06/28/2005 | Without Getting All Category-Theoretic... | Generics are a mistake? |
| 06/29/2005 | Good Question | Generics are a mistake? |
| 06/29/2005 | Clarity of Context | Generics are a mistake? |
| 06/29/2005 | I Ran Contras | Generics are a mistake? |
| 07/01/2005 | And I Still Agree... | Generics are a mistake? |
| 06/28/2005 | Why It's Problematic | Generics are a mistake? |
| 06/28/2005 | Alternatives | Generics are a mistake? |
| 06/28/2005 | Ob. Quote | Generics are a mistake? |
| 06/28/2005 | Problems vs. Features | Generics are a mistake? |
| 06/29/2005 | For Some Definition of "Could" | Generics are a mistake? |
| 06/29/2005 | The Tomayto/Tomahto Thing | Generics are a mistake? |
| 06/29/2005 | Qrczak: BTW, OCaml doesn't ha | Generics are a mistake? |
| 06/29/2005 | Some Pointers | Generics are a mistake? |
| 06/29/2005 | ATITAPL | Generics are a mistake? |
| 06/29/2005 | My Poor Phraseology | Generics are a mistake? |
| 06/27/2005 | O'Caml's Object System | A Typeful Approach to Object-Oriented Programming with Multiple inheritance |
| 06/27/2005 | For Myself... | "dynamic" generative programming? |
| 06/21/2005 | If I Understand the Question Correctly... | JavaScript 2.0: Evolving a Language for Evolving Systems |
| 06/07/2005 | Disbelief | What will Apple's move to Intel mean for Alternative Language Communities? |
| 06/08/2005 | Nope... | What will Apple's move to Intel mean for Alternative Language Communities? |
| 06/07/2005 | Single-Platform Codegen | What will Apple's move to Intel mean for Alternative Language Communities? |
| 06/07/2005 | Business Model Shifts | What will Apple's move to Intel mean for Alternative Language Communities? |
| 06/07/2005 | Kanren | A question I have been meaning to ask. |
| 06/02/2005 | More Partial Evaluation References | What is so bad about compiling? |
| 06/01/2005 | Missing the Point | Judy Stores |
| 05/26/2005 | What rmalafaia said... | PLT Needs You! |
| 05/23/2005 | As Usual... | Jon Udell: Tools for dynamic languages |
| 05/24/2005 | Not Winnable | Haskell for C Programmers |
| 05/20/2005 | Very Good! | LLVM 1.5 has been released! |
| 05/22/2005 | Preliminary Observations | LLVM 1.5 has been released! |
| 05/16/2005 | Logic Books | Resources related to logic? |
| 05/16/2005 | C++ Templates... | Advanced Types in Qi |
| 05/11/2005 | Thanks! | More sites like Lambda |
| 05/01/2005 | Cognitive Dissonance | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/02/2005 | Yes, Erlang and E are Nice, as is Oz... | Call for Papers: ACM Symposium on Dynamic Languages |
| 04/30/2005 | OK, I'll Bite... | The long tail of programming languages |
| 05/04/2005 | Invisible Forth | The long tail of programming languages |
| 06/28/2005 | I'm Trying... | Lambdascope |
| 05/02/2005 | Er... | R6RS Scheme Status Report |
| 04/28/2005 | What's So Special About Streams of Characters? | The Fortress Language Spec v0.618 |
| 04/26/2005 | Fast Scheme | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 05/05/2005 | Microbenchmarks Lead to Microoptimization... | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 05/05/2005 | Measuring Expressive Power | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 04/23/2005 | I Wonder How It Reads in the Original Italian... | Sapir-Whorf again? |
| 04/21/2005 | Wow... | Why do they program in C++? |
| 04/22/2005 | ABI Compatibility... | Why do they program in C++? |
| 04/22/2005 | IMHO... | Why do they program in C++? |
| 04/22/2005 | Certainly | Why do they program in C++? |
| 04/22/2005 | MLKit | Why do they program in C++? |
| 04/25/2005 | Good Point... | Why do they program in C++? |
| 04/25/2005 | From This... | Why do they program in C++? |
| 04/25/2005 | Fair Enough... | Why do they program in C++? |
| 04/26/2005 | Thanks! | Why do they program in C++? |
| 04/26/2005 | Trusted Computing Base | Why do they program in C++? |
| 04/26/2005 | I See Your Point and Raise You an Overflow! | Why do they program in C++? |
| 04/26/2005 | Towering Numbers | Why do they program in C++? |
| 04/28/2005 | Compile Times | Why do they program in C++? |
| 04/26/2005 | I Think This is Fair... | Why do they program in C++? |
| 04/25/2005 | Interesting Point... | Why do they program in C++? |
| 06/08/2005 | Interesting... | Why do they program in C++? |
| 04/21/2005 | As Opposed... | 2005 Programming Languages Day at Watson |
| 04/19/2005 | Seconded! | Why Dependent Types Matter |
| 04/19/2005 | Wow... | Why Dependent Types Matter |
| 04/19/2005 | It's a Fair Cop... | Why Dependent Types Matter |
| 04/19/2005 | My Perception... | How much better is the second edition of "Essentials of Programming Languages"? |
| 04/18/2005 | Hmmm... | What happened to Charity? |
| 04/12/2005 | To Say Nothing... | Links |
| 04/12/2005 | Yes and No... | Links |
| 04/11/2005 | Programming as Craft | Dominus talks about HO Perl |
| 04/14/2005 | Paradigm Shift | Dominus talks about HO Perl |
| 04/11/2005 | Agreed | Dominus talks about HO Perl |
| 04/11/2005 | Speaking of Tiresome... | Links Slides |
| 04/11/2005 | Back and Forth; Round and Round | Links Slides |
| 04/12/2005 | Very Funny | Links Slides |
| 04/12/2005 | Admittedly... | Links Slides |
| 04/12/2005 | Definitely | Links Slides |
| 04/10/2005 | My Opinion | Computerworld Development Survey |
| 04/10/2005 | Define "Incremental Improvement." | Computerworld Development Survey |
| 04/11/2005 | Nibbles and Bits | Computerworld Development Survey |
| 04/10/2005 | Evolution | Computerworld Development Survey |
| 04/05/2005 | This Sounds an Awful Lot Like... | Jon Udell: Languages and environments |
| 04/05/2005 | Hibernate | Jon Udell: Languages and environments |
| 04/05/2005 | Run, Don't Walk... | Mechanics of designing and implementing a language |
| 04/05/2005 | Only Two Points... | Mechanics of designing and implementing a language |
| 04/05/2005 | Almost Forgot... | Mechanics of designing and implementing a language |
| 04/05/2005 | Lambda, the Ultimate IR | Mechanics of designing and implementing a language |
| 04/06/2005 | Off the Cuff | Mechanics of designing and implementing a language |
| 04/06/2005 | Almost Correct... | Mechanics of designing and implementing a language |
| 04/07/2005 | Absolutely... | Mechanics of designing and implementing a language |
| 04/07/2005 | Which Reminds Me... | Mechanics of designing and implementing a language |
| 04/18/2005 | Biggest Decision | Mechanics of designing and implementing a language |
| 03/29/2005 | Agreed | expressivity of "idiomatic C++" |
| 04/05/2005 | Known Knowns :-) | expressivity of "idiomatic C++" |
| 04/06/2005 | No, But... | expressivity of "idiomatic C++" |
| 03/29/2005 | Default Assumptions | expressivity of "idiomatic C++" |
| 04/28/2005 | Templates to the Rescue, Indeed | expressivity of "idiomatic C++" |
| 04/04/2005 | What Style Would That Be? | expressivity of "idiomatic C++" |
| 04/05/2005 | Close Enough for Government Work | expressivity of "idiomatic C++" |
| 09/21/2005 | I Was Just Going to Observe... | expressivity of "idiomatic C++" |
| 03/30/2005 | Another Subject... | How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible |
| 03/21/2005 | Amen! | Script Vs Java |
| 03/22/2005 | Interesting Question... | Script Vs Java |
| 03/21/2005 | SLIME | Best Common Lisp IDE? |
| 03/19/2005 | Ditto | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/22/2005 | Two Biggest Problems in Software Development | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/19/2005 | Absolutely | Reflection in Java: how are they getting with it? |
| 03/20/2005 | I would counter... | Reflection in Java: how are they getting with it? |
| 03/18/2005 | From Omega to Mu | Halting program density? |
| 03/18/2005 | Not Contradictory | Halting program density? |
| 03/19/2005 | Isomorphism | Halting program density? |
| 03/19/2005 | For One Specific Universal Machine... | Halting program density? |
| 03/25/2005 | This is Particularly True... | Grady Booch: AOSD keynote |
| 03/17/2005 | Or... | The fate of reduce() in Python 3000 |
| 03/19/2005 | Quote | The fate of reduce() in Python 3000 |
| 03/22/2005 | Artists vs. Programmers Given "Procedural X" | Will Wright Presents Spore... and a New Way to Think About Games |
| 03/15/2005 | Decent Thread | OCaml vs. C++ for Dynamic Programming |
| 03/14/2005 | Hero | Interview with Donald Knuth |
| 03/14/2005 | Secret Codes | Interview with Donald Knuth |
| 03/15/2005 | Isomorphism | Interview with Donald Knuth |
| 03/15/2005 | Heh | Interview with Donald Knuth |
| 03/15/2005 | I will have to read it... | A New Approach to Abstract Syntax with Variable Binding |
| 03/14/2005 | Good Reasons | Fortress focuses on the needs of scientists |
| 03/08/2005 | AOP Critique | μABC: A Minimal Aspect Calculus |
| 03/15/2005 | ParenScript | JavaScript and domain specific Languages |
| 03/06/2005 | A Few Notes | Adobe Releases Adam and Eve |
| 02/25/2005 | Another Take | Embedded Interpreters |
| 02/24/2005 | No Kidding | SPARQL Query Language for RDF |
| 02/25/2005 | Graphs and Objects | SPARQL Query Language for RDF |
| 03/19/2005 | Compare and Contrast | Journals and papers? |
| 02/22/2005 | Relationship to CINNI? | I am not a number: I am a free variable |
| 02/22/2005 | Funny... | Don Box: Teaching my kids to program |
| 02/22/2005 | Topic Choice | Don Box: Teaching my kids to program |
| 02/28/2005 | Where to Begin? | Don Box: Teaching my kids to program |
| 02/18/2005 | Respectful Disagreement | What are The Atoms of Programming Languages? |
| 02/16/2005 | OK, Here I Go... | Defining new infix operators in Python |
| 02/16/2005 | Preach It! | Barbara Partee: Reflections of a Formal Semanticist as of Feb 2005 |
| 02/12/2005 | Briefly, Kay has commented el | ACM Queue: A Conversation with Alan Kay |
| 02/14/2005 | Once Again... | ACM Queue: A Conversation with Alan Kay |
| 02/15/2005 | Better Than Nothing | ACM Queue: A Conversation with Alan Kay |
| 02/16/2005 | Line Drawing | ACM Queue: A Conversation with Alan Kay |
| 02/18/2005 | Re: Kolmogorov Complexity | ACM Queue: A Conversation with Alan Kay |
| 02/18/2005 | Good point! | ACM Queue: A Conversation with Alan Kay |
| 02/07/2005 | Orthogonal Persistence | Transparent Persistence |
| 02/09/2005 | Smalltalk's Live Upgrade Can't Be Made Reliable | Transparent Persistence |
| 02/09/2005 | Nomic | Transparent Persistence |
| 02/09/2005 | Costs | Transparent Persistence |
| 02/09/2005 | This is the Conflation of Concepts I Was Describing! | Transparent Persistence |
| 09/05/2006 | What Does "Hide" Mean in This Context? | Transparent Persistence |
| 02/06/2005 | Project Ideas | CTM wiki |
| 02/01/2005 | Nice! | Unimperative Programming Language - Teaser |
| 02/02/2005 | With respect to the general q | Unimperative Programming Language - Teaser |
| 02/01/2005 | Not Far From Scheme | Neologism |
| 02/03/2005 | Not Undecidable, But Not Space-Safe | Avoiding worst case GC with large amounts of data? |
| 02/02/2005 | In the Meantime... | Avoiding worst case GC with large amounts of data? |
| 01/29/2005 | Funny You Ask... | C++ OR mapping - cross platform and db |
| 02/01/2005 | I dunno... | C++ OR mapping - cross platform and db |
| 01/26/2005 | Metaprogramming and Static Types | BitC, a new OS implementation language |
| 01/26/2005 | Why the Syntax, Redux | BitC, a new OS implementation language |
| 01/28/2005 | Good Questions! | BitC, a new OS implementation language |
| 01/31/2005 | Re: Type Safety and Concurrency | BitC, a new OS implementation language |
| 07/18/2005 | :-) | BitC, a new OS implementation language |
| 01/28/2005 | Modulo... | BitC, a new OS implementation language |
| 01/26/2005 | Hardware Design Language | Langauges and Hardware... |
| 01/26/2005 | At the Border Between Static and Dynamic | "Popular vs. Good" in Programming Languages |
| 01/25/2005 | Beauty in the Eye of the Beholder? | "Popular vs. Good" in Programming Languages |
| 01/25/2005 | Monoculture | "Popular vs. Good" in Programming Languages |
| 01/27/2005 | The Tomaytoe-Tomahtoe Thing | "Popular vs. Good" in Programming Languages |
| 01/25/2005 | Requirements? | "Popular vs. Good" in Programming Languages |
| 01/25/2005 | Fish/Fowl | "Popular vs. Good" in Programming Languages |
| 01/25/2005 | F# Critique? | "Popular vs. Good" in Programming Languages |
| 01/26/2005 | O'Caml and Oz... | "Popular vs. Good" in Programming Languages |
| 01/26/2005 | O'Caml Speed | "Popular vs. Good" in Programming Languages |
| 01/27/2005 | The Company You Keep | "Popular vs. Good" in Programming Languages |
| 01/27/2005 | Snake Eyes | "Popular vs. Good" in Programming Languages |
| 01/27/2005 | Focus | "Popular vs. Good" in Programming Languages |
| 01/27/2005 | Form vs. Function | "Popular vs. Good" in Programming Languages |
| 01/21/2005 | "Keep It Real?" | Getting Started |
| 01/21/2005 | PL Design Launching-Off Points | Getting Started |
| 01/21/2005 | Meandering | Getting Started |
| 01/23/2005 | Switching Concepts | OOP Is Much Better in Theory Than in Practice |
| 02/22/2005 | Wrong Argument | OOP Is Much Better in Theory Than in Practice |
| 01/18/2005 | Awesome! | Advanced Topics in Types and Programming Languages |
| 01/19/2005 | Review | Advanced Topics in Types and Programming Languages |
| 01/19/2005 | Oops | Advanced Topics in Types and Programming Languages |
| 01/25/2005 | Arrived Yesterday... | Advanced Topics in Types and Programming Languages |
| 01/09/2005 | Source Release! | JoCaml |
| 01/10/2005 | Primitives | JoCaml |
| 11/19/2007 | Grand Unified OCaml Theory | JoCaml |
| 12/30/2004 | Concurrency, Libraries, Dynamic Types, Interactive, Fashionable | PL for interactive simulation |
| 12/28/2004 | New Languages | New Year's Resolutions |
| 12/26/2004 | Most Certainly | Integrating support for undo with exception handling |
| 12/27/2004 | Totalitarian State | Integrating support for undo with exception handling |
| 01/01/2005 | Social Issues | Alice Through the Looking Glass |
| 01/02/2005 | Social vs. Technical | Alice Through the Looking Glass |
| 02/03/2005 | It's an Ex Argument! | Alice Through the Looking Glass |
| 12/21/2004 | Sympathies | Absence |
| 12/19/2004 | Runtime Target Choice | The Memory Pool System: Thirty person-years of memory management development goes Open Source |
| 12/14/2004 | ZIL | Choosing a Language for Interactive Fiction |
| 12/17/2004 | From MDL to ZIL | Choosing a Language for Interactive Fiction |
| 12/12/2004 | Expertise? | Tim Bray: Sun & Dynamic Java |
| 12/13/2004 | Recursion and FP | Tim Bray: Sun & Dynamic Java |
| 12/15/2004 | Sweet! | LLVM 1.4 Released |
| 12/09/2004 | Greg Buchholz: Has anyone eve | Casting SPELs in Lisp |
| 12/06/2004 | Re: Type System | Definition of Type |
| 12/07/2004 | Foot Waving? | Definition of Type |
| 12/07/2004 | Sets of Potential Values | Definition of Type |
| 12/07/2004 | Fear | Definition of Type |
| 12/07/2004 | Nice! | Definition of Type |
| 12/07/2004 | Dominic Fox: Hard or not (it' | Definition of Type |
| 10/22/2004 | It Has Begun | Dr. Kenneth Iverson Passes Away |
| 10/22/2004 | Luke Gorrie: I'm pretty ignor | MapReduce - functional programming in the REAL World |
| 10/20/2004 | Tayssir John Gabbour: Why are | Programming for non-programmers |
| 10/16/2004 | Re: CTM | Distributed Functional Programming |
| 01/07/2009 | Previously, on LtU... | Statistical programming with R |
| 10/12/2004 | Re: Croquet | Croquet Project Releases Initial Developer Release |
| 03/29/2007 | Very Interesting News! | Croquet Project Releases Initial Developer Release |
| 09/23/2004 | Sh Syntax | Sh |
| 09/24/2004 | Shader Language Platform Independence | Sh |
| 09/23/2004 | What's in a Sh? | Sh |
| 10/03/2004 | Good Stuff! | Sh |
| 09/21/2004 | On a Related Note... | Fresh O'Caml |
| 09/21/2004 | Re: Semantics | Questions about Semantics. |
| 09/17/2004 | More On Types :-) | Looking for Classic Types Thread |
| 09/16/2004 | Back to the Future! | newLisp: A better Lisp/Scheme Fusion... |
| 09/12/2004 | Anonymity vs. Pseudonymity | Use real names |
| 09/09/2004 | Ditto | Description Logics in Literate Haskell |
| 09/10/2004 | Description Logics vs. FOPL | Description Logics in Literate Haskell |
| 09/10/2004 | Relational Lisp | Description Logics in Literate Haskell |
| 09/07/2004 | "Desktop" vs. "OS" | Database File System |
| 09/03/2004 | The Well-Tempered Object | Musical programming and languages |
| 09/03/2004 | Accident, er, Types | A Deeper Look At Metafunctions |
| 09/03/2004 | Not Going All The Way Into It Again, But... | A Deeper Look At Metafunctions |
| 09/03/2004 | The Tragic vs. the Comic View | A Deeper Look At Metafunctions |
| 09/03/2004 | Next? | A Deeper Look At Metafunctions |
| 09/04/2004 | No Uniqueness Claim | A Deeper Look At Metafunctions |
| 09/01/2004 | Objects or Modules? | Higher order versus Object order |
| 09/01/2004 | Inclusion Polymorphism | Higher order versus Object order |
| 09/09/2004 | Motivations | PLaneT |
| 08/31/2004 | I'm Reminded... | Apple Flunks First Grade Math |
| 09/11/2004 | Level of Abstraction | Apple Flunks First Grade Math |
| 07/13/2005 | Just to Expand a Bit | Why type systems are interesting - part III: latent types |
| 07/13/2005 | Sets of What? | Why type systems are interesting - part III: latent types |
| 09/03/2004 | Typed Reflection | Why type systems are interesting - part III: latent types |
| 08/26/2004 | Looks Nice! | "Types and Reflection" by Lauri Emil Alanko |
| 08/26/2004 | Re: The Pi Calculus | Grid Computing & the Linda Programming Model |
| 08/25/2004 | Session Problem | Problem with posting |
| 08/21/2004 | On Gödel | Goedel's Theorem and Theories of Arithmetic |
| 08/22/2004 | Naming Abstractions | New result re "linguistic determinism" |
| 08/22/2004 | Game Logics | Introduction to computability logic |
| 08/22/2004 | UT2010 and Formal Logic | Introduction to computability logic |
| 08/24/2004 | Re: Planner, Schemer, Shooter | Introduction to computability logic |
| 08/20/2004 | Significant Whitespace | Error handling strategies |
| 08/20/2004 | Language Confusion | Error handling strategies |
| 08/20/2004 | Indiana | Grad School advice |
| 08/20/2004 | Player | Erlang the Movie |
| 08/21/2004 | Cool Video | Erlang the Movie |
| 08/16/2004 | Re: "Wrong default" is an awfully strong way to put it | The right default: concurrent components with message passing |
| 08/16/2004 | Strength and Failure | The right default: concurrent components with message passing |
| 08/16/2004 | Fail-Only? | The right default: concurrent components with message passing |
| 08/16/2004 | Claims vs. Non-Claims | The right default: concurrent components with message passing |
| 08/16/2004 | Concurrency and Distribution | The right default: concurrent components with message passing |
| 08/16/2004 | Shared-State Concurrency, or C++? | The right default: concurrent components with message passing |
| 08/16/2004 | REST and Ramblings on Sequentiality | The right default: concurrent components with message passing |
| 08/16/2004 | Bitter Experience | The right default: concurrent components with message passing |
| 07/22/2006 | Good Question! | The right default: concurrent components with message passing |
| 08/16/2004 | John Carter: Before CCWMP can | The right default: concurrent components with message passing |
| 08/17/2004 | Domains | The right default: concurrent components with message passing |
| 08/17/2004 | Sorry! | The right default: concurrent components with message passing |
| 08/13/2004 | Add Oz | Cω vs. Erlang? |
| 08/13/2004 | Erehwon | Why compiler optimizations are interesting |
| 08/12/2004 | Self-Selection | New Paul Graham thing... |
| 08/12/2004 | Caring About Programming | New Paul Graham thing... |
| 08/22/2004 | Paradigm vs. Language | New Paul Graham thing... |
| 08/23/2004 | Usable Haskell Systems | New Paul Graham thing... |
| 08/15/2004 | Teeter-Tottering on Languages | New Paul Graham thing... |
| 08/13/2004 | Promise Keepers? :-) | Call-by-what? |
| 02/18/2005 | Ack! | Call-by-what? |
| 08/15/2004 | They Say They Looked at RQL... | "Your" RDF Query Language |
| 08/15/2004 | Bijan Parsia | "Your" RDF Query Language |
| 08/11/2004 | Self 4.2 | Programming as an Experience: The Inspiration for Self |
| 08/10/2004 | More Great Stuff From PLT | MzTake: A Scriptable Debugger |
| 08/09/2004 | This is a good paper. Folks i | Constraint-Based Type Inference for Guarded Algebraic Data Types |
| 08/10/2004 | Agreed | Udell: A strategic vision for dynamic languages |
| 08/12/2004 | Consistently Inconsistent? | Udell: A strategic vision for dynamic languages |
| 08/09/2004 | Incredible | PLs and SE |
| 08/10/2004 | Recidivism | Why type systems are interesting - part II |
| 08/10/2004 | Metacircularity | Why type systems are interesting - part II |
| 08/10/2004 | Power Cycle; Start Over | Why type systems are interesting - part II |
| 08/26/2004 | Proofs at Different Times | Why type systems are interesting - part II |
| 08/10/2004 | Whew. | Why type systems are interesting - part II |
| 09/11/2005 | The Next Thing You Know... | Why type systems are interesting - part II |
| 09/11/2005 | More Than What is Required | Why type systems are interesting - part II |
| 09/13/2005 | I Was Speaking With Tongue Firmly in Cheek... | Why type systems are interesting - part II |
| 08/14/2004 | Interesting | Why type systems are interesting - part II |
| 08/17/2004 | Disknowns | Why type systems are interesting - part II |
| 08/11/2004 | "Mostly... Simplistic" | Why type systems are interesting - part II |
| 08/12/2004 | Head Scratching? | Why type systems are interesting - part II |
| 08/12/2004 | Striving for Positivism | Why type systems are interesting - part II |
| 08/12/2004 | _|_ | Why type systems are interesting - part II |
| 08/12/2004 | On Topic | Why type systems are interesting - part II |
| 08/12/2004 | Sliders Are Fascinating! | Why type systems are interesting - part II |
| 08/12/2004 | My Favorite So Far Is... | Why type systems are interesting - part II |
| 08/25/2004 | OK, I can't resist... | Why type systems are interesting - part II |
| 08/25/2004 | King's Indian Reversed | Why type systems are interesting - part II |
| 08/13/2004 | Second | Morrow & First-class Labels |
| 08/11/2004 | Oberon | Dynamic Languages Wizards panel videos (rerun) |
| 08/13/2004 | Juice! | Dynamic Languages Wizards panel videos (rerun) |
| 08/06/2004 | *Ouch* | Eliminating Array Bound Checking through Non-dependent types |
| 08/06/2004 | <neo>Whoa.</neo> | A Visual Environment for Developing Context-Sensitive Term Rewriting Systems |
| 08/06/2004 | Re: Explicit Substitution Calculi | A Visual Environment for Developing Context-Sensitive Term Rewriting Systems |
| 08/16/2004 | Little Help? | A Visual Environment for Developing Context-Sensitive Term Rewriting Systems |
| 08/03/2004 | Good point! | Tail of Nil and Its Type |
| 07/29/2004 | The Transition | Francis Crick (1916-2004) |
| 07/23/2004 | The Most Powerful Programming Language in the World... | The C++ Source Journal |
| 08/02/2004 | Parsing Tool Choice | The C++ Source Journal |
| 07/26/2004 | AOP | JDeveloperAOP |
| 07/31/2004 | How Many Times Does Frank Have to Repeat This? | Why type systems are interesting |
| 07/31/2004 | Expressiveness vs. Convenience | Why type systems are interesting |
| 08/03/2004 | I'm still not Frank... | Why type systems are interesting |
| 08/04/2004 | Definitions | Why type systems are interesting |
| 08/05/2004 | Striving for Clarity | Why type systems are interesting |
| 08/02/2004 | How Does EMACS Work So Well? | Why type systems are interesting |
| 08/02/2004 | By the Way... | Why type systems are interesting |
| 05/25/2006 | Axioms and Inferences | Why type systems are interesting |
| 05/26/2006 | It's Harder | Why type systems are interesting |
| 05/26/2006 | Good Points | Why type systems are interesting |
| 05/26/2006 | Right! | Why type systems are interesting |
| 05/26/2006 | Written Puns vs. Verbal Puns | Why type systems are interesting |
| 08/07/2004 | Numerics is Hard | Why type systems are interesting |
| 08/07/2004 | And On That Note... | Why type systems are interesting |
| 08/07/2004 | Points of Comparison | Why type systems are interesting |
| 08/07/2004 | Nice and Groovy :-) | Why type systems are interesting |
| 08/08/2004 | Passionate Converts | Why type systems are interesting |
| 08/09/2004 | Re: Point of static proofs? | Why type systems are interesting |
| 08/09/2004 | 100 Proof vs. 100% Proven :-) | Why type systems are interesting |
| 08/09/2004 | Into the Weeds | Why type systems are interesting |
| 08/11/2004 | Enlightenment | Why type systems are interesting |
| 08/18/2005 | "Security" is a Badly Overloaded Term | Why type systems are interesting |
| 07/20/2004 | Boost FC++ Review | Functional programming in Java |
| 09/24/2004 | Paradigm Shift | Explaining monads |
| 09/26/2004 | You Say "Pair-uh-dime;" I say "Pahra-dig-um..." | Explaining monads |
| 09/27/2004 | More Verbiage | Explaining monads |
| 07/09/2004 | To Map or Not to Map | Database Abstraction Layers and Programming Languages |
| 07/08/2004 | RTL Overload | International Components for Unicode 3.0 Released |
| 08/10/2004 | Non-Prototype Literate Programming via Outlines, w/Cloned Nodes | Abstractionless programming |
| 06/14/2004 | Re: ToonTalk | ToonTalk |
| 06/06/2004 | Re: Axiom Computer Algebra System | Axiom Computer Algebra System |
| 05/25/2004 | Re: AFP 2004 | AFP 2004 |
| 05/24/2004 | Re: Case Study in Practical Language Use | Case Study in Practical Language Use |
| 05/24/2004 | Re: Case Study in Practical Language Use | Case Study in Practical Language Use |
| 05/19/2004 | Re: The SkyNet Virus: Why it is Unstoppable; How to Stop it | The SkyNet Virus: Why it is Unstoppable; How to Stop it |
| 05/20/2004 | Re: The SkyNet Virus: Why it is Unstoppable; How to Stop it | The SkyNet Virus: Why it is Unstoppable; How to Stop it |
| 05/20/2004 | Re: The SkyNet Virus: Why it is Unstoppable; How to Stop it | The SkyNet Virus: Why it is Unstoppable; How to Stop it |
| 05/20/2004 | Re: The SkyNet Virus: Why it is Unstoppable; How to Stop it | The SkyNet Virus: Why it is Unstoppable; How to Stop it |
| 05/20/2004 | Re: The SkyNet Virus: Why it is Unstoppable; How to Stop it | The SkyNet Virus: Why it is Unstoppable; How to Stop it |
| 05/20/2004 | Re: The SkyNet Virus: Why it is Unstoppable; How to Stop it | The SkyNet Virus: Why it is Unstoppable; How to Stop it |
| 05/19/2004 | Re: Aspect-Oriented Programming for Distributed Systems | Aspect-Oriented Programming for Distributed Systems |
| 05/04/2004 | Re: Tim Bray: Jython | Tim Bray: Jython |
| 05/04/2004 | Re: Tim Bray: Jython | Tim Bray: Jython |
| 04/29/2004 | Re: Growing a Language | Growing a Language |
| 04/29/2004 | Re: Growing a Language | Growing a Language |
| 04/30/2004 | Re: Growing a Language | Growing a Language |
| 05/11/2004 | Re: Growing a Language | Growing a Language |
| 04/16/2004 | Re: Poplog | Poplog |
| 04/19/2004 | Re: Poplog | Poplog |
| 04/19/2004 | Re: Poplog | Poplog |
| 04/19/2004 | Re: Poplog | Poplog |
| 04/20/2004 | Re: Poplog | Poplog |
| 04/20/2004 | Re: Poplog | Poplog |
| 03/29/2004 | Re: The Logic Programming Paradigm and Prolog | The Logic Programming Paradigm and Prolog |
| 03/29/2004 | Re: The Logic Programming Paradigm and Prolog | The Logic Programming Paradigm and Prolog |
| 03/21/2004 | Re: Cross-language future of open source desktops | Cross-language future of open source desktops |
| 02/09/2004 | Re: Darcs | Darcs |
| 02/02/2004 | Re: New Scientist interview with Alexandra Aikhenvald | New Scientist interview with Alexandra Aikhenvald |
| 12/16/2003 | Re: Reading, Writing, and Code | Reading, Writing, and Code |
| 12/17/2003 | Re: Reading, Writing, and Code | Reading, Writing, and Code |
| 12/05/2003 | Re: Frappe: Functional Reactive Programming in Java | Frappe: Functional Reactive Programming in Java |
| 11/28/2003 | Re: Is it time for another guest blogger? | Is it time for another guest blogger? |
| 11/16/2003 | Re: Notes on Programming in C | Notes on Programming in C |
| 11/17/2003 | Re: Notes on Programming in C | Notes on Programming in C |
| 11/13/2003 | Re: Making reliable distributed systems in the presence of software errors | Making reliable distributed systems in the presence of software errors |
| 11/14/2003 | Re: Making reliable distributed systems in the presence of software errors | Making reliable distributed systems in the presence of software errors |
| 11/03/2003 | Re: Bertrand Meyer on Software Quality | Bertrand Meyer on Software Quality |
| 10/24/2003 | Re: Open Programming Services for Virtual Machines: The Design of Mozart and SEAM | Open Programming Services for Virtual Machines: The Design of Mozart and SEAM |
| 10/08/2003 | Re: Excellent tutorial on Scheme macros | Excellent tutorial on Scheme macros |
| 10/06/2003 | Re: Tuples + Objects + Infosets =Too Much Stuff! | Tuples + Objects + Infosets =Too Much Stuff! |
| 09/23/2003 | Re: Philip Greenspun: Lisp diehards = Holocaust deniers | Philip Greenspun: Lisp diehards = Holocaust deniers |
| 09/18/2003 | Re: JScript is a Functional Language | JScript is a Functional Language |
| 09/04/2003 | Re: Why don't more people use Prolog? | Why don't more people use Prolog? |
| 08/22/2003 | Re: Closures and mutability | Closures and mutability |
| 07/11/2003 | Re: Partial Types in C# | Partial Types in C# |
| 06/15/2003 | Re: The Little Coder's Predicament | The Little Coder's Predicament |
| 06/09/2003 | Re: TPK Algorithm in Different Programming Languages | TPK Algorithm in Different Programming Languages |
| 06/04/2003 | Re: Unification on Stateless Objects | Unification on Stateless Objects |
| 06/03/2003 | Re: Shrink-wrap developers: what programming language? | Shrink-wrap developers: what programming language? |
| 05/23/2003 | Re: Identity crisis | Identity crisis |
| 05/22/2003 | Re: Tim Bray: The History of RDF | Tim Bray: The History of RDF |
| 05/23/2003 | Re: Tim Bray: The History of RDF | Tim Bray: The History of RDF |
| 05/19/2003 | Re: Using Memory Errors to Attack a Virtual Machine | Using Memory Errors to Attack a Virtual Machine |
| 05/14/2003 | Re: What I Hate About Your Programming Language | What I Hate About Your Programming Language |
| 05/15/2003 | Re: What I Hate About Your Programming Language | What I Hate About Your Programming Language |
| 05/14/2003 | Re: Mother Tongues of Computer Languages | Mother Tongues of Computer Languages |
| 05/11/2003 | Re: Tim Bray: Language fermentation | Tim Bray: Language fermentation |
| 05/05/2003 | Re: The New C++: Trip Report, October 2002 | The New C++: Trip Report, October 2002 |
| 05/09/2003 | Re: The New C++: Trip Report, October 2002 | The New C++: Trip Report, October 2002 |
| 03/27/2003 | Re: Java object models debated | Java object models debated |
| 03/26/2003 | Re: Functional Images | Functional Images |
| 03/18/2003 | Re: XML Is Too Hard For Programmers | XML Is Too Hard For Programmers |
| 03/04/2003 | Re: Call-by-name is dual to call-by-value | Call-by-name is dual to call-by-value |
| 03/06/2003 | Re: Call-by-name is dual to call-by-value | Call-by-name is dual to call-by-value |
| 02/25/2003 | Re: Y Store now C++ | Y Store now C++ |
| 02/25/2003 | Re: Y Store now C++ | Y Store now C++ |
| 02/25/2003 | Re: Y Store now C++ | Y Store now C++ |
| 02/26/2003 | Re: Y Store now C++ | Y Store now C++ |
| 02/24/2003 | Re: | "My C++ Experience/Disaster" |
| 02/24/2003 | Re: | "My C++ Experience/Disaster" |
| 02/25/2003 | Re: | "My C++ Experience/Disaster" |
| 02/25/2003 | Re: | "My C++ Experience/Disaster" |
| 02/05/2003 | Re: Rebel with a Cause | Rebel with a Cause |
| 12/05/2002 | Re: New features proposed for Java 1.5 by Sun | New features proposed for Java 1.5 by Sun |
| 12/06/2002 | Re: New features proposed for Java 1.5 by Sun | New features proposed for Java 1.5 by Sun |
| 12/07/2002 | Re: New features proposed for Java 1.5 by Sun | New features proposed for Java 1.5 by Sun |
| 12/07/2002 | Re: New features proposed for Java 1.5 by Sun | New features proposed for Java 1.5 by Sun |
| 12/08/2002 | Re: New features proposed for Java 1.5 by Sun | New features proposed for Java 1.5 by Sun |
| 09/30/2002 | Re: TinkerType | TinkerType |
| 09/23/2002 | Re: Exploring NLP in Oz/Mozart | Exploring NLP in Oz/Mozart |
| 09/24/2002 | Re: Exploring NLP in Oz/Mozart | Exploring NLP in Oz/Mozart |
| 09/04/2002 | Re: Java hits obstacle with cell phones | Java hits obstacle with cell phones |
| 08/27/2002 | Re: Can Programming Be Liberated from the von Neumann Style? | Can Programming Be Liberated from the von Neumann Style? |
| 08/07/2002 | Re: Putting Type Annotations to Work | Putting Type Annotations to Work |
| 07/31/2002 | Re: The Boost Lambda Library | The Boost Lambda Library |
| 07/31/2002 | Re: The Boost Lambda Library | The Boost Lambda Library |
| 08/01/2002 | Re: The Boost Lambda Library | The Boost Lambda Library |
| 07/24/2002 | Re: NVIDIA Open Sources Cg Compiler Technology | NVIDIA Open Sources Cg Compiler Technology |
| 06/27/2002 | Re: Chameleon | Chameleon |
| 06/17/2002 | Re: NVIDIA's Cg technology | NVIDIA's Cg technology |
| 06/15/2002 | Re: proof that (call/cc (lambda (c) (0 (c 1)))) => 1 | proof that (call/cc (lambda (c) (0 (c 1)))) => 1 |
| 06/16/2002 | Re: proof that (call/cc (lambda (c) (0 (c 1)))) => 1 | proof that (call/cc (lambda (c) (0 (c 1)))) => 1 |
| 04/23/2002 | Re: Language Myths | Language Myths |
| 04/12/2002 | Re: Computer Scientist Gets to the Bottom of Financial Scandal | Computer Scientist Gets to the Bottom of Financial Scandal |
| 02/01/2002 | Re: Modeling an Algebraic Stepper | Modeling an Algebraic Stepper |
| 01/19/2002 | Re: Web services: Winer on WSDL | Web services: Winer on WSDL |
| 01/10/2002 | Re: cdb, A Machine-Independent Debugger | cdb, A Machine-Independent Debugger |
| 12/14/2001 | Re: Backwards Debugging | Backwards Debugging |
| 12/15/2001 | Re: Backwards Debugging | Backwards Debugging |
| 12/05/2001 | Mozart-Oz | Mozart-Oz |
| 06/19/2001 | FC++ | FC++ |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |