Posts By: Marc Hamann
| Date | Post | Topic |
| 08/28/2010 | The conjugation of OT | Sapir-Whorf 70 years on |
| 09/02/2010 | Argumentum ad verecundiam | Sapir-Whorf 70 years on |
| 09/03/2010 | Dyspepsia | Sapir-Whorf 70 years on |
| 08/28/2010 | The imperatives of functional | Sapir-Whorf 70 years on |
| 08/29/2010 | Example language? | Sapir-Whorf 70 years on |
| 08/25/2010 | What more do you want? | Computational equivalent of incompleteness theorems? |
| 08/06/2010 | Nicer to come? | What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common |
| 08/30/2010 | A course in the making? | What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common |
| 08/04/2010 | Double standard? | CUFP 2010 |
| 08/02/2010 | What's the point? | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/02/2010 | Global vs. Local | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/04/2010 | Logic pudding | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/02/2010 | Definitions | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/04/2010 | Dependent? | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/05/2010 | Clarification of terminology | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/05/2010 | More clarification | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/05/2010 | The map is not the territory | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/05/2010 | Suspicious minds | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/06/2010 | Agnosis | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/06/2010 | Suppository | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/06/2010 | Ipso facto | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/05/2010 | Non-Paraconsistent Threads | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/06/2010 | There coming to take me away | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/06/2010 | Does too | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/06/2010 | A better answer | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/06/2010 | Questionably questionable | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/06/2010 | Moe-Howard Correspondence | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/06/2010 | Benign sophistry | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/06/2010 | Bad hair day | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/06/2010 | Inconsistent 'inconsistent' | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/09/2010 | And then? | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/09/2010 | ...so why not make the whole system undecidable? | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/09/2010 | Baby and Bathwater | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/09/2010 | From theory to practice | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/09/2010 | Round and round the mulberry bush... | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/09/2010 | Pop goes the weasel | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/09/2010 | Proof? | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/07/2010 | Baseline | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 07/16/2010 | Wrong venue | Is mathematics invention or discovery? |
| 07/17/2010 | The perils of Plato | Is mathematics invention or discovery? |
| 07/16/2010 | Recently on LtU | Is lambda calculus a logic? |
| 07/13/2010 | To what end? | Generative Grammar-based Computation |
| 07/13/2010 | The language that can tell no lies | Generative Grammar-based Computation |
| 07/05/2010 | Uncle Bob's talk at RailsConf 2010 | Uncle Bob's talk at RailsConf 2010 |
| 07/05/2010 | Rough calculation | Uncle Bob's talk at RailsConf 2010 |
| 07/07/2010 | Sociological subtext | Uncle Bob's talk at RailsConf 2010 |
| 07/07/2010 | Dispassionate analysis | Uncle Bob's talk at RailsConf 2010 |
| 06/28/2010 | Crossed parallels | SF-calculus |
| 06/30/2010 | The wrong game | SF-calculus |
| 06/30/2010 | Non-deterministically deterministic | SF-calculus |
| 06/30/2010 | A different approach | SF-calculus |
| 07/01/2010 | No surprise | SF-calculus |
| 07/02/2010 | Macro macros, not micro macros | SF-calculus |
| 06/25/2010 | Shot by one's own can(n)on | Why Undergraduates Should Learn the Principles of Programming Languages |
| 05/02/2010 | A middle position | Typed Lambda Calculus |
| 05/02/2010 | Duelling dictionaries | Typed Lambda Calculus |
| 05/05/2010 | Slicing with a different grain | Typed Lambda Calculus |
| 04/27/2010 | A real world analogy | Capability-based security; how does it work? |
| 04/27/2010 | The translation to computers | Capability-based security; how does it work? |
| 04/26/2010 | Chillens these days | In the wild |
| 04/22/2010 | Not a bang but a whimper | Seeking thoughtful criticisms of functional programming and languages |
| 04/22/2010 | Pudding to be eaten? | Seeking thoughtful criticisms of functional programming and languages |
| 04/22/2010 | Panglossian Programming | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Please back away from the lexical item, sir | Seeking thoughtful criticisms of functional programming and languages |
| 06/23/2010 | Two notions of specification | seL4: Formal Verification of an Operating-System Kernel |
| 06/23/2010 | A specification of a unicorn | seL4: Formal Verification of an Operating-System Kernel |
| 06/23/2010 | Amicus curiae | seL4: Formal Verification of an Operating-System Kernel |
| 06/23/2010 | More terminology | seL4: Formal Verification of an Operating-System Kernel |
| 06/23/2010 | Just really difficult | seL4: Formal Verification of an Operating-System Kernel |
| 04/16/2010 | Two sides, one coin | How can C Programs be so Reliable? |
| 04/17/2010 | Three Exception Monte | How can C Programs be so Reliable? |
| 04/14/2010 | Function query | splitting the program into formalizable vs. non-formalizable parts? |
| 04/15/2010 | A different problem | splitting the program into formalizable vs. non-formalizable parts? |
| 04/01/2010 | Design for what? | Go's proposed panic/recover exception-like mechanism |
| 04/01/2010 | Black hat, white hat | Go's proposed panic/recover exception-like mechanism |
| 03/25/2010 | Lost in translation | Will data-intensive computing revolutionize programming languages? |
| 03/25/2010 | Unnatural language translation | Will data-intensive computing revolutionize programming languages? |
| 03/26/2010 | Explorers and Settlers | Will data-intensive computing revolutionize programming languages? |
| 03/26/2010 | Settled vs. solved | Will data-intensive computing revolutionize programming languages? |
| 03/26/2010 | Political problem | Will data-intensive computing revolutionize programming languages? |
| 03/26/2010 | Optimistic transformations | Will data-intensive computing revolutionize programming languages? |
| 03/27/2010 | Unintended value judgment | Will data-intensive computing revolutionize programming languages? |
| 03/27/2010 | Practical is hindsight | Will data-intensive computing revolutionize programming languages? |
| 03/29/2010 | Healthy Diversity | Will data-intensive computing revolutionize programming languages? |
| 03/23/2010 | The utility of correspondences | Curry Howard and more powerful type systems |
| 03/24/2010 | A Tricky Question | Curry Howard and more powerful type systems |
| 03/23/2010 | There is a book | Curry Howard and more powerful type systems |
| 03/23/2010 | Try before you buy | Curry Howard and more powerful type systems |
| 03/22/2010 | The Passing of a Giant | Late Robin Milner |
| 03/23/2010 | Not the first stop | Late Robin Milner |
| 03/18/2010 | Type erasure? | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Deep Curry-Howard | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Source of confidence? | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Re: The LCF approach | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | No stretch necessary | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | Names are not definitions | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | One way or another | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | Types and logic | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | Yes/No/Maybe | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | Adios | On the (Alleged) Value of Proof for Assurance |
| 03/22/2010 | Oh what a feeling! | On the (Alleged) Value of Proof for Assurance |
| 03/23/2010 | Girard, mon semblable, mon frere | On the (Alleged) Value of Proof for Assurance |
| 03/22/2010 | Once more with feeling... | On the (Alleged) Value of Proof for Assurance |
| 03/22/2010 | Label Anxiety | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | Usenet 1995 | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | Huh? | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | de Hamann Criterion | On the (Alleged) Value of Proof for Assurance |
| 03/10/2010 | Not Even Even | functional equivalance? |
| 03/10/2010 | Even Even | functional equivalance? |
| 02/19/2010 | Nice job | Reminder: OOPSLA is now SPLASH |
| 02/20/2010 | Informed Opinions | Reminder: OOPSLA is now SPLASH |
| 02/16/2010 | Interesting Work | A Lambda Calculus for Real Analysis |
| 02/03/2010 | An interesting point | Extreme non-choosiness |
| 02/03/2010 | Bigraphs | Formal treatments (or examples of) of "function concatenation"? |
| 01/30/2010 | Order and isomorphism | Declarative reactive tables |
| 01/30/2010 | Compile your worries away | Declarative reactive tables |
| 01/30/2010 | Smart is as smart does | Declarative reactive tables |
| 01/31/2010 | I'm sorry, Dave. I'm afraid I can't do that. | Declarative reactive tables |
| 01/31/2010 | General Case / Special Case | Declarative reactive tables |
| 01/31/2010 | Primitive primitives | Declarative reactive tables |
| 01/31/2010 | Foundations | Declarative reactive tables |
| 01/31/2010 | Not really | Declarative reactive tables |
| 01/31/2010 | Can iterate | Declarative reactive tables |
| 01/31/2010 | A non-RT Haskell Primitive? | Declarative reactive tables |
| 01/31/2010 | Different turtles for different courses | Declarative reactive tables |
| 01/25/2010 | Weak analogy | Historical or sociological studies of programming language evolution? |
| 01/26/2010 | A Traveller's Report | Historical or sociological studies of programming language evolution? |
| 01/27/2010 | A potted summary | Historical or sociological studies of programming language evolution? |
| 01/28/2010 | HL/PL | Historical or sociological studies of programming language evolution? |
| 01/25/2010 | Marketecture | Historical or sociological studies of programming language evolution? |
| 01/25/2010 | Good and bad taxonomies | Historical or sociological studies of programming language evolution? |
| 01/09/2010 | The Art of Normalization | Why Normalization Failed to Become the Ultimate Guide for Database Designers? |
| 01/09/2010 | The Silver-haired Bullet | Why Normalization Failed to Become the Ultimate Guide for Database Designers? |
| 12/16/2009 | The social realities of APIs | Why API Design Matters |
| 12/17/2009 | The relevant aspects | Why API Design Matters |
| 12/14/2009 | Start with the first order and work your way up | Naive Question? Definition of "Higher Order" |
| 12/15/2009 | One, two, infinity... | Naive Question? Definition of "Higher Order" |
| 12/18/2009 | Ditto | Claiming Infinity |
| 12/18/2009 | Whew! | Claiming Infinity |
| 12/06/2009 | Kernel Languages And Expressiveness | Is Small Still Beautiful? |
| 12/07/2009 | Calculi Conundrum | Is Small Still Beautiful? |
| 12/03/2009 | Semantic TCO FTW | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | Yet more pluralism | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | LtU's Most Wanted | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | Scope adjustment | Why Object-Oriented Languages Need Tail Calls |
| 12/03/2009 | I come to praise, not to bury | Eleven Theses on Clojure |
| 12/04/2009 | STM worth being excited about | Eleven Theses on Clojure |
| 12/03/2009 | Long live diversity! | Eleven Theses on Clojure |
| 12/03/2009 | One language at a time | Eleven Theses on Clojure |
| 11/13/2009 | Slippery slope | John Hughes on Erlang and Haskell |
| 11/13/2009 | Curry-Howard ain't so common | John Hughes on Erlang and Haskell |
| 11/14/2009 | Curry-Howard-Gödel-Turing | John Hughes on Erlang and Haskell |
| 11/20/2009 | Sunshine Sketch of a Big Equivalence | John Hughes on Erlang and Haskell |
| 11/22/2009 | Looping proofs | John Hughes on Erlang and Haskell |
| 11/22/2009 | M's paradox | John Hughes on Erlang and Haskell |
| 11/22/2009 | Not a question of bad | John Hughes on Erlang and Haskell |
| 11/19/2009 | A Type System by any other name... | John Hughes on Erlang and Haskell |
| 11/03/2009 | A lesson for practitioners? | On Understanding Data Abstraction, Revisited |
| 11/04/2009 | Unclear distinction? | On Understanding Data Abstraction, Revisited |
| 10/29/2009 | Choose your literacy | Literate Programming: Retrospect and Prospects |
| 10/29/2009 | Code is Language | Literate Programming: Retrospect and Prospects |
| 10/30/2009 | Pseudo-prose's equally evil twin | Literate Programming: Retrospect and Prospects |
| 10/28/2009 | What is a value? | What is a Type? |
| 10/28/2009 | Types are second order | What is a Type? |
| 10/26/2009 | A Moving Target | Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson |
| 10/26/2009 | Can't decode the paradigm | Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson |
| 10/26/2009 | Un chien adalou | Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson |
| 10/26/2009 | A rhetorical answer | Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson |
| 10/05/2009 | Adequacy for which problem? | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
| 10/07/2009 | Expected outcome | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
| 10/07/2009 | Adequate modesty | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
| 09/29/2009 | The Myth of DWIM | Why Pseudo-Code? |
| 09/29/2009 | Algorithmic complexity | Why Pseudo-Code? |
| 07/31/2009 | Extremely understated | Definition of Functional Programming Language |
| 07/30/2009 | Deja snooze | Definition of Functional Programming Language |
| 07/07/2009 | The "Leaky Abstraction" Abstraction Leaks | Trade-offs with abstraction |
| 07/07/2009 | Woulda coulda shoulda | Trade-offs with abstraction |
| 07/07/2009 | Don't lock security away | Trade-offs with abstraction |
| 07/07/2009 | Slithy toves | Trade-offs with abstraction |
| 07/07/2009 | Abstract Silver Bullet Factory | Trade-offs with abstraction |
| 07/07/2009 | Two software designers go into a bar... | Trade-offs with abstraction |
| 07/08/2009 | The problem is king | Trade-offs with abstraction |
| 06/26/2009 | Halting problem | Most powerful terminating semantics? |
| 06/26/2009 | A simple question | Most powerful terminating semantics? |
| 06/27/2009 | The perils of computational thinking | Most powerful terminating semantics? |
| 06/27/2009 | A simpler take | Most powerful terminating semantics? |
| 06/26/2009 | You skipped a step | Most powerful terminating semantics? |
| 06/27/2009 | Oh, quite | Most powerful terminating semantics? |
| 06/27/2009 | Not so fast | Most powerful terminating semantics? |
| 06/27/2009 | For the record... | Most powerful terminating semantics? |
| 06/27/2009 | Finite recognition | Most powerful terminating semantics? |
| 06/27/2009 | Simplicity out the window ;-) | Most powerful terminating semantics? |
| 06/27/2009 | Live beginning | Most powerful terminating semantics? |
| 07/02/2009 | Call the men in white | Most powerful terminating semantics? |
| 07/03/2009 | At infinity, everything is possible | Most powerful terminating semantics? |
| 07/03/2009 | All f:N->N are total and O(1) with infinite memory | Most powerful terminating semantics? |
| 07/03/2009 | Manifesto | Most powerful terminating semantics? |
| 07/03/2009 | Open hand | Most powerful terminating semantics? |
| 07/03/2009 | CS is not (all of) mathematics | Most powerful terminating semantics? |
| 06/18/2009 | I know what you mean | Why a diagram is (sometimes) worth ten thousand words |
| 06/15/2009 | Obligatory Response | How Does Our Language Shape The Way We Think? |
| 06/16/2009 | Obligatory Follow-up ;-) | How Does Our Language Shape The Way We Think? |
| 06/16/2009 | .. the pump | How Does Our Language Shape The Way We Think? |
| 06/17/2009 | Priming writ large | How Does Our Language Shape The Way We Think? |
| 06/18/2009 | The Clouds | How Does Our Language Shape The Way We Think? |
| 06/18/2009 | "Share nothing" sophistry | How Does Our Language Shape The Way We Think? |
| 06/18/2009 | Priming prime | How Does Our Language Shape The Way We Think? |
| 06/17/2009 | A commonplace of commonplaces | How Does Our Language Shape The Way We Think? |
| 06/17/2009 | Philosophy | How Does Our Language Shape The Way We Think? |
| 06/18/2009 | The only way | How Does Our Language Shape The Way We Think? |
| 06/18/2009 | Theorists of the world unite! | How Does Our Language Shape The Way We Think? |
| 06/12/2009 | A Brief History of Time | Semantics: Logic vs. PL |
| 06/12/2009 | A difference of scope | Semantics: Logic vs. PL |
| 06/16/2009 | Computational Epistemology | Semantics: Logic vs. PL |
| 06/12/2009 | Virtual community service | Job trends |
| 06/07/2009 | Celebrity, Marketing and FLOSS | The Myth of the Genius Programmer |
| 06/01/2009 | Computing needs time travel | Computing Needs Time |
| 05/29/2009 | What's next? | Questions Five Ways |
| 05/29/2009 | Kids these days... | Questions Five Ways |
| 05/29/2009 | The present's so bright, I gotta wear shades | Questions Five Ways |
| 05/29/2009 | Shine on, you crazy Ruby | Questions Five Ways |
| 05/29/2009 | Tasty! | Questions Five Ways |
| 05/29/2009 | PL vs application | Questions Five Ways |
| 05/29/2009 | Music can be recognized by its... | Questions Five Ways |
| 05/29/2009 | Deep tools | Questions Five Ways |
| 05/29/2009 | Aggregation for the masses | Questions Five Ways |
| 05/27/2009 | Makes me wonder... | Forth Dimensions |
| 05/11/2009 | Such a bad thing? | Why Did M.I.T. Switch from Scheme to Python? |
| 05/12/2009 | Plumbing geeks | Why Did M.I.T. Switch from Scheme to Python? |
| 05/13/2009 | Plumbing is a skilled (and lucrative) trade | Why Did M.I.T. Switch from Scheme to Python? |
| 05/14/2009 | A young field? | Why Did M.I.T. Switch from Scheme to Python? |
| 05/07/2009 | Turn, turn, turn | Right on! |
| 05/06/2009 | I'll second that | Right on! |
| 04/21/2009 | References? | The deBrujin Criterion and the "LCF Approach". |
| 04/16/2009 | Source Code? | Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time |
| 04/17/2009 | Thanks! | Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time |
| 04/08/2009 | Programming Linguisitically Interesting | Twitter and Scala |
| 03/15/2009 | Point-free: does it really mean stateless? | Advantages of pointfree? |
| 03/16/2009 | A matter of interpretation | Advantages of pointfree? |
| 03/15/2009 | Not so sure... | Influence of cognitive models on programming language design |
| 03/16/2009 | May I humbly suggest.... | Influence of cognitive models on programming language design |
| 03/09/2009 | A pigeon and a plane both have wings... | C++ Futures |
| 03/10/2009 | Ordinary meaning only | C++ Futures |
| 03/10/2009 | The futures are so bright, I gotta wear shades | C++ Futures |
| 03/10/2009 | A contrast in attitudes | C++ Futures |
| 03/10/2009 | All futures will have their 15 mins of fame | C++ Futures |
| 03/10/2009 | For example | C++ Futures |
| 03/07/2009 | A word means just what I want it to mean... | The Meta-LtU Thread |
| 03/08/2009 | But there is an "i" in unverified... | The Meta-LtU Thread |
| 03/07/2009 | Sure, blame the old guy who isn't here much anymore... | The Meta-LtU Thread |
| 03/09/2009 | Not to flog a dead horse... | The Meta-LtU Thread |
| 03/10/2009 | The Charge of the LtU Brigade | The Meta-LtU Thread |
| 03/10/2009 | It's all dark, really... | The Meta-LtU Thread |
| 03/06/2009 | A geezer's story | The Meta-LtU Thread |
| 02/11/2010 | [SPAM] | Information regarding financial crisis |
| 02/11/2010 | Spam techniques | Information regarding financial crisis |
| 11/05/2009 | New presentation and new book | Lambda, the Ultimate TA |
| 04/03/2008 | A Good Book | Rewriting rules for deducing properties of functions |
| 03/07/2008 | Warning: may contain heresy | Confused Deputies in Programming Languages |
| 03/07/2008 | Go Team Peter! | Confused Deputies in Programming Languages |
| 03/07/2008 | E.g. | Confused Deputies in Programming Languages |
| 03/07/2008 | Transparent? | Confused Deputies in Programming Languages |
| 03/07/2008 | Que? | Confused Deputies in Programming Languages |
| 03/07/2008 | We are the knights who say CTM! | Confused Deputies in Programming Languages |
| 03/07/2008 | Depends on the problem | Confused Deputies in Programming Languages |
| 03/07/2008 | Love Big Brother | Confused Deputies in Programming Languages |
| 03/13/2008 | What about other worlds? | Confused Deputies in Programming Languages |
| 03/13/2008 | When is a world not a World? | Confused Deputies in Programming Languages |
| 03/13/2008 | The world is a vampire | Confused Deputies in Programming Languages |
| 02/19/2008 | Problem vs. solution | Gilad Bracha: Cutting out Static |
| 12/11/2007 | No sincere question is stupid | S has a left inverse |
| 12/09/2007 | First-class turntiles | functions, statements, expressions |
| 12/06/2007 | What problem are we solving? | poll: syntax |
| 12/06/2007 | O newbie, where art thou? | poll: syntax |
| 12/10/2007 | A constructive suggestion | poll: syntax |
| 11/29/2007 | A recommendation | foundations for J, APL etc |
| 11/27/2007 | Might be of interest | What have I created? |
| 11/26/2007 | Full and faithful embedding | A survey and discussion of taming effects |
| 11/26/2007 | Gallows humour | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/24/2007 | [Community] Le't get back on track | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/20/2007 | The upside | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/20/2007 | Conservativer than thou | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/20/2007 | Assumptions revealed | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/20/2007 | Nothing revealed that should be hidden | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/20/2007 | A hierarchy of principles | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/21/2007 | Choose the right default | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/20/2007 | Let there be a translation | What are the properties of "Functional Programming Languages"? |
| 11/20/2007 | What about your contribution? | What are the properties of "Functional Programming Languages"? |
| 11/20/2007 | To boldly go... where? | What are the properties of "Functional Programming Languages"? |
| 11/17/2007 | Well-typed programs can't be blamed | Well-typed programs can't be blamed |
| 11/17/2007 | The walk behind the Talk | Well-typed programs can't be blamed |
| 11/19/2007 | Heterogeneous impure | Well-typed programs can't be blamed |
| 11/19/2007 | Future work? | Well-typed programs can't be blamed |
| 11/19/2007 | Conceptual shift | Well-typed programs can't be blamed |
| 11/06/2007 | Not yet... | Universal Type System |
| 11/06/2007 | What do you mean by "is"? ;-) | Universal Type System |
| 11/08/2007 | ZF is too big | Universal Type System |
| 11/10/2007 | It's hard out there for a Computationalist | Universal Type System |
| 11/11/2007 | A little Wikipedia is a dangerous thing... ;-) | Universal Type System |
| 11/12/2007 | To you from failing hands we throw | Universal Type System |
| 11/04/2007 | Who is his audience? | On the origins of Bisimulation, Coinduction, and Fixed Points |
| 11/02/2007 | dumb(x) -> fails(x) | Online Learning of Relaxed CCG Grammars for Parsing to Logical Form |
| 11/04/2007 | Chicken or Egg? | Online Learning of Relaxed CCG Grammars for Parsing to Logical Form |
| 10/26/2007 | Hail, fellow traveller | Gödel, Nagel, minds and machines |
| 10/26/2007 | Least fixed or least finite? | Gödel, Nagel, minds and machines |
| 10/27/2007 | So close... | Gödel, Nagel, minds and machines |
| 10/27/2007 | What uncountable thing is constructed? | Gödel, Nagel, minds and machines |
| 10/28/2007 | A definition is not a construction (or a computation) | Gödel, Nagel, minds and machines |
| 10/28/2007 | Not a finitist | Gödel, Nagel, minds and machines |
| 10/28/2007 | Damn, I left my infinite loop running; I guess I'll just wait... | Gödel, Nagel, minds and machines |
| 10/28/2007 | Coinduction junction | Gödel, Nagel, minds and machines |
| 10/28/2007 | What was the face of an uncountable before it's mother was born | Gödel, Nagel, minds and machines |
| 10/28/2007 | Pointful contrarianism only | Gödel, Nagel, minds and machines |
| 10/29/2007 | The hidden danger is the most dangerous | Gödel, Nagel, minds and machines |
| 10/28/2007 | Do or do not, there is no try | Gödel, Nagel, minds and machines |
| 10/30/2007 | Maybe... | Gödel, Nagel, minds and machines |
| 10/31/2007 | How would one know? | Gödel, Nagel, minds and machines |
| 11/04/2007 | General case vs. specific case | Gödel, Nagel, minds and machines |
| 10/26/2007 | AFA | Gödel, Nagel, minds and machines |
| 10/28/2007 | Aquinas can have his angels | Gödel, Nagel, minds and machines |
| 10/29/2007 | The middle path | Gödel, Nagel, minds and machines |
| 10/30/2007 | Lots o' fun, but quite possible ;-) | Gödel, Nagel, minds and machines |
| 10/25/2007 | Undeterminable determinism = non-determinism | On the Importance of Purity |
| 10/25/2007 | Omniscient message passing is determistic | On the Importance of Purity |
| 10/25/2007 | Epistemology | On the Importance of Purity |
| 10/25/2007 | Another thought on "determinizing" | On the Importance of Purity |
| 10/27/2007 | Curry-Howard does Curly Howard | On the Importance of Purity |
| 11/02/2007 | Seeing is believing | On the Importance of Purity |
| 11/01/2007 | It's not the wand, it's the magician | On the Importance of Purity |
| 11/02/2007 | Back to Saltines | On the Importance of Purity |
| 11/02/2007 | Two legs bad, four legs good | On the Importance of Purity |
| 11/04/2007 | Wearing my designer lambda shades | On the Importance of Purity |
| 11/04/2007 | Open-minded sausage cult | On the Importance of Purity |
| 11/04/2007 | An ever empty cup | On the Importance of Purity |
| 11/09/2007 | Let's start with 10%... ;-) | On the Importance of Purity |
| 11/10/2007 | Sloganeering | On the Importance of Purity |
| 11/10/2007 | The problem with slogans | On the Importance of Purity |
| 11/10/2007 | Contravariant coagreement | On the Importance of Purity |
| 11/10/2007 | Back to the burrow | On the Importance of Purity |
| 10/24/2007 | Accidental post? | Different results in the unit root test. Why? |
| 10/24/2007 | Mapping to LC? | The simplest mechanism with Turing-equivalent power to date ... |
| 11/02/2007 | Just wanna say... | The simplest mechanism with Turing-equivalent power to date ... |
| 10/19/2007 | Authoritative data | The End of an Architectural Era (It's Time for a Complete Rewrite) |
| 10/19/2007 | Jughead kibitzes | grammars as a shared executable specification for language processing tools |
| 10/09/2007 | Already there... | Computing is a Natural Science |
| 09/24/2007 | In the PL design sense... | Tim Bray and Erlang |
| 09/23/2007 | JCAAJCRPLEOOO | Which Journals/Conferences to keep track of? |
| 09/19/2007 | Another name for... | Decayed Memoization |
| 09/21/2007 | Different cost | Decayed Memoization |
| 09/18/2007 | The catch is... | Binary Lambda Calculus and Combinatory Logic |
| 09/24/2007 | Unfree the variables! | Binary Lambda Calculus and Combinatory Logic |
| 09/24/2007 | Minds over machines | Binary Lambda Calculus and Combinatory Logic |
| 09/18/2007 | A dangerous assumption | Uniqueness Types Instead STM |
| 09/19/2007 | Pragmatism | Uniqueness Types Instead STM |
| 09/20/2007 | Summary | Uniqueness Types Instead STM |
| 09/20/2007 | Consistency | Uniqueness Types Instead STM |
| 09/21/2007 | The best transaction system is declarative concurrency | Uniqueness Types Instead STM |
| 02/01/2010 | Pretty common | Tagless Staged Interpreters for Simpler Typed Languages |
| 08/19/2007 | Don't worry, be happy | A question on free variable capture. |
| 08/19/2007 | Close it on the outside | A question on free variable capture. |
| 08/19/2007 | Good enough | A question on free variable capture. |
| 08/18/2007 | What is the sound of one monad clapping? | Monad Description For Imperative Programmer |
| 08/19/2007 | Monoids for the masses | Monad Description For Imperative Programmer |
| 07/18/2007 | A worthwhile investment | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/09/2007 | Can of non-terminating worms | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 07/09/2007 | We lived in a lake... | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 07/10/2007 | The types depend on values | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 07/10/2007 | It seems easy... | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 07/09/2007 | The same can of worms? | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 03/14/2007 | Not a counter-example | Piraha Exceptionality: a Reassessment |
| 03/14/2007 | An LtU record | Piraha Exceptionality: a Reassessment |
| 03/15/2007 | I can't heeeear you... | Piraha Exceptionality: a Reassessment |
| 03/14/2007 | Harmer of the diminisher of nerdiness of PLT | Piraha Exceptionality: a Reassessment |
| 03/14/2007 | Maybe not... | Piraha Exceptionality: a Reassessment |
| 03/09/2007 | The Law of Automation | Automatic Programming |
| 02/25/2007 | Takes one to know one | On the fact that the Atlantic Ocean has two sides |
| 03/05/2007 | Ditto heads of PLT? | On the fact that the Atlantic Ocean has two sides |
| 02/12/2007 | Golden age of the golden age | Almost everything happened in the Golden Age, right? |
| 02/11/2007 | A critical view | 50 years of “Syntactic Structures” |
| 02/12/2007 | Not a good analogy | 50 years of “Syntactic Structures” |
| 02/08/2007 | A sympathetic take | Patrick Logan on Software Transaction Memory |
| 02/09/2007 | Eat your dinner before you reach for dessert | Patrick Logan on Software Transaction Memory |
| 02/09/2007 | Shared Context | Patrick Logan on Software Transaction Memory |
| 02/07/2007 | A worrisome distinction | Opinions on _Theoretical Introduction to Programming_? |
| 02/07/2007 | Glue is not goo | Opinions on _Theoretical Introduction to Programming_? |
| 02/07/2007 | Invoking the spirit | Opinions on _Theoretical Introduction to Programming_? |
| 02/08/2007 | The spirit of my spirit | Opinions on _Theoretical Introduction to Programming_? |
| 02/08/2007 | Beautiful Glue | Opinions on _Theoretical Introduction to Programming_? |
| 12/13/2007 | Object-oriented style | What is a "fully featured closure"? Request for comments. |
| 01/19/2007 | A Riddle | Locus Solum: From the rules of logic to the logic of rules |
| 01/19/2007 | Maybe? | Locus Solum: From the rules of logic to the logic of rules |
| 01/14/2007 | Reality | Call by push-value |
| 02/18/2007 | Besieging the wrong tower | Why people don't use functional programming? |
| 02/19/2007 | Homework required | Why people don't use functional programming? |
| 02/18/2007 | A string theory | Why people don't use functional programming? |
| 02/19/2007 | A square circle | Why people don't use functional programming? |
| 02/19/2007 | Quack quack! | Why people don't use functional programming? |
| 12/21/2006 | Fundamental Design Parameter | A Usability question: Too much typing? |
| 12/21/2006 | A lot depends on context of use | The Role of Composition in Computer Programming |
| 12/21/2006 | Mth z trs | The Role of Composition in Computer Programming |
| 12/21/2006 | Even further than down the linear road | The Role of Composition in Computer Programming |
| 12/13/2006 | [Community] A neutral reading | [Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner |
| 12/12/2006 | One, Two | excitement in language research? |
| 11/29/2006 | 21st Century Boy | The Future of LtU |
| 11/30/2006 | Theory as systematization | The Future of LtU |
| 12/01/2006 | Human Factors Blues | The Future of LtU |
| 12/01/2006 | The Challenge | The Future of LtU |
| 11/19/2006 | [Community] OT | Higher order insertion sort - HELP PLZ |
| 11/17/2006 | A list by any other name | Abstractly typed languages |
| 11/16/2006 | A second recommendation | Video: The Scala Experiment |
| 11/11/2006 | Call me Van Helsing | Functional programming and software engineering |
| 11/12/2006 | Hollywood, here I come... | Functional programming and software engineering |
| 11/15/2006 | Have a garlic pill | Functional programming and software engineering |
| 11/12/2006 | Doh! Hallowe'en is over! | Functional programming and software engineering |
| 11/12/2006 | Design in a bottle | Functional programming and software engineering |
| 11/13/2006 | Against formal lies | Functional programming and software engineering |
| 11/12/2006 | Small addition | Functional programming and software engineering |
| 11/12/2006 | Friendly relations | Functional programming and software engineering |
| 11/12/2006 | In Transition | Functional programming and software engineering |
| 11/19/2006 | Emerge from where? | Functional programming and software engineering |
| 11/20/2006 | Keisaku | Functional programming and software engineering |
| 10/29/2006 | Evaluation <-> Result | Monitoring whether a function happens |
| 10/29/2006 | A Journey of a Thousand Miles | Monitoring whether a function happens |
| 11/05/2006 | To Become A Better Programmer | Want to learn something new |
| 10/29/2006 | Language Oriented Programming? | Future of software design? |
| 10/30/2006 | Singularity Oriented Programming? | Future of software design? |
| 11/02/2006 | Local convergence | Future of software design? |
| 11/03/2006 | The longer version | Future of software design? |
| 11/03/2006 | Another case study | Future of software design? |
| 11/03/2006 | One more lump | Future of software design? |
| 11/04/2006 | Transactional trade offs | Future of software design? |
| 11/04/2006 | False analogy? | Future of software design? |
| 11/04/2006 | Cheap, fast and under control | Future of software design? |
| 11/05/2006 | Attempting to answer my own question | Future of software design? |
| 11/05/2006 | The Layer Line | Future of software design? |
| 11/06/2006 | A Rose by any other Thread? | Future of software design? |
| 11/04/2006 | A modest suggestion | Future of software design? |
| 11/21/2006 | Back to the OP | Future of software design? |
| 11/05/2006 | A Platypus | Practical OCaml |
| 11/09/2006 | Publishing for Dollars | Practical OCaml |
| 10/25/2006 | The answer is 6x8 | The Type of 42 |
| 10/25/2006 | What is your type system for? | The Type of 42 |
| 10/26/2006 | A Cheshire Cat? | The Type of 42 |
| 10/19/2006 | Some ideas | Question on terminology |
| 10/23/2006 | What's in a name? | Question on terminology |
| 10/19/2006 | What are you trying to gain? | Constraint based hybrid typing and the Curry Howard Isomorphism |
| 10/19/2006 | An instance of an Intuitionist | Constraint based hybrid typing and the Curry Howard Isomorphism |
| 10/19/2006 | The mountains are mountains, the rivers are rivers | Constraint based hybrid typing and the Curry Howard Isomorphism |
| 10/20/2006 | Stand on the shoulders of giants | Constraint based hybrid typing and the Curry Howard Isomorphism |
| 10/17/2006 | X is just Y with Z | Good Ideas, Through the Looking Glass |
| 11/08/2006 | A new one for the Papers section? | A Very Modal Model of a Modern, Major, General Type System |
| 09/20/2006 | Website Reorg | Lectures on the Curry-Howard Isomorphism |
| 09/21/2006 | Taking one for the team | Lectures on the Curry-Howard Isomorphism |
| 01/04/2007 | Finally Have It | Lectures on the Curry-Howard Isomorphism |
| 01/05/2007 | Unnatural deductions | Lectures on the Curry-Howard Isomorphism |
| 01/14/2007 | Half-way Whole-hearted Review | Lectures on the Curry-Howard Isomorphism |
| 01/16/2007 | Lectio longa, vita brevis... | Lectures on the Curry-Howard Isomorphism |
| 12/04/2006 | New type checking for LtU | unchecked exceptions are like runtime type checking? |
| 12/04/2006 | Yielding to temptation | unchecked exceptions are like runtime type checking? |
| 12/29/2009 | Degrees of state | Oracles |
| 01/01/2010 | From the other side | Oracles |
| 01/03/2010 | Mutatis Mutandis | Oracles |
| 01/07/2010 | The Hierarchy of Statefulness | Oracles |
| 01/07/2010 | Straw, wood and brick | Oracles |
| 01/08/2010 | Big Bad | Oracles |
| 01/08/2010 | Mother Goose | Oracles |
| 01/07/2010 | Radioactive state | Oracles |
| 07/21/2006 | Abstract asynchrony | Erlang concurrency: why asynchronious messages? |
| 07/10/2006 | What does it do for you? | Socially Responsive, Environmentally Friendly Logic |
| 07/09/2006 | A carrot, not a stick | Community enforcement discussion |
| 07/09/2006 | Antibodies | Community enforcement discussion |
| 07/09/2006 | Tending the garden | Community enforcement discussion |
| 07/07/2006 | Oblivious code or oblivious designer? | Failure-oblivious computing |
| 07/07/2006 | [Community Standards] A reminder | Failure-oblivious computing |
| 07/08/2006 | You have to start somewhere | Failure-oblivious computing |
| 07/08/2006 | Thanks | Failure-oblivious computing |
| 07/09/2006 | Rights = responsibility | Failure-oblivious computing |
| 07/07/2006 | Strictness | Programming Languages and Lambda Calculi |
| 07/07/2006 | Better answer | Programming Languages and Lambda Calculi |
| 07/08/2006 | An even better answer | Programming Languages and Lambda Calculi |
| 07/09/2006 | "Abuse of terminology" | Programming Languages and Lambda Calculi |
| 07/10/2006 | A gobbet of gore | Programming Languages and Lambda Calculi |
| 07/10/2006 | Terminological Reform (Party?) | Programming Languages and Lambda Calculi |
| 07/11/2006 | Tribblation | Programming Languages and Lambda Calculi |
| 07/01/2006 | Cogito ergo sum programmator | Amusing question |
| 07/02/2006 | Heidegger, Heidegger was a boozy beggar | Amusing question |
| 07/02/2006 | A PLT Tapestry | Amusing question |
| 07/01/2006 | Maybe not so off direction | Amusing question |
| 07/01/2006 | Through a glass darkly | Amusing question |
| 07/05/2006 | This is getting WAY OT | Amusing question |
| 06/29/2006 | Ambiguous style | LtU: Policies document |
| 06/29/2006 | Policies are good | LtU: Policies document |
| 07/01/2006 | Tom Brown's School Days | LtU: Policies document |
| 07/01/2006 | Value added | LtU: Policies document |
| 07/03/2006 | Example of the need for examples | LtU: Policies document |
| 07/03/2006 | Do as I say, not as I do? | LtU: Policies document |
| 07/03/2006 | Fedora or stetson? | LtU: Policies document |
| 07/03/2006 | Progress at work | LtU: Policies document |
| 06/11/2006 | Some thoughts | Inform 7: A relational DSL for interactive fiction with natural language syntax |
| 06/09/2006 | Knowing his audience | Relevance of Curry-Howard |
| 06/06/2006 | A jigsaw? | Relevance of Curry-Howard |
| 06/16/2006 | Heterogenous collections | First Class Values, Types as values within a Programming Language |
| 05/10/2006 | Where's the kitchen sink? | The three dimensions of proofs |
| 01/13/2008 | Stop in the name of linguistics! | Social science research about programming language adoption? |
| 02/11/2006 | Design Focus | Guido: Language Design Is Not Just Solving Puzzles |
| 06/14/2009 | Deep philosophy | The Next Mainstream Programming Languages |
| 01/29/2006 | Sets and Functions | Lambda the Ultimate Set Comprehension |
| 01/31/2006 | Category theory: it's not just for breakfast anymore | Lambda the Ultimate Set Comprehension |
| 02/07/2006 | Break out the hobby horse | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | No swimming in the deep end | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | How's the water? | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | One last try... | Lambda the Ultimate Set Comprehension |
| 01/31/2006 | Axiom to grind | Lambda the Ultimate Set Comprehension |
| 02/02/2006 | Fold/unfold | GAWK (GNU AWK) for AI? |
| 02/02/2006 | Rough week | GAWK (GNU AWK) for AI? |
| 01/06/2006 | Parametricity | The Haskell Programmer's Guide to the IO Monad --- Don't Panic |
| 12/21/2006 | One missed | The Haskell Programmer's Guide to the IO Monad --- Don't Panic |
| 10/22/2005 | What is the study of programming languages? | What do you mean by studying "programming languages"? |
| 10/16/2005 | A shadowy head rises from the surface of the loch... | Formal methods for O/R mapping |
| 10/16/2005 | An axiom to grind | Formal methods for O/R mapping |
| 08/28/2005 | An LtU Koan | Does Abstraction add Fuzziness? |
| 08/25/2005 | It is impractical to quibble about practicality | Ivory Towers and Gelfand's Principle |
| 07/31/2005 | Premature optimization is the root of all SQL | An interview with Chris Date |
| 07/31/2005 | Optmizing the optimizing optimizer for optimization | An interview with Chris Date |
| 07/17/2005 | Specification, Implementation, Visible Type | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/18/2005 | Jabberwocky | Static Typing Where Possible, Dynamic Typing When Needed |
| 06/29/2005 | Eating my own dogfood | Organizing papers... |
| 06/29/2005 | The Silence of the Lambdas | Generics are a mistake? |
| 06/30/2005 | Hasenfus wasn't so lucky | Generics are a mistake? |
| 06/30/2005 | A variance over variance | Generics are a mistake? |
| 07/01/2005 | Gentle satire not sarcasm | Generics are a mistake? |
| 07/17/2005 | Oops | Generics are a mistake? |
| 06/28/2005 | He has a point | Generics are a mistake? |
| 06/29/2005 | For the beginner who is ready | Generics are a mistake? |
| 06/23/2005 | Repetition is the parent of mastery | How To Read a Paper |
| 06/25/2005 | Paper Tiger or Tiger Paper? | How To Read a Paper |
| 06/25/2005 | Gong! | Why recursing is better than looping |
| 06/17/2005 | Well-foundedness and Bisimulation | Tim Bray: On Threads |
| 06/07/2005 | Implementation vs Specification | Data locality and data structures |
| 06/14/2005 | Broken record | Data locality and data structures |
| 06/08/2005 | Dataflow variables like pipes? | Bidirectional fold and scan |
| 06/09/2005 | Ceci n'est pas un pipe | Bidirectional fold and scan |
| 06/05/2005 | I am not a number... oh wait, maybe I am... | Variables as Channels |
| 06/01/2005 | TAPL | Basic(er) Simple(r) Type Theory(?) |
| 06/01/2005 | ... maybe not | Basic(er) Simple(r) Type Theory(?) |
| 06/16/2005 | Casual usage | Basic(er) Simple(r) Type Theory(?) |
| 05/24/2005 | Traduttore, traditore | Haskell for C Programmers |
| 05/24/2005 | The Way of Ways | Haskell for C Programmers |
| 05/24/2005 | Not so far apart as it might seem | Haskell for C Programmers |
| 05/24/2005 | Good fences make good neighbours | Haskell for C Programmers |
| 05/24/2005 | Divide the world and conquer | Haskell for C Programmers |
| 05/25/2005 | Premature optimization is the root of all evil | Haskell for C Programmers |
| 05/26/2005 | Implementation is under the hood | Haskell for C Programmers |
| 05/25/2005 | My name is legion... | Haskell for C Programmers |
| 05/26/2005 | De Do Do Do, De Da Da Da | Haskell for C Programmers |
| 05/23/2005 | Another hunt for a free lunch... | Parameterized Unit Tests |
| 05/24/2005 | Hope springs eternal | Parameterized Unit Tests |
| 05/12/2005 | Perl only takes you so far... | Python Challenge |
| 05/13/2005 | Why not the Assembler Challenge? | Python Challenge |
| 05/10/2005 | Saunders Mac Lane 1909-2005 | Saunders Mac Lane 1909-2005 |
| 05/12/2005 | Entities | Why Dependent Types Matter |
| 05/07/2005 | Abstractionless prgogramming | subtext: Uncovering the simplicity of programming |
| 05/07/2005 | Collapsing under weight | subtext: Uncovering the simplicity of programming |
| 05/08/2005 | A name by any other name... | subtext: Uncovering the simplicity of programming |
| 05/08/2005 | If you ASCII silly question, you get a silly ANSI... | subtext: Uncovering the simplicity of programming |
| 05/10/2005 | Easier for whom, easier for what | subtext: Uncovering the simplicity of programming |
| 05/10/2005 | Abstraction simplifies | subtext: Uncovering the simplicity of programming |
| 05/10/2005 | Concrete Blonde | subtext: Uncovering the simplicity of programming |
| 05/11/2005 | Two birds with one abstraction | subtext: Uncovering the simplicity of programming |
| 05/11/2005 | A name is not a string | subtext: Uncovering the simplicity of programming |
| 05/12/2005 | Mnemonic vs. referential | subtext: Uncovering the simplicity of programming |
| 05/02/2005 | Type != Testing | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | Confidence vs Certainty | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/03/2005 | Human-powered type checking | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | The non-dynamic duo | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/02/2005 | Don't shoot the messenger | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/03/2005 | Exposing bad thinking | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | Compile-time/runtime, program-time/compute-time | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | Beyond modularity | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | Reasoning time | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | Problems with term edit-time | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | Terminological Tar-pit | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | More like Miller Time... ;-) | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | Depends on what you mean by running | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | I predict I have a lot of work to do... | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/05/2005 | An example | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/05/2005 | Here goes... | Call for Papers: ACM Symposium on Dynamic Languages |
| 04/30/2005 | Dodgy data = dodgy theories | The long tail of programming languages |
| 04/30/2005 | Power Law Distribution | The long tail of programming languages |
| 04/30/2005 | Confusion reigns | From Perl Monks: "pissed off about functional programming" |
| 05/06/2005 | Personal FP baseline | From Perl Monks: "pissed off about functional programming" |
| 05/06/2005 | All languages are FP? | From Perl Monks: "pissed off about functional programming" |
| 05/08/2005 | Useful Definitions vs Definitive Definitions | From Perl Monks: "pissed off about functional programming" |
| 04/29/2005 | I'll call your pedant and raise you a... | Memory fault and segmentation faults |
| 04/23/2005 | Run for you lives! | Sapir-Whorf again? |
| 04/23/2005 | Heart of Darkness | Sapir-Whorf again? |
| 04/24/2005 | Slippery when wet | Sapir-Whorf again? |
| 04/24/2005 | Wikipedia speaks! | Sapir-Whorf again? |
| 04/24/2005 | Usage vs System | Sapir-Whorf again? |
| 04/24/2005 | Coincidence? | Sapir-Whorf again? |
| 04/25/2005 | Anonymous attitude | Why do they program in C++? |
| 04/25/2005 | The record shows... | Why do they program in C++? |
| 04/26/2005 | Trade offs redux | Why do they program in C++? |
| 04/26/2005 | Play ball! | Why do they program in C++? |
| 04/26/2005 | Need to fix the </i> | Why do they program in C++? |
| 04/20/2005 | Astounding range | Qi 6.1 released |
| 04/18/2005 | The moon is a pizza | On the Unusual Effectiveness of Logic in Computer Science |
| 04/20/2005 | Let's get hammered | On the Unusual Effectiveness of Logic in Computer Science |
| 04/21/2005 | Hair of the dog | On the Unusual Effectiveness of Logic in Computer Science |
| 04/16/2005 | On the web | Is EOPL available as an e-book anywhere? |
| 04/15/2005 | Domain Specific | Denotational semantics of a DSL? |
| 04/12/2005 | Language Problems? | Links |
| 04/12/2005 | Wrong level problem | Links |
| 04/13/2005 | Security blanket | Links |
| 04/09/2005 | Let Down | Links Slides |
| 04/09/2005 | Radar Love | Computerworld Development Survey |
| 04/10/2005 | Paging Dr. Darwin... | Computerworld Development Survey |
| 04/11/2005 | Primordial soup | Computerworld Development Survey |
| 04/10/2005 | Another take | Computerworld Development Survey |
| 04/10/2005 | Simpler is not worse | Computerworld Development Survey |
| 04/10/2005 | Necessary condition? | Computerworld Development Survey |
| 04/11/2005 | The PLTer's curse | Computerworld Development Survey |
| 04/11/2005 | Blasts from the past | Computerworld Development Survey |
| 04/05/2005 | Semantic Esperanto | Jon Udell: Languages and environments |
| 04/06/2005 | Not all VMs are create equal | Jon Udell: Languages and environments |
| 04/18/2005 | Maybe I should ask for a commission... ;-) | Mechanics of designing and implementing a language |
| 04/18/2005 | The middle way | Mechanics of designing and implementing a language |
| 04/18/2005 | Just the semantics, ma'am | Mechanics of designing and implementing a language |
| 03/29/2005 | FP as a second language | expressivity of "idiomatic C++" |
| 03/30/2005 | Unilingual Perquisites | expressivity of "idiomatic C++" |
| 03/30/2005 | Pragmatism | expressivity of "idiomatic C++" |
| 03/30/2005 | Dodo-egg Omelette | expressivity of "idiomatic C++" |
| 04/01/2005 | Number signs? | expressivity of "idiomatic C++" |
| 04/01/2005 | Back to drawing board | expressivity of "idiomatic C++" |
| 03/19/2005 | Different math | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/21/2005 | Focused generalization | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/21/2005 | Expectations | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/21/2005 | Who needs to be special? | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/21/2005 | Verification for software | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/22/2005 | Ecstasy | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/23/2005 | Limited applicability | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/23/2005 | My, look at the time... | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/23/2005 | The almighty oracle | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/23/2005 | Does not compute | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/24/2005 | Last post | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/21/2005 | Professionalism | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/20/2005 | Dynamism that important? | Reflection in Java: how are they getting with it? |
| 03/21/2005 | Service Oriented | Grady Booch: AOSD keynote |
| 03/18/2005 | PL as social contract | The fate of reduce() in Python 3000 |
| 03/17/2005 | Thread tie-in | The POPLmark Challenge |
| 03/17/2005 | Sgt. Schultz | Inside Software Factories |
| 03/17/2005 | Oscar | Inside Software Factories |
| 03/22/2005 | TANSTAAFL | Will Wright Presents Spore... and a New Way to Think About Games |
| 03/22/2005 | Artists vs. Programmers Round 2 | Will Wright Presents Spore... and a New Way to Think About Games |
| 03/22/2005 | Employment factor | Will Wright Presents Spore... and a New Way to Think About Games |
| 03/15/2005 | OCaml list responses | OCaml vs. C++ for Dynamic Programming |
| 03/17/2005 | Eat your spinach | OCaml vs. C++ for Dynamic Programming |
| 03/18/2005 | 'Weakly typed" is informal | OCaml vs. C++ for Dynamic Programming |
| 03/18/2005 | OCaml type violation | OCaml vs. C++ for Dynamic Programming |
| 03/18/2005 | Thanks! | OCaml vs. C++ for Dynamic Programming |
| 03/16/2005 | Relative Performance | OCaml vs. C++ for Dynamic Programming |
| 03/15/2005 | More holy wars | Interview with Donald Knuth |
| 03/15/2005 | Religious wars | Interview with Donald Knuth |
| 03/15/2005 | Original post is fine | Interview with Donald Knuth |
| 03/15/2005 | Quibble | A New Approach to Abstract Syntax with Variable Binding |
| 03/16/2005 | Prior art | A New Approach to Abstract Syntax with Variable Binding |
| 03/09/2005 | Not really a parser problem | Exploiting parser ambiguity |
| 03/09/2005 | Back to basics | Exploiting parser ambiguity |
| 03/10/2005 | Syntax graphs | Exploiting parser ambiguity |
| 03/10/2005 | Example made plain | Exploiting parser ambiguity |
| 03/09/2005 | Stop in the name of the Chomsky Hierarchy! | Exploiting parser ambiguity |
| 03/10/2005 | Multiple Layers | Exploiting parser ambiguity |
| 03/11/2005 | Some questions | Exploiting parser ambiguity |
| 03/12/2005 | Block interpretation | Exploiting parser ambiguity |
| 03/12/2005 | Vroom, vroom | Exploiting parser ambiguity |
| 03/12/2005 | Compositional | Exploiting parser ambiguity |
| 03/12/2005 | CT for Dummies ;-) | Exploiting parser ambiguity |
| 03/13/2005 | Someone forgot to use &lt; ;-) | Exploiting parser ambiguity |
| 03/10/2005 | Ouch, that hurt ;-) | Exploiting parser ambiguity |
| 03/10/2005 | First sim antics, then sin tax | Exploiting parser ambiguity |
| 03/11/2005 | And the semantics goes to... | Exploiting parser ambiguity |
| 03/11/2005 | Interpretation | Exploiting parser ambiguity |
| 03/11/2005 | Boundness | Exploiting parser ambiguity |
| 03/09/2005 | Hear, hear! | Educational Pearl: Automata as Macros |
| 03/09/2005 | Nice but... | Educational Pearl: Automata as Macros |
| 03/09/2005 | How domain-specific? | Educational Pearl: Automata as Macros |
| 03/10/2005 | A liquid analogy | Educational Pearl: Automata as Macros |
| 03/10/2005 | On the wagon | Educational Pearl: Automata as Macros |
| 03/10/2005 | DB example | Educational Pearl: Automata as Macros |
| 03/11/2005 | Trade offs: A novel ;-) | Educational Pearl: Automata as Macros |
| 03/11/2005 | Saving the company | Educational Pearl: Automata as Macros |
| 03/11/2005 | A definition of meta-programming | Educational Pearl: Automata as Macros |
| 03/09/2005 | Here's the spiel | Educational Pearl: Automata as Macros |
| 03/10/2005 | Glasperlenspiel | Educational Pearl: Automata as Macros |
| 03/10/2005 | More than one axis | Educational Pearl: Automata as Macros |
| 03/07/2005 | It is Kiczales... | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | AOP vs. OOP | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | e.g. ... | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | Possible solutions | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | I do modularize | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | Well... | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | Baloney! (Or whatever other sandwich meat you prefer ;-) | μABC: A Minimal Aspect Calculus |
| 03/09/2005 | Wrap up | μABC: A Minimal Aspect Calculus |
| 02/18/2005 | Whoa Nelly! | What are The Atoms of Programming Languages? |
| 02/18/2005 | Answer from other thread... | What are The Atoms of Programming Languages? |
| 02/21/2005 | A Methodological Proposal | What are The Atoms of Programming Languages? |
| 02/16/2005 | CTM | Barbara Partee: Reflections of a Formal Semanticist as of Feb 2005 |
| 02/10/2005 | Break down | Stupid Question. |
| 02/10/2005 | Rule of Thumb | Stupid Question. |
| 02/10/2005 | Code generation is strong medicine | Code Generation with Python, Cog, and Nant |
| 02/10/2005 | Depends on the problems | Code Generation with Python, Cog, and Nant |
| 02/10/2005 | Simple, not stupid ;-) | Code Generation with Python, Cog, and Nant |
| 02/11/2005 | Eff the ineffable | Code Generation with Python, Cog, and Nant |
| 02/11/2005 | Never met a meta... | Code Generation with Python, Cog, and Nant |
| 02/11/2005 | Time for the doctor | Code Generation with Python, Cog, and Nant |
| 02/13/2005 | The more specific the optimization, the less general | Code Generation with Python, Cog, and Nant |
| 02/10/2005 | Performance and Implementation | ACM Queue: A Conversation with Alan Kay |
| 02/10/2005 | Pop Culture vs "Real" Culture | ACM Queue: A Conversation with Alan Kay |
| 02/10/2005 | Red herrings by any other name taste good on toast | ACM Queue: A Conversation with Alan Kay |
| 02/10/2005 | Ibid | ACM Queue: A Conversation with Alan Kay |
| 02/11/2005 | A different approach | ACM Queue: A Conversation with Alan Kay |
| 02/11/2005 | Marketplace of ideas | ACM Queue: A Conversation with Alan Kay |
| 02/11/2005 | Smalltalkers of the world unite! ;-) | ACM Queue: A Conversation with Alan Kay |
| 02/12/2005 | Intellectual Honesty Requires Discussion | ACM Queue: A Conversation with Alan Kay |
| 02/12/2005 | Lax or contrained? | ACM Queue: A Conversation with Alan Kay |
| 02/15/2005 | Zippy | ACM Queue: A Conversation with Alan Kay |
| 02/15/2005 | No silver bullet | ACM Queue: A Conversation with Alan Kay |
| 02/16/2005 | Death and taxes | ACM Queue: A Conversation with Alan Kay |
| 02/16/2005 | Solutions in search of a problem | ACM Queue: A Conversation with Alan Kay |
| 03/01/2005 | Petitio Principii | ACM Queue: A Conversation with Alan Kay |
| 03/01/2005 | Pick a kernel, any kernel | ACM Queue: A Conversation with Alan Kay |
| 03/01/2005 | Magritte in itself | ACM Queue: A Conversation with Alan Kay |
| 03/16/2005 | Fermented juice of the sour grape | ACM Queue: A Conversation with Alan Kay |
| 02/07/2005 | An object lesson | Python Optimization Surprises |
| 02/06/2005 | A starting point | CTM wiki |
| 02/06/2005 | Well there's a good start ;-) | CTM wiki |
| 02/03/2005 | Some ideas... | A question for the theory guys |
| 02/03/2005 | A step back... | A question for the theory guys |
| 02/04/2005 | A meaning is its own meaning | A question for the theory guys |
| 02/04/2005 | It's all CT, man ;-) | A question for the theory guys |
| 02/03/2005 | What is the problem, really? | Avoiding worst case GC with large amounts of data? |
| 02/03/2005 | Caveat programmator | Avoiding worst case GC with large amounts of data? |
| 02/03/2005 | To each their proper domain | Avoiding worst case GC with large amounts of data? |
| 01/28/2005 | A different take | BitC, a new OS implementation language |
| 01/24/2005 | Quality vs. Popularity | "Popular vs. Good" in Programming Languages |
| 01/26/2005 | How does O'Caml do it? | "Popular vs. Good" in Programming Languages |
| 01/26/2005 | Implementation vs. Specification | "Popular vs. Good" in Programming Languages |
| 01/20/2005 | Let's do the Timewarp again... | OOP Is Much Better in Theory Than in Practice |
| 01/21/2005 | Flaming is easier than reading papers ;-) | OOP Is Much Better in Theory Than in Practice |
| 01/12/2005 | You're both wrong! ;-) | Ian Bicking: The challenge of metaprogramming |
| 02/06/2005 | Declarative concurrency in Java | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 02/06/2005 | Type safety | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 02/06/2005 | Java limitations | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 02/06/2005 | Duelling duals | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 02/06/2005 | Concurrent Testing | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 02/06/2005 | Dataflow variable vs. single-assignment variable | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 12/22/2004 | LtU should stick to PLs... | the Chinese natual language |
| 12/27/2004 | Li and Thompson | the Chinese natual language |
| 11/28/2004 | Another way to look at it | Denotational Semantics: A Methodology for Language Development |
| 11/05/2004 | Different obvious | Design By Contract in C |
| 10/08/2004 | Static Exceptions? | Ken Shan: Shift to Control |
| 10/08/2004 | Swing your partner round and round... | Ken Shan: Shift to Control |
| 10/05/2004 | GC doesn't program for you | J2SE 5.0 released |
| 09/30/2004 | Continuations or wait loop? | Using continuations for web programming |
| 09/29/2004 | Bark at the moon | "The Silver Bullet" |
| 09/28/2004 | Big and lumbering or small and nimble? | Java and coolness, a discussion |
| 09/21/2004 | Free the contexts! | Questions about Semantics. |
| 09/24/2004 | Two-level grammar and Chomsky Hierarchy | Questions about Semantics. |
| 09/20/2004 | If I could, I would... let it go | Dijkstra on analogies and anthropomorphism |
| 09/21/2004 | Furi Kuri | Dijkstra on analogies and anthropomorphism |
| 09/23/2004 | Read or die! | Dijkstra on analogies and anthropomorphism |
| 09/24/2004 | Shadow over Innsmouth | Dijkstra on analogies and anthropomorphism |
| 09/21/2004 | A dove is a pigeon with good PR | Dijkstra on analogies and anthropomorphism |
| 09/17/2004 | Bread and Circuses | "... because common people think like so-and-so..." |
| 09/19/2004 | Party on, Frank | "... because common people think like so-and-so..." |
| 09/19/2004 | If it's no' Scottish, it's crap | "... because common people think like so-and-so..." |
| 09/20/2004 | Turing madness | "... because common people think like so-and-so..." |
| 09/20/2004 | Oh the humanity! | "... because common people think like so-and-so..." |
| 09/13/2004 | All romantics are undisillusioned cynics | More from Udell on typing |
| 09/13/2004 | Values are more than packaging | More from Udell on typing |
| 09/15/2004 | Haskell is a scripting language | More from Udell on typing |
| 09/03/2004 | Third Sign of the Apocalypse | PLaneT |
| 09/08/2004 | Du musst dein Leben ändern | PLaneT |
| 09/13/2004 | One branch per node | Tree programming languages |
| 08/22/2004 | Problem with posting | Problem with posting |
| 08/21/2004 | Backwards implication | New result re "linguistic determinism" |
| 08/22/2004 | Mathematics are a technology | New result re "linguistic determinism" |
| 08/22/2004 | Let's return to PLs for a second | New result re "linguistic determinism" |
| 08/22/2004 | Not my argument | New result re "linguistic determinism" |
| 08/22/2004 | HL Expressiveness | New result re "linguistic determinism" |
| 08/22/2004 | Re: OT Semiotics | New result re "linguistic determinism" |
| 08/22/2004 | "Need" means willing to pay the price... | New result re "linguistic determinism" |
| 08/24/2004 | Plus que ca change... | New result re "linguistic determinism" |
| 08/22/2004 | Are you joking? | New result re "linguistic determinism" |
| 08/22/2004 | Talking doe not equal understanding | New result re "linguistic determinism" |
| 08/22/2004 | Still backwards implication | New result re "linguistic determinism" |
| 08/22/2004 | You are not talking about Sapir-Whorf | New result re "linguistic determinism" |
| 08/22/2004 | Counting is a technology | New result re "linguistic determinism" |
| 08/22/2004 | Do they count? | New result re "linguistic determinism" |
| 08/15/2004 | Rhetorically compelling does not equal true | New Paul Graham thing... |
| 08/18/2004 | Academic = Hacker? | New Paul Graham thing... |
| 08/18/2004 | Then Haskell is a blue whale... | New Paul Graham thing... |
| 08/18/2004 | Newbies are people too (just barely... ;-)) | New Paul Graham thing... |
| 08/09/2004 | Boy that worked well.... | Why type systems are interesting - part II |
| 08/12/2004 | Really a problem? | Why type systems are interesting - part II |
| 07/26/2004 | Two things | JDeveloperAOP |
| 07/27/2004 | UML amigos seem keen | JDeveloperAOP |
| 08/05/2004 | Inconsistency by inhabitation? | Why type systems are interesting |
| 08/05/2004 | I see where I went wrong... | Why type systems are interesting |
| 09/26/2004 | Good metaphors | Explaining monads |
| 09/27/2004 | You must walk before you can run... | Explaining monads |
| 12/04/2006 | Formalizing intuition | Understanding continuations |
| 12/05/2006 | Symbol Slinger | Understanding continuations |
| 11/18/2006 | Are we talking to ourselves? | Understanding continuations |
| 11/18/2006 | What's this "we" stuff, kemosabe? | Understanding continuations |
| 11/19/2006 | Meeting the audience | Understanding continuations |
| 11/19/2006 | Hatching a Scheme | Understanding continuations |
| 11/21/2006 | Hold the spaghetti | Understanding continuations |
| 07/09/2004 | Sinister Thoughts | User profiles |
| 07/08/2004 | Spurious Generality | Database Abstraction Layers and Programming Languages |
| 07/08/2004 | Uncomplimentary? | Database Abstraction Layers and Programming Languages |
| 07/09/2004 | Apologies | Database Abstraction Layers and Programming Languages |
| 07/09/2004 | An example structure | Database Abstraction Layers and Programming Languages |
| 07/09/2004 | 'Cause we have to... | Database Abstraction Layers and Programming Languages |
| 07/09/2004 | Enterprise Architecture | Database Abstraction Layers and Programming Languages |
| 07/09/2004 | Two features | Slashdot: "Favourite Programming Language Features?" |
| 06/29/2004 | Re: "Proofs from the Book" | Enumerating the Rationals |
| 06/30/2004 | Proofs Missing From the Book | Enumerating the Rationals |
| 06/29/2004 | Overloaded Semantics for 'Semantics' | The DSL, MDA, UML thing again... |
| 06/30/2004 | The fruits of punditry | Pragmatic Programmers Interview |
| 07/01/2004 | A Modest Claim... | Pragmatic Programmers Interview |
| 07/01/2004 | A Communication Challenge | Pragmatic Programmers Interview |
| 06/28/2004 | Cutting edge interpreters | Poplog |
| 06/26/2004 | CT Subset | Elementary Category Theory |
| 06/26/2004 | Iso Blues | Elementary Category Theory |
| 06/25/2004 | Pascal's Pensees on XML | Fabian Pascal on XQuery |
| 06/26/2004 | Poor Public Relations | Fabian Pascal on XQuery |
| 06/26/2004 | Graph angst | Fabian Pascal on XQuery |
| 06/27/2004 | Vectors? | Is "type" a fundamental intrinsic property of values? |
| 06/27/2004 | We're mainly interested in the solution domain around here... | Is "type" a fundamental intrinsic property of values? |
| 06/23/2004 | Denotational Semantics Unleashed | Some stupid questions on denotational semantics |
| 06/23/2004 | Dubious Quote | In the Spirit of C |
| 06/21/2004 | Re:TDD | Interactive Programming |
| 06/14/2004 | Re: Extensible Code Generation with Java | Extensible Code Generation with Java |
| 05/25/2004 | Re: Turing completeness is not? | Turing completeness is not? |
| 05/26/2004 | Re: Turing completeness is not? | Turing completeness is not? |
| 06/01/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 06/08/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 06/10/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 06/10/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 06/11/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 04/27/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
| 04/27/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
| 04/12/2004 | Re: Draining the Language out of Color | Draining the Language out of Color |
| 04/12/2004 | Re: Dating Design Patterns | Dating Design Patterns |
| 04/13/2004 | Re: Dating Design Patterns | Dating Design Patterns |
| 03/28/2004 | Re: Dying Tongues | Dying Tongues |
| 03/29/2004 | Re: Dying Tongues | Dying Tongues |
| 03/29/2004 | Re: Dying Tongues | Dying Tongues |
| 03/29/2004 | Re: Dying Tongues | Dying Tongues |
| 03/29/2004 | Re: Dying Tongues | Dying Tongues |
| 03/29/2004 | Re: Dying Tongues | Dying Tongues |
| 03/30/2004 | Re: Dying Tongues | Dying Tongues |
| 03/30/2004 | Re: Dying Tongues | Dying Tongues |
| 03/31/2004 | Re: Dying Tongues | Dying Tongues |
| 04/01/2004 | Re: Dying Tongues | Dying Tongues |
| 04/01/2004 | Re: Dying Tongues | Dying Tongues |
| 04/02/2004 | Re: Dying Tongues | Dying Tongues |
| 04/02/2004 | Re: Dying Tongues | Dying Tongues |
| 03/12/2004 | Re: Bruce Eckel on Java generics | Bruce Eckel on Java generics |
| 03/09/2004 | Re: Categories for Everybody | Categories for Everybody |
| 02/01/2004 | Re: New Scientist interview with Alexandra Aikhenvald | New Scientist interview with Alexandra Aikhenvald |
| 02/01/2004 | Re: New Scientist interview with Alexandra Aikhenvald | New Scientist interview with Alexandra Aikhenvald |
| 02/01/2004 | Re: New Scientist interview with Alexandra Aikhenvald | New Scientist interview with Alexandra Aikhenvald |
| 02/02/2004 | Re: New Scientist interview with Alexandra Aikhenvald | New Scientist interview with Alexandra Aikhenvald |
| 02/02/2004 | Re: New Scientist interview with Alexandra Aikhenvald | New Scientist interview with Alexandra Aikhenvald |
| 02/04/2004 | Re: New Scientist interview with Alexandra Aikhenvald | New Scientist interview with Alexandra Aikhenvald |
| 02/04/2004 | Re: New Scientist interview with Alexandra Aikhenvald | New Scientist interview with Alexandra Aikhenvald |
| 02/06/2004 | Re: New Scientist interview with Alexandra Aikhenvald | New Scientist interview with Alexandra Aikhenvald |
| 01/24/2004 | Re: The Lambda ethos | The Lambda ethos |
| 12/14/2003 | Re: 100 prisoners and a light bulb | 100 prisoners and a light bulb |
| 12/14/2003 | Re: 100 prisoners and a light bulb | 100 prisoners and a light bulb |
| 12/15/2003 | Re: 100 prisoners and a light bulb | 100 prisoners and a light bulb |
| 12/15/2003 | Re: 100 prisoners and a light bulb | 100 prisoners and a light bulb |
| 12/07/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
| 12/07/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
| 12/07/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
| 12/07/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
| 12/07/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
| 12/07/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
| 12/07/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
| 12/08/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
| 12/12/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
| 11/16/2003 | Re: A Survey of Object-Oriented Concepts | A Survey of Object-Oriented Concepts |
| 11/16/2003 | Re: A Survey of Object-Oriented Concepts | A Survey of Object-Oriented Concepts |
| 11/16/2003 | Re: A Survey of Object-Oriented Concepts | A Survey of Object-Oriented Concepts |
| 11/16/2003 | Re: Notes on Programming in C | Notes on Programming in C |
| 11/16/2003 | Re: Notes on Programming in C | Notes on Programming in C |
| 11/16/2003 | Re: Notes on Programming in C | Notes on Programming in C |
| 11/16/2003 | Re: Notes on Programming in C | Notes on Programming in C |
| 11/16/2003 | Re: Notes on Programming in C | Notes on Programming in C |
| 11/19/2003 | Re: Notes on Programming in C | Notes on Programming in C |
| 11/16/2003 | Re: Introducing Continuations | Introducing Continuations |
| 11/17/2003 | Re: Introducing Continuations | Introducing Continuations |
| 11/11/2003 | Re: Coalgebraic Reasoning about Classes in Object-Oriented Languages | Coalgebraic Reasoning about Classes in Object-Oriented Languages |
| 11/03/2003 | Re: Nonalgorithmic programming | Nonalgorithmic programming |
| 11/04/2003 | Re: Nonalgorithmic programming | Nonalgorithmic programming |
| 11/02/2003 | Re: Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 11/02/2003 | Re: Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 11/02/2003 | Re: Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 11/02/2003 | Re: Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 11/03/2003 | Re: Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 11/05/2003 | Re: Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 11/05/2003 | Re: Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 10/29/2003 | Re: X2EE Revamps J2EE | X2EE Revamps J2EE |
| 10/25/2003 | Re: State and modularity | State and modularity |
| 10/27/2003 | Re: State and modularity | State and modularity |
| 10/21/2003 | Re: Peter Van Roy here on LtU | Peter Van Roy here on LtU |
| 10/20/2003 | Re: B. Stroustrup: Serving the C++ Community | B. Stroustrup: Serving the C++ Community |
| 10/20/2003 | Re: B. Stroustrup: Serving the C++ Community | B. Stroustrup: Serving the C++ Community |
| 10/21/2003 | Re: B. Stroustrup: Serving the C++ Community | B. Stroustrup: Serving the C++ Community |
| 10/21/2003 | Re: B. Stroustrup: Serving the C++ Community | B. Stroustrup: Serving the C++ Community |
| 10/21/2003 | Re: B. Stroustrup: Serving the C++ Community | B. Stroustrup: Serving the C++ Community |
| 10/21/2003 | Re: B. Stroustrup: Serving the C++ Community | B. Stroustrup: Serving the C++ Community |
| 10/21/2003 | Re: B. Stroustrup: Serving the C++ Community | B. Stroustrup: Serving the C++ Community |
| 10/22/2003 | Re: B. Stroustrup: Serving the C++ Community | B. Stroustrup: Serving the C++ Community |
| 10/13/2003 | Re: Stroustrup's C++ Style Sweet Spot | Stroustrup's C++ Style Sweet Spot |
| 10/13/2003 | Re: Stroustrup's C++ Style Sweet Spot | Stroustrup's C++ Style Sweet Spot |
| 10/13/2003 | Re: A Revolution in Logic? | A Revolution in Logic? |
| 10/13/2003 | Re: A Revolution in Logic? | A Revolution in Logic? |
| 10/13/2003 | Re: A Revolution in Logic? | A Revolution in Logic? |
| 10/14/2003 | Re: A Revolution in Logic? | A Revolution in Logic? |
| 10/13/2003 | Re: A gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination | A gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination |
| 10/13/2003 | Re: A gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination | A gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination |
| 10/16/2003 | Re: A gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination | A gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination |
| 10/05/2003 | Re: "Proofs and Types" available online | "Proofs and Types" available online |
| 10/02/2003 | Re: Tuples + Objects + Infosets =Too Much Stuff! | Tuples + Objects + Infosets =Too Much Stuff! |
| 10/04/2003 | Re: Tuples + Objects + Infosets =Too Much Stuff! | Tuples + Objects + Infosets =Too Much Stuff! |
| 10/05/2003 | Re: Tuples + Objects + Infosets =Too Much Stuff! | Tuples + Objects + Infosets =Too Much Stuff! |
| 10/05/2003 | Re: Tuples + Objects + Infosets =Too Much Stuff! | Tuples + Objects + Infosets =Too Much Stuff! |
| 10/05/2003 | Re: Tuples + Objects + Infosets =Too Much Stuff! | Tuples + Objects + Infosets =Too Much Stuff! |
| 10/05/2003 | Re: Tuples + Objects + Infosets =Too Much Stuff! | Tuples + Objects + Infosets =Too Much Stuff! |
| 10/06/2003 | Re: Tuples + Objects + Infosets =Too Much Stuff! | Tuples + Objects + Infosets =Too Much Stuff! |
| 10/06/2003 | Re: Tuples + Objects + Infosets =Too Much Stuff! | Tuples + Objects + Infosets =Too Much Stuff! |
| 10/01/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/07/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/07/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/07/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/07/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/08/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/08/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 09/30/2003 | Re: Moving Away From XSLT | Moving Away From XSLT |
| 09/07/2003 | Re: Implementing Business Rules in the BC4J Framework | Implementing Business Rules in the BC4J Framework |
| 09/07/2003 | Re: Implementing Business Rules in the BC4J Framework | Implementing Business Rules in the BC4J Framework |
| 09/07/2003 | Re: Implementing Business Rules in the BC4J Framework | Implementing Business Rules in the BC4J Framework |
| 09/08/2003 | Re: Implementing Business Rules in the BC4J Framework | Implementing Business Rules in the BC4J Framework |
| 09/08/2003 | Re: Implementing Business Rules in the BC4J Framework | Implementing Business Rules in the BC4J Framework |
| 09/03/2003 | Re: Why don't more people use Prolog? | Why don't more people use Prolog? |
| 09/04/2003 | Re: Why don't more people use Prolog? | Why don't more people use Prolog? |
| 09/04/2003 | Re: Why don't more people use Prolog? | Why don't more people use Prolog? |
| 08/29/2003 | Re: The Little Haskellist (once again) | The Little Haskellist (once again) |
| 08/12/2003 | Re: Calculating Functional Programs: maximum segment sum | Calculating Functional Programs: maximum segment sum |
| 08/12/2003 | Re: Calculating Functional Programs: maximum segment sum | Calculating Functional Programs: maximum segment sum |
| 08/14/2003 | Re: Calculating Functional Programs: maximum segment sum | Calculating Functional Programs: maximum segment sum |
| 08/14/2003 | Re: Calculating Functional Programs: maximum segment sum | Calculating Functional Programs: maximum segment sum |
| 08/06/2003 | Re: How to make a FPL successful | How to make a FPL successful |
| 08/07/2003 | Re: How to make a FPL successful | How to make a FPL successful |
| 08/08/2003 | Re: How to make a FPL successful | How to make a FPL successful |
| 08/10/2003 | Re: How to make a FPL successful | How to make a FPL successful |
| 08/11/2003 | Re: How to make a FPL successful | How to make a FPL successful |
| 08/11/2003 | Re: How to make a FPL successful | How to make a FPL successful |
| 08/11/2003 | Re: How to make a FPL successful | How to make a FPL successful |
| 08/04/2003 | Re: Udell: Test before you leap into development | Udell: Test before you leap into development |
| 08/04/2003 | Re: Udell: Test before you leap into development | Udell: Test before you leap into development |
| 08/07/2003 | Re: Udell: Test before you leap into development | Udell: Test before you leap into development |
| 08/11/2003 | Re: Udell: Test before you leap into development | Udell: Test before you leap into development |
| 08/04/2003 | Re: JDO Architectures | JDO Architectures |
| 08/04/2003 | Re: JDO Architectures | JDO Architectures |
| 08/04/2003 | Re: JDO Architectures | JDO Architectures |
| 08/04/2003 | Re: JDO Architectures | JDO Architectures |
| 08/05/2003 | Re: JDO Architectures | JDO Architectures |
| 08/05/2003 | Re: JDO Architectures | JDO Architectures |
| 08/05/2003 | Re: JDO Architectures | JDO Architectures |
| 08/05/2003 | Re: JDO Architectures | JDO Architectures |
| 08/05/2003 | Re: JDO Architectures | JDO Architectures |
| 08/05/2003 | Re: JDO Architectures | JDO Architectures |
| 08/05/2003 | Re: JDO Architectures | JDO Architectures |
| 08/05/2003 | Re: JDO Architectures | JDO Architectures |
| 08/05/2003 | Re: JDO Architectures | JDO Architectures |
| 08/06/2003 | Re: JDO Architectures | JDO Architectures |
| 08/06/2003 | Re: JDO Architectures | JDO Architectures |
| 08/07/2003 | Re: JDO Architectures | JDO Architectures |
| 08/04/2003 | Re: Calling LtU editors | Calling LtU editors |
| 08/04/2003 | Re: Calling LtU editors | Calling LtU editors |
| 07/28/2003 | Re: Gregor Kiczales on Aspect Oriented Programming | Gregor Kiczales on Aspect Oriented Programming |
| 07/29/2003 | Re: Gregor Kiczales on Aspect Oriented Programming | Gregor Kiczales on Aspect Oriented Programming |
| 07/27/2003 | Re: The Little MLer | The Little MLer |
| 07/28/2003 | Re: The Little MLer | The Little MLer |
| 07/29/2003 | Re: The Little MLer | The Little MLer |
| 07/29/2003 | Re: The Little MLer | The Little MLer |
| 07/29/2003 | Re: The Little MLer | The Little MLer |
| 07/29/2003 | Re: The Little MLer | The Little MLer |
| 07/29/2003 | Re: The Little MLer | The Little MLer |
| 07/30/2003 | Re: The Little MLer | The Little MLer |
| 07/30/2003 | Re: The Little MLer | The Little MLer |
| 07/30/2003 | Re: The Little MLer | The Little MLer |
| 08/04/2003 | Re: The Little MLer | The Little MLer |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/25/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/25/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/25/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/26/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/22/2003 | Re: Are delegates the moniker of .NET? | Are delegates the moniker of .NET? |
| 07/22/2003 | Re: Are delegates the moniker of .NET? | Are delegates the moniker of .NET? |
| 07/22/2003 | Re: Are delegates the moniker of .NET? | Are delegates the moniker of .NET? |
| 07/20/2003 | Re: Windows security flaw - buffer-overflow | Windows security flaw - buffer-overflow |
| 07/20/2003 | Re: Windows security flaw - buffer-overflow | Windows security flaw - buffer-overflow |
| 07/20/2003 | Re: Windows security flaw - buffer-overflow | Windows security flaw - buffer-overflow |
| 07/18/2003 | Re: Adaptation in HOT Languages | Adaptation in HOT Languages |
| 07/17/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/17/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/17/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/17/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/17/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/18/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/18/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/18/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/18/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/19/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/20/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/20/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/20/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/20/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/17/2003 | Re: Godiva - a Very High Level Dialect of Java | Godiva - a Very High Level Dialect of Java |
| 07/17/2003 | Re: Godiva - a Very High Level Dialect of Java | Godiva - a Very High Level Dialect of Java |
| 07/18/2003 | Re: Godiva - a Very High Level Dialect of Java | Godiva - a Very High Level Dialect of Java |
| 07/15/2003 | Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/15/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/15/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/15/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/16/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/18/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/18/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/19/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/20/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/20/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/20/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/15/2003 | Programming Linguistics | Programming Linguistics |
| 07/16/2003 | Re: Programming Linguistics | Programming Linguistics |
| 07/16/2003 | Re: Programming Linguistics | Programming Linguistics |
| 07/17/2003 | Re: Programming Linguistics | Programming Linguistics |
| 07/14/2003 | Re: Category Theory for Beginners (slides) | Category Theory for Beginners* (slides) |
| 07/15/2003 | Re: Category Theory for Beginners (slides) | Category Theory for Beginners* (slides) |
| 07/15/2003 | Re: Category Theory for Beginners (slides) | Category Theory for Beginners* (slides) |
| 07/15/2003 | Re: Category Theory for Beginners (slides) | Category Theory for Beginners* (slides) |
| 07/16/2003 | Re: Category Theory for Beginners (slides) | Category Theory for Beginners* (slides) |
| 07/16/2003 | Re: Category Theory for Beginners (slides) | Category Theory for Beginners* (slides) |
| 07/14/2003 | Re: Neal Stephenson's USENIX keynote | Neal Stephenson's USENIX keynote |
| 07/14/2003 | Re: Neal Stephenson's USENIX keynote | Neal Stephenson's USENIX keynote |
| 07/14/2003 | Re: Neal Stephenson's USENIX keynote | Neal Stephenson's USENIX keynote |
| 07/15/2003 | Re: Neal Stephenson's USENIX keynote | Neal Stephenson's USENIX keynote |
| 07/12/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/13/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/13/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/13/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/14/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/14/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/14/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/14/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/14/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/14/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/14/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/22/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/08/2003 | Re: Web Services Federation Language (WS-Federation) | Web Services Federation Language (WS-Federation) |
| 07/09/2003 | Re: Web Services Federation Language (WS-Federation) | Web Services Federation Language (WS-Federation) |
| 07/04/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/04/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/06/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/06/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/06/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/06/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/07/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/07/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/08/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/09/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/10/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/11/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 06/28/2003 | Re: Perl 6 Design Philosophy | Perl 6 Design Philosophy |
| 07/02/2003 | Re: Perl 6 Design Philosophy | Perl 6 Design Philosophy |
| 07/03/2003 | Re: Perl 6 Design Philosophy | Perl 6 Design Philosophy |
| 04/22/2003 | Re: Lojban | Lojban |
| 04/24/2003 | Re: Lojban | Lojban |
| 02/17/2003 | Re: Evolution of Indo-European Languages using ASP | Evolution of Indo-European Languages using ASP |
| 08/16/2003 | Re: The Charity Language | The Charity Language |
| 08/16/2003 | Re: The Charity Language | The Charity Language |
| 08/16/2003 | Re: The Charity Language | The Charity Language |
| 08/17/2003 | Re: The Charity Language | The Charity Language |
| 08/17/2003 | Re: The Charity Language | The Charity Language |
| 08/18/2003 | Re: The Charity Language | The Charity Language |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |