Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: Marc Hamann

  Date    Post    Topic  
08/28/2010The conjugation of OTSapir-Whorf 70 years on
09/02/2010Argumentum ad verecundiamSapir-Whorf 70 years on
09/03/2010DyspepsiaSapir-Whorf 70 years on
08/28/2010The imperatives of functionalSapir-Whorf 70 years on
08/29/2010Example language?Sapir-Whorf 70 years on
08/25/2010What more do you want?Computational equivalent of incompleteness theorems?
08/06/2010Nicer to come?What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common
08/30/2010A course in the making?What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common
08/04/2010Double standard?CUFP 2010
08/02/2010What's the point?Incompleteness Theorems: The Logical Necessity of Inconsistency
08/02/2010Global vs. LocalIncompleteness Theorems: The Logical Necessity of Inconsistency
08/04/2010Logic puddingIncompleteness Theorems: The Logical Necessity of Inconsistency
08/02/2010DefinitionsIncompleteness Theorems: The Logical Necessity of Inconsistency
08/04/2010Dependent?Incompleteness Theorems: The Logical Necessity of Inconsistency
08/05/2010Clarification of terminologyIncompleteness Theorems: The Logical Necessity of Inconsistency
08/05/2010More clarificationIncompleteness Theorems: The Logical Necessity of Inconsistency
08/05/2010The map is not the territoryIncompleteness Theorems: The Logical Necessity of Inconsistency
08/05/2010Suspicious mindsIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010AgnosisIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010SuppositoryIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010Ipso factoIncompleteness Theorems: The Logical Necessity of Inconsistency
08/05/2010Non-Paraconsistent ThreadsIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010There coming to take me awayIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010Does tooIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010A better answerIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010Questionably questionableIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010Moe-Howard CorrespondenceIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010Benign sophistryIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010Bad hair dayIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010Inconsistent 'inconsistent'Incompleteness Theorems: The Logical Necessity of Inconsistency
08/09/2010And 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/2010Baby and BathwaterIncompleteness Theorems: The Logical Necessity of Inconsistency
08/09/2010From theory to practiceIncompleteness Theorems: The Logical Necessity of Inconsistency
08/09/2010Round and round the mulberry bush...Incompleteness Theorems: The Logical Necessity of Inconsistency
08/09/2010Pop goes the weaselIncompleteness Theorems: The Logical Necessity of Inconsistency
08/09/2010Proof?Incompleteness Theorems: The Logical Necessity of Inconsistency
08/07/2010BaselineIncompleteness Theorems: The Logical Necessity of Inconsistency
07/16/2010Wrong venueIs mathematics invention or discovery?
07/17/2010The perils of PlatoIs mathematics invention or discovery?
07/16/2010Recently on LtUIs lambda calculus a logic?
07/13/2010To what end?Generative Grammar-based Computation
07/13/2010The language that can tell no liesGenerative Grammar-based Computation
07/05/2010Uncle Bob's talk at RailsConf 2010Uncle Bob's talk at RailsConf 2010
07/05/2010Rough calculationUncle Bob's talk at RailsConf 2010
07/07/2010Sociological subtextUncle Bob's talk at RailsConf 2010
07/07/2010Dispassionate analysisUncle Bob's talk at RailsConf 2010
06/28/2010Crossed parallelsSF-calculus
06/30/2010The wrong gameSF-calculus
06/30/2010Non-deterministically deterministicSF-calculus
06/30/2010A different approachSF-calculus
07/01/2010No surpriseSF-calculus
07/02/2010Macro macros, not micro macrosSF-calculus
06/25/2010Shot by one's own can(n)onWhy Undergraduates Should Learn the Principles of Programming Languages
05/02/2010A middle positionTyped Lambda Calculus
05/02/2010Duelling dictionariesTyped Lambda Calculus
05/05/2010Slicing with a different grainTyped Lambda Calculus
04/27/2010A real world analogyCapability-based security; how does it work?
04/27/2010The translation to computersCapability-based security; how does it work?
04/26/2010Chillens these daysIn the wild
04/22/2010Not a bang but a whimperSeeking thoughtful criticisms of functional programming and languages
04/22/2010Pudding to be eaten?Seeking thoughtful criticisms of functional programming and languages
04/22/2010Panglossian ProgrammingSeeking thoughtful criticisms of functional programming and languages
04/23/2010Please back away from the lexical item, sirSeeking thoughtful criticisms of functional programming and languages
06/23/2010Two notions of specificationseL4: Formal Verification of an Operating-System Kernel
06/23/2010A specification of a unicornseL4: Formal Verification of an Operating-System Kernel
06/23/2010Amicus curiaeseL4: Formal Verification of an Operating-System Kernel
06/23/2010More terminologyseL4: Formal Verification of an Operating-System Kernel
06/23/2010Just really difficultseL4: Formal Verification of an Operating-System Kernel
04/16/2010Two sides, one coinHow can C Programs be so Reliable?
04/17/2010Three Exception MonteHow can C Programs be so Reliable?
04/14/2010Function querysplitting the program into formalizable vs. non-formalizable parts?
04/15/2010A different problemsplitting the program into formalizable vs. non-formalizable parts?
04/01/2010Design for what?Go's proposed panic/recover exception-like mechanism
04/01/2010Black hat, white hatGo's proposed panic/recover exception-like mechanism
03/25/2010Lost in translationWill data-intensive computing revolutionize programming languages?
03/25/2010Unnatural language translationWill data-intensive computing revolutionize programming languages?
03/26/2010Explorers and SettlersWill data-intensive computing revolutionize programming languages?
03/26/2010Settled vs. solvedWill data-intensive computing revolutionize programming languages?
03/26/2010Political problemWill data-intensive computing revolutionize programming languages?
03/26/2010Optimistic transformationsWill data-intensive computing revolutionize programming languages?
03/27/2010Unintended value judgmentWill data-intensive computing revolutionize programming languages?
03/27/2010Practical is hindsightWill data-intensive computing revolutionize programming languages?
03/29/2010Healthy DiversityWill data-intensive computing revolutionize programming languages?
03/23/2010The utility of correspondencesCurry Howard and more powerful type systems
03/24/2010A Tricky QuestionCurry Howard and more powerful type systems
03/23/2010There is a bookCurry Howard and more powerful type systems
03/23/2010Try before you buyCurry Howard and more powerful type systems
03/22/2010The Passing of a GiantLate Robin Milner
03/23/2010Not the first stopLate Robin Milner
03/18/2010Type erasure?On the (Alleged) Value of Proof for Assurance
03/18/2010Deep Curry-HowardOn the (Alleged) Value of Proof for Assurance
03/18/2010Source of confidence?On the (Alleged) Value of Proof for Assurance
03/18/2010Re: The LCF approachOn the (Alleged) Value of Proof for Assurance
03/19/2010No stretch necessaryOn the (Alleged) Value of Proof for Assurance
03/19/2010Names are not definitionsOn the (Alleged) Value of Proof for Assurance
03/19/2010One way or anotherOn the (Alleged) Value of Proof for Assurance
03/19/2010Types and logicOn the (Alleged) Value of Proof for Assurance
03/19/2010Yes/No/MaybeOn the (Alleged) Value of Proof for Assurance
03/19/2010AdiosOn the (Alleged) Value of Proof for Assurance
03/22/2010Oh what a feeling!On the (Alleged) Value of Proof for Assurance
03/23/2010Girard, mon semblable, mon frereOn the (Alleged) Value of Proof for Assurance
03/22/2010Once more with feeling...On the (Alleged) Value of Proof for Assurance
03/22/2010Label AnxietyOn the (Alleged) Value of Proof for Assurance
03/19/2010Usenet 1995On the (Alleged) Value of Proof for Assurance
03/19/2010Huh?On the (Alleged) Value of Proof for Assurance
03/18/2010de Hamann CriterionOn the (Alleged) Value of Proof for Assurance
03/10/2010Not Even Evenfunctional equivalance?
03/10/2010Even Evenfunctional equivalance?
02/19/2010Nice jobReminder: OOPSLA is now SPLASH
02/20/2010Informed OpinionsReminder: OOPSLA is now SPLASH
02/16/2010Interesting WorkA Lambda Calculus for Real Analysis
02/03/2010An interesting pointExtreme non-choosiness
02/03/2010BigraphsFormal treatments (or examples of) of "function concatenation"?
01/30/2010Order and isomorphismDeclarative reactive tables
01/30/2010Compile your worries awayDeclarative reactive tables
01/30/2010Smart is as smart doesDeclarative reactive tables
01/31/2010I'm sorry, Dave. I'm afraid I can't do that.Declarative reactive tables
01/31/2010General Case / Special CaseDeclarative reactive tables
01/31/2010Primitive primitivesDeclarative reactive tables
01/31/2010FoundationsDeclarative reactive tables
01/31/2010Not reallyDeclarative reactive tables
01/31/2010Can iterateDeclarative reactive tables
01/31/2010A non-RT Haskell Primitive?Declarative reactive tables
01/31/2010Different turtles for different coursesDeclarative reactive tables
01/25/2010Weak analogyHistorical or sociological studies of programming language evolution?
01/26/2010A Traveller's ReportHistorical or sociological studies of programming language evolution?
01/27/2010A potted summaryHistorical or sociological studies of programming language evolution?
01/28/2010HL/PLHistorical or sociological studies of programming language evolution?
01/25/2010MarketectureHistorical or sociological studies of programming language evolution?
01/25/2010Good and bad taxonomiesHistorical or sociological studies of programming language evolution?
01/09/2010The Art of NormalizationWhy Normalization Failed to Become the Ultimate Guide for Database Designers?
01/09/2010The Silver-haired BulletWhy Normalization Failed to Become the Ultimate Guide for Database Designers?
12/16/2009The social realities of APIsWhy API Design Matters
12/17/2009The relevant aspectsWhy API Design Matters
12/14/2009Start with the first order and work your way upNaive Question? Definition of "Higher Order"
12/15/2009One, two, infinity...Naive Question? Definition of "Higher Order"
12/18/2009DittoClaiming Infinity
12/18/2009Whew!Claiming Infinity
12/06/2009Kernel Languages And ExpressivenessIs Small Still Beautiful?
12/07/2009Calculi ConundrumIs Small Still Beautiful?
12/03/2009Semantic TCO FTWWhy Object-Oriented Languages Need Tail Calls
12/04/2009Yet more pluralismWhy Object-Oriented Languages Need Tail Calls
12/04/2009LtU's Most WantedWhy Object-Oriented Languages Need Tail Calls
12/04/2009Scope adjustmentWhy Object-Oriented Languages Need Tail Calls
12/03/2009I come to praise, not to buryEleven Theses on Clojure
12/04/2009STM worth being excited aboutEleven Theses on Clojure
12/03/2009Long live diversity!Eleven Theses on Clojure
12/03/2009One language at a timeEleven Theses on Clojure
11/13/2009Slippery slopeJohn Hughes on Erlang and Haskell
11/13/2009Curry-Howard ain't so commonJohn Hughes on Erlang and Haskell
11/14/2009Curry-Howard-Gödel-TuringJohn Hughes on Erlang and Haskell
11/20/2009Sunshine Sketch of a Big EquivalenceJohn Hughes on Erlang and Haskell
11/22/2009Looping proofsJohn Hughes on Erlang and Haskell
11/22/2009M's paradoxJohn Hughes on Erlang and Haskell
11/22/2009Not a question of badJohn Hughes on Erlang and Haskell
11/19/2009A Type System by any other name...John Hughes on Erlang and Haskell
11/03/2009A lesson for practitioners?On Understanding Data Abstraction, Revisited
11/04/2009Unclear distinction?On Understanding Data Abstraction, Revisited
10/29/2009Choose your literacyLiterate Programming: Retrospect and Prospects
10/29/2009Code is LanguageLiterate Programming: Retrospect and Prospects
10/30/2009Pseudo-prose's equally evil twinLiterate Programming: Retrospect and Prospects
10/28/2009What is a value?What is a Type?
10/28/2009Types are second orderWhat is a Type?
10/26/2009A Moving TargetDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/26/2009Can't decode the paradigmDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/26/2009Un chien adalouDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/26/2009A rhetorical answerDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/05/2009Adequacy for which problem?A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions
10/07/2009Expected outcomeA Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions
10/07/2009Adequate modestyA Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions
09/29/2009The Myth of DWIMWhy Pseudo-Code?
09/29/2009Algorithmic complexityWhy Pseudo-Code?
07/31/2009Extremely understatedDefinition of Functional Programming Language
07/30/2009Deja snoozeDefinition of Functional Programming Language
07/07/2009The "Leaky Abstraction" Abstraction LeaksTrade-offs with abstraction
07/07/2009Woulda coulda shouldaTrade-offs with abstraction
07/07/2009Don't lock security awayTrade-offs with abstraction
07/07/2009Slithy tovesTrade-offs with abstraction
07/07/2009Abstract Silver Bullet FactoryTrade-offs with abstraction
07/07/2009Two software designers go into a bar...Trade-offs with abstraction
07/08/2009The problem is kingTrade-offs with abstraction
06/26/2009Halting problemMost powerful terminating semantics?
06/26/2009A simple questionMost powerful terminating semantics?
06/27/2009The perils of computational thinkingMost powerful terminating semantics?
06/27/2009A simpler takeMost powerful terminating semantics?
06/26/2009You skipped a stepMost powerful terminating semantics?
06/27/2009Oh, quiteMost powerful terminating semantics?
06/27/2009Not so fastMost powerful terminating semantics?
06/27/2009For the record...Most powerful terminating semantics?
06/27/2009Finite recognitionMost powerful terminating semantics?
06/27/2009Simplicity out the window ;-)Most powerful terminating semantics?
06/27/2009Live beginningMost powerful terminating semantics?
07/02/2009Call the men in whiteMost powerful terminating semantics?
07/03/2009At infinity, everything is possibleMost powerful terminating semantics?
07/03/2009All f:N->N are total and O(1) with infinite memoryMost powerful terminating semantics?
07/03/2009ManifestoMost powerful terminating semantics?
07/03/2009Open handMost powerful terminating semantics?
07/03/2009CS is not (all of) mathematicsMost powerful terminating semantics?
06/18/2009I know what you meanWhy a diagram is (sometimes) worth ten thousand words
06/15/2009Obligatory ResponseHow Does Our Language Shape The Way We Think?
06/16/2009Obligatory Follow-up ;-)How Does Our Language Shape The Way We Think?
06/16/2009.. the pumpHow Does Our Language Shape The Way We Think?
06/17/2009Priming writ largeHow Does Our Language Shape The Way We Think?
06/18/2009The CloudsHow Does Our Language Shape The Way We Think?
06/18/2009"Share nothing" sophistryHow Does Our Language Shape The Way We Think?
06/18/2009Priming primeHow Does Our Language Shape The Way We Think?
06/17/2009A commonplace of commonplacesHow Does Our Language Shape The Way We Think?
06/17/2009PhilosophyHow Does Our Language Shape The Way We Think?
06/18/2009The only wayHow Does Our Language Shape The Way We Think?
06/18/2009Theorists of the world unite!How Does Our Language Shape The Way We Think?
06/12/2009A Brief History of TimeSemantics: Logic vs. PL
06/12/2009A difference of scopeSemantics: Logic vs. PL
06/16/2009Computational EpistemologySemantics: Logic vs. PL
06/12/2009Virtual community serviceJob trends
06/07/2009Celebrity, Marketing and FLOSSThe Myth of the Genius Programmer
06/01/2009Computing needs time travelComputing Needs Time
05/29/2009What's next?Questions Five Ways
05/29/2009Kids these days...Questions Five Ways
05/29/2009The present's so bright, I gotta wear shadesQuestions Five Ways
05/29/2009Shine on, you crazy RubyQuestions Five Ways
05/29/2009Tasty!Questions Five Ways
05/29/2009PL vs applicationQuestions Five Ways
05/29/2009Music can be recognized by its...Questions Five Ways
05/29/2009Deep toolsQuestions Five Ways
05/29/2009Aggregation for the massesQuestions Five Ways
05/27/2009Makes me wonder...Forth Dimensions
05/11/2009Such a bad thing?Why Did M.I.T. Switch from Scheme to Python?
05/12/2009Plumbing geeksWhy Did M.I.T. Switch from Scheme to Python?
05/13/2009Plumbing is a skilled (and lucrative) tradeWhy Did M.I.T. Switch from Scheme to Python?
05/14/2009A young field?Why Did M.I.T. Switch from Scheme to Python?
05/07/2009Turn, turn, turnRight on!
05/06/2009I'll second thatRight on!
04/21/2009References?The deBrujin Criterion and the "LCF Approach".
04/16/2009Source Code?Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time
04/17/2009Thanks!Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time
04/08/2009Programming Linguisitically InterestingTwitter and Scala
03/15/2009Point-free: does it really mean stateless?Advantages of pointfree?
03/16/2009A matter of interpretationAdvantages of pointfree?
03/15/2009Not so sure...Influence of cognitive models on programming language design
03/16/2009May I humbly suggest....Influence of cognitive models on programming language design
03/09/2009A pigeon and a plane both have wings...C++ Futures
03/10/2009Ordinary meaning onlyC++ Futures
03/10/2009The futures are so bright, I gotta wear shadesC++ Futures
03/10/2009A contrast in attitudesC++ Futures
03/10/2009All futures will have their 15 mins of fameC++ Futures
03/10/2009For exampleC++ Futures
03/07/2009A word means just what I want it to mean...The Meta-LtU Thread
03/08/2009But there is an "i" in unverified...The Meta-LtU Thread
03/07/2009Sure, blame the old guy who isn't here much anymore...The Meta-LtU Thread
03/09/2009Not to flog a dead horse...The Meta-LtU Thread
03/10/2009The Charge of the LtU BrigadeThe Meta-LtU Thread
03/10/2009It's all dark, really...The Meta-LtU Thread
03/06/2009A geezer's storyThe Meta-LtU Thread
02/11/2010[SPAM]Information regarding financial crisis
02/11/2010Spam techniquesInformation regarding financial crisis
11/05/2009New presentation and new bookLambda, the Ultimate TA
04/03/2008A Good BookRewriting rules for deducing properties of functions
03/07/2008Warning: may contain heresyConfused Deputies in Programming Languages
03/07/2008Go Team Peter!Confused Deputies in Programming Languages
03/07/2008E.g.Confused Deputies in Programming Languages
03/07/2008Transparent?Confused Deputies in Programming Languages
03/07/2008Que?Confused Deputies in Programming Languages
03/07/2008We are the knights who say CTM!Confused Deputies in Programming Languages
03/07/2008Depends on the problemConfused Deputies in Programming Languages
03/07/2008Love Big BrotherConfused Deputies in Programming Languages
03/13/2008What about other worlds?Confused Deputies in Programming Languages
03/13/2008When is a world not a World?Confused Deputies in Programming Languages
03/13/2008The world is a vampireConfused Deputies in Programming Languages
02/19/2008Problem vs. solutionGilad Bracha: Cutting out Static
12/11/2007No sincere question is stupidS has a left inverse
12/09/2007First-class turntilesfunctions, statements, expressions
12/06/2007What problem are we solving?poll: syntax
12/06/2007O newbie, where art thou?poll: syntax
12/10/2007A constructive suggestionpoll: syntax
11/29/2007A recommendationfoundations for J, APL etc
11/27/2007Might be of interestWhat have I created?
11/26/2007Full and faithful embeddingA survey and discussion of taming effects
11/26/2007Gallows humourSamurai - Protecting Critical Data in Unsafe Languages
11/24/2007[Community] Le't get back on trackSamurai - Protecting Critical Data in Unsafe Languages
11/20/2007The upsideSamurai - Protecting Critical Data in Unsafe Languages
11/20/2007Conservativer than thouSamurai - Protecting Critical Data in Unsafe Languages
11/20/2007Assumptions revealedSamurai - Protecting Critical Data in Unsafe Languages
11/20/2007Nothing revealed that should be hiddenSamurai - Protecting Critical Data in Unsafe Languages
11/20/2007A hierarchy of principlesSamurai - Protecting Critical Data in Unsafe Languages
11/21/2007Choose the right defaultSamurai - Protecting Critical Data in Unsafe Languages
11/20/2007Let there be a translationWhat are the properties of "Functional Programming Languages"?
11/20/2007What about your contribution?What are the properties of "Functional Programming Languages"?
11/20/2007To boldly go... where?What are the properties of "Functional Programming Languages"?
11/17/2007Well-typed programs can't be blamedWell-typed programs can't be blamed
11/17/2007The walk behind the TalkWell-typed programs can't be blamed
11/19/2007Heterogeneous impureWell-typed programs can't be blamed
11/19/2007Future work?Well-typed programs can't be blamed
11/19/2007Conceptual shiftWell-typed programs can't be blamed
11/06/2007Not yet...Universal Type System
11/06/2007What do you mean by "is"? ;-)Universal Type System
11/08/2007ZF is too bigUniversal Type System
11/10/2007It's hard out there for a ComputationalistUniversal Type System
11/11/2007A little Wikipedia is a dangerous thing... ;-)Universal Type System
11/12/2007To you from failing hands we throwUniversal Type System
11/04/2007Who is his audience?On the origins of Bisimulation, Coinduction, and Fixed Points
11/02/2007dumb(x) -> fails(x)Online Learning of Relaxed CCG Grammars for Parsing to Logical Form
11/04/2007Chicken or Egg?Online Learning of Relaxed CCG Grammars for Parsing to Logical Form
10/26/2007Hail, fellow travellerGödel, Nagel, minds and machines
10/26/2007Least fixed or least finite?Gödel, Nagel, minds and machines
10/27/2007So close...Gödel, Nagel, minds and machines
10/27/2007What uncountable thing is constructed?Gödel, Nagel, minds and machines
10/28/2007A definition is not a construction (or a computation)Gödel, Nagel, minds and machines
10/28/2007Not a finitistGödel, Nagel, minds and machines
10/28/2007Damn, I left my infinite loop running; I guess I'll just wait...Gödel, Nagel, minds and machines
10/28/2007Coinduction junctionGödel, Nagel, minds and machines
10/28/2007What was the face of an uncountable before it's mother was bornGödel, Nagel, minds and machines
10/28/2007Pointful contrarianism onlyGödel, Nagel, minds and machines
10/29/2007The hidden danger is the most dangerousGödel, Nagel, minds and machines
10/28/2007Do or do not, there is no tryGödel, Nagel, minds and machines
10/30/2007Maybe...Gödel, Nagel, minds and machines
10/31/2007How would one know?Gödel, Nagel, minds and machines
11/04/2007General case vs. specific caseGödel, Nagel, minds and machines
10/26/2007AFAGödel, Nagel, minds and machines
10/28/2007Aquinas can have his angelsGödel, Nagel, minds and machines
10/29/2007The middle pathGödel, Nagel, minds and machines
10/30/2007Lots o' fun, but quite possible ;-)Gödel, Nagel, minds and machines
10/25/2007Undeterminable determinism = non-determinismOn the Importance of Purity
10/25/2007Omniscient message passing is determisticOn the Importance of Purity
10/25/2007EpistemologyOn the Importance of Purity
10/25/2007Another thought on "determinizing"On the Importance of Purity
10/27/2007Curry-Howard does Curly HowardOn the Importance of Purity
11/02/2007Seeing is believingOn the Importance of Purity
11/01/2007It's not the wand, it's the magicianOn the Importance of Purity
11/02/2007Back to SaltinesOn the Importance of Purity
11/02/2007Two legs bad, four legs goodOn the Importance of Purity
11/04/2007Wearing my designer lambda shadesOn the Importance of Purity
11/04/2007Open-minded sausage cultOn the Importance of Purity
11/04/2007An ever empty cupOn the Importance of Purity
11/09/2007Let's start with 10%... ;-)On the Importance of Purity
11/10/2007SloganeeringOn the Importance of Purity
11/10/2007The problem with slogansOn the Importance of Purity
11/10/2007Contravariant coagreementOn the Importance of Purity
11/10/2007Back to the burrowOn the Importance of Purity
10/24/2007Accidental post?Different results in the unit root test. Why?
10/24/2007Mapping to LC?The simplest mechanism with Turing-equivalent power to date ...
11/02/2007Just wanna say...The simplest mechanism with Turing-equivalent power to date ...
10/19/2007Authoritative dataThe End of an Architectural Era (It's Time for a Complete Rewrite)
10/19/2007Jughead kibitzesgrammars as a shared executable specification for language processing tools
10/09/2007Already there...Computing is a Natural Science
09/24/2007In the PL design sense...Tim Bray and Erlang
09/23/2007JCAAJCRPLEOOOWhich Journals/Conferences to keep track of?
09/19/2007Another name for...Decayed Memoization
09/21/2007Different costDecayed Memoization
09/18/2007The catch is...Binary Lambda Calculus and Combinatory Logic
09/24/2007Unfree the variables!Binary Lambda Calculus and Combinatory Logic
09/24/2007Minds over machinesBinary Lambda Calculus and Combinatory Logic
09/18/2007A dangerous assumptionUniqueness Types Instead STM
09/19/2007PragmatismUniqueness Types Instead STM
09/20/2007SummaryUniqueness Types Instead STM
09/20/2007ConsistencyUniqueness Types Instead STM
09/21/2007The best transaction system is declarative concurrencyUniqueness Types Instead STM
02/01/2010Pretty commonTagless Staged Interpreters for Simpler Typed Languages
08/19/2007Don't worry, be happyA question on free variable capture.
08/19/2007Close it on the outsideA question on free variable capture.
08/19/2007Good enoughA question on free variable capture.
08/18/2007What is the sound of one monad clapping?Monad Description For Imperative Programmer
08/19/2007Monoids for the massesMonad Description For Imperative Programmer
07/18/2007A worthwhile investmentWhoever does not understand LISP, is doomed to reinvent it.
07/09/2007Can of non-terminating wormsSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/09/2007We lived in a lake...Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/10/2007The types depend on valuesSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/10/2007It seems easy...Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/09/2007The same can of worms?Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
03/14/2007Not a counter-examplePiraha Exceptionality: a Reassessment
03/14/2007An LtU recordPiraha Exceptionality: a Reassessment
03/15/2007I can't heeeear you...Piraha Exceptionality: a Reassessment
03/14/2007Harmer of the diminisher of nerdiness of PLTPiraha Exceptionality: a Reassessment
03/14/2007Maybe not...Piraha Exceptionality: a Reassessment
03/09/2007The Law of AutomationAutomatic Programming
02/25/2007Takes one to know oneOn the fact that the Atlantic Ocean has two sides
03/05/2007Ditto heads of PLT?On the fact that the Atlantic Ocean has two sides
02/12/2007Golden age of the golden ageAlmost everything happened in the Golden Age, right?
02/11/2007A critical view50 years of “Syntactic Structures”
02/12/2007Not a good analogy50 years of “Syntactic Structures”
02/08/2007A sympathetic takePatrick Logan on Software Transaction Memory
02/09/2007Eat your dinner before you reach for dessertPatrick Logan on Software Transaction Memory
02/09/2007Shared ContextPatrick Logan on Software Transaction Memory
02/07/2007A worrisome distinctionOpinions on _Theoretical Introduction to Programming_?
02/07/2007Glue is not gooOpinions on _Theoretical Introduction to Programming_?
02/07/2007Invoking the spiritOpinions on _Theoretical Introduction to Programming_?
02/08/2007The spirit of my spiritOpinions on _Theoretical Introduction to Programming_?
02/08/2007Beautiful GlueOpinions on _Theoretical Introduction to Programming_?
12/13/2007Object-oriented styleWhat is a "fully featured closure"? Request for comments.
01/19/2007A RiddleLocus Solum: From the rules of logic to the logic of rules
01/19/2007Maybe?Locus Solum: From the rules of logic to the logic of rules
01/14/2007RealityCall by push-value
02/18/2007Besieging the wrong towerWhy people don't use functional programming?
02/19/2007Homework requiredWhy people don't use functional programming?
02/18/2007A string theoryWhy people don't use functional programming?
02/19/2007A square circleWhy people don't use functional programming?
02/19/2007Quack quack!Why people don't use functional programming?
12/21/2006Fundamental Design ParameterA Usability question: Too much typing?
12/21/2006A lot depends on context of useThe Role of Composition in Computer Programming
12/21/2006Mth z trsThe Role of Composition in Computer Programming
12/21/2006Even further than down the linear roadThe 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/2006One, Twoexcitement in language research?
11/29/200621st Century BoyThe Future of LtU
11/30/2006Theory as systematizationThe Future of LtU
12/01/2006Human Factors BluesThe Future of LtU
12/01/2006The ChallengeThe Future of LtU
11/19/2006[Community] OTHigher order insertion sort - HELP PLZ
11/17/2006A list by any other nameAbstractly typed languages
11/16/2006A second recommendationVideo: The Scala Experiment
11/11/2006Call me Van HelsingFunctional programming and software engineering
11/12/2006Hollywood, here I come...Functional programming and software engineering
11/15/2006Have a garlic pillFunctional programming and software engineering
11/12/2006Doh! Hallowe'en is over!Functional programming and software engineering
11/12/2006Design in a bottleFunctional programming and software engineering
11/13/2006Against formal liesFunctional programming and software engineering
11/12/2006Small additionFunctional programming and software engineering
11/12/2006Friendly relationsFunctional programming and software engineering
11/12/2006In TransitionFunctional programming and software engineering
11/19/2006Emerge from where?Functional programming and software engineering
11/20/2006KeisakuFunctional programming and software engineering
10/29/2006Evaluation <-> ResultMonitoring whether a function happens
10/29/2006A Journey of a Thousand MilesMonitoring whether a function happens
11/05/2006To Become A Better ProgrammerWant to learn something new
10/29/2006Language Oriented Programming?Future of software design?
10/30/2006Singularity Oriented Programming?Future of software design?
11/02/2006Local convergenceFuture of software design?
11/03/2006The longer versionFuture of software design?
11/03/2006Another case studyFuture of software design?
11/03/2006One more lumpFuture of software design?
11/04/2006Transactional trade offsFuture of software design?
11/04/2006False analogy?Future of software design?
11/04/2006Cheap, fast and under controlFuture of software design?
11/05/2006Attempting to answer my own questionFuture of software design?
11/05/2006The Layer LineFuture of software design?
11/06/2006A Rose by any other Thread?Future of software design?
11/04/2006A modest suggestionFuture of software design?
11/21/2006Back to the OPFuture of software design?
11/05/2006A PlatypusPractical OCaml
11/09/2006Publishing for DollarsPractical OCaml
10/25/2006The answer is 6x8The Type of 42
10/25/2006What is your type system for?The Type of 42
10/26/2006A Cheshire Cat?The Type of 42
10/19/2006Some ideasQuestion on terminology
10/23/2006What's in a name?Question on terminology
10/19/2006What are you trying to gain?Constraint based hybrid typing and the Curry Howard Isomorphism
10/19/2006An instance of an IntuitionistConstraint based hybrid typing and the Curry Howard Isomorphism
10/19/2006The mountains are mountains, the rivers are riversConstraint based hybrid typing and the Curry Howard Isomorphism
10/20/2006Stand on the shoulders of giantsConstraint based hybrid typing and the Curry Howard Isomorphism
10/17/2006X is just Y with ZGood Ideas, Through the Looking Glass
11/08/2006A new one for the Papers section?A Very Modal Model of a Modern, Major, General Type System
09/20/2006Website ReorgLectures on the Curry-Howard Isomorphism
09/21/2006Taking one for the teamLectures on the Curry-Howard Isomorphism
01/04/2007Finally Have ItLectures on the Curry-Howard Isomorphism
01/05/2007Unnatural deductionsLectures on the Curry-Howard Isomorphism
01/14/2007Half-way Whole-hearted ReviewLectures on the Curry-Howard Isomorphism
01/16/2007Lectio longa, vita brevis...Lectures on the Curry-Howard Isomorphism
12/04/2006New type checking for LtUunchecked exceptions are like runtime type checking?
12/04/2006Yielding to temptationunchecked exceptions are like runtime type checking?
12/29/2009Degrees of stateOracles
01/01/2010From the other sideOracles
01/03/2010Mutatis MutandisOracles
01/07/2010The Hierarchy of StatefulnessOracles
01/07/2010Straw, wood and brickOracles
01/08/2010Big BadOracles
01/08/2010Mother GooseOracles
01/07/2010Radioactive stateOracles
07/21/2006Abstract asynchronyErlang concurrency: why asynchronious messages?
07/10/2006What does it do for you?Socially Responsive, Environmentally Friendly Logic
07/09/2006A carrot, not a stickCommunity enforcement discussion
07/09/2006AntibodiesCommunity enforcement discussion
07/09/2006Tending the gardenCommunity enforcement discussion
07/07/2006Oblivious code or oblivious designer?Failure-oblivious computing
07/07/2006[Community Standards] A reminderFailure-oblivious computing
07/08/2006You have to start somewhereFailure-oblivious computing
07/08/2006ThanksFailure-oblivious computing
07/09/2006Rights = responsibilityFailure-oblivious computing
07/07/2006StrictnessProgramming Languages and Lambda Calculi
07/07/2006Better answerProgramming Languages and Lambda Calculi
07/08/2006An even better answerProgramming Languages and Lambda Calculi
07/09/2006"Abuse of terminology"Programming Languages and Lambda Calculi
07/10/2006A gobbet of goreProgramming Languages and Lambda Calculi
07/10/2006Terminological Reform (Party?)Programming Languages and Lambda Calculi
07/11/2006TribblationProgramming Languages and Lambda Calculi
07/01/2006Cogito ergo sum programmatorAmusing question
07/02/2006Heidegger, Heidegger was a boozy beggarAmusing question
07/02/2006A PLT TapestryAmusing question
07/01/2006Maybe not so off directionAmusing question
07/01/2006Through a glass darklyAmusing question
07/05/2006This is getting WAY OTAmusing question
06/29/2006Ambiguous styleLtU: Policies document
06/29/2006Policies are goodLtU: Policies document
07/01/2006Tom Brown's School DaysLtU: Policies document
07/01/2006Value addedLtU: Policies document
07/03/2006Example of the need for examplesLtU: Policies document
07/03/2006Do as I say, not as I do?LtU: Policies document
07/03/2006Fedora or stetson?LtU: Policies document
07/03/2006Progress at workLtU: Policies document
06/11/2006Some thoughtsInform 7: A relational DSL for interactive fiction with natural language syntax
06/09/2006Knowing his audienceRelevance of Curry-Howard
06/06/2006A jigsaw?Relevance of Curry-Howard
06/16/2006Heterogenous collectionsFirst Class Values, Types as values within a Programming Language
05/10/2006Where's the kitchen sink?The three dimensions of proofs
01/13/2008Stop in the name of linguistics!Social science research about programming language adoption?
02/11/2006Design FocusGuido: Language Design Is Not Just Solving Puzzles
06/14/2009Deep philosophyThe Next Mainstream Programming Languages
01/29/2006Sets and FunctionsLambda the Ultimate Set Comprehension
01/31/2006Category theory: it's not just for breakfast anymoreLambda the Ultimate Set Comprehension
02/07/2006Break out the hobby horseLambda the Ultimate Set Comprehension
02/01/2006No swimming in the deep endLambda the Ultimate Set Comprehension
02/01/2006How's the water?Lambda the Ultimate Set Comprehension
02/01/2006One last try...Lambda the Ultimate Set Comprehension
01/31/2006Axiom to grindLambda the Ultimate Set Comprehension
02/02/2006Fold/unfoldGAWK (GNU AWK) for AI?
02/02/2006Rough weekGAWK (GNU AWK) for AI?
01/06/2006ParametricityThe Haskell Programmer's Guide to the IO Monad --- Don't Panic
12/21/2006One missedThe Haskell Programmer's Guide to the IO Monad --- Don't Panic
10/22/2005What is the study of programming languages?What do you mean by studying "programming languages"?
10/16/2005A shadowy head rises from the surface of the loch...Formal methods for O/R mapping
10/16/2005An axiom to grindFormal methods for O/R mapping
08/28/2005An LtU KoanDoes Abstraction add Fuzziness?
08/25/2005It is impractical to quibble about practicalityIvory Towers and Gelfand's Principle
07/31/2005Premature optimization is the root of all SQLAn interview with Chris Date
07/31/2005Optmizing the optimizing optimizer for optimizationAn interview with Chris Date
07/17/2005Specification, Implementation, Visible TypeStatic Typing Where Possible, Dynamic Typing When Needed
07/18/2005JabberwockyStatic Typing Where Possible, Dynamic Typing When Needed
06/29/2005Eating my own dogfoodOrganizing papers...
06/29/2005The Silence of the LambdasGenerics are a mistake?
06/30/2005Hasenfus wasn't so luckyGenerics are a mistake?
06/30/2005A variance over varianceGenerics are a mistake?
07/01/2005Gentle satire not sarcasmGenerics are a mistake?
07/17/2005OopsGenerics are a mistake?
06/28/2005He has a pointGenerics are a mistake?
06/29/2005For the beginner who is readyGenerics are a mistake?
06/23/2005Repetition is the parent of masteryHow To Read a Paper
06/25/2005Paper Tiger or Tiger Paper?How To Read a Paper
06/25/2005Gong!Why recursing is better than looping
06/17/2005Well-foundedness and BisimulationTim Bray: On Threads
06/07/2005Implementation vs SpecificationData locality and data structures
06/14/2005Broken recordData locality and data structures
06/08/2005Dataflow variables like pipes?Bidirectional fold and scan
06/09/2005Ceci n'est pas un pipeBidirectional fold and scan
06/05/2005I am not a number... oh wait, maybe I am...Variables as Channels
06/01/2005TAPLBasic(er) Simple(r) Type Theory(?)
06/01/2005... maybe notBasic(er) Simple(r) Type Theory(?)
06/16/2005Casual usageBasic(er) Simple(r) Type Theory(?)
05/24/2005Traduttore, traditoreHaskell for C Programmers
05/24/2005The Way of WaysHaskell for C Programmers
05/24/2005Not so far apart as it might seemHaskell for C Programmers
05/24/2005Good fences make good neighboursHaskell for C Programmers
05/24/2005Divide the world and conquerHaskell for C Programmers
05/25/2005Premature optimization is the root of all evilHaskell for C Programmers
05/26/2005Implementation is under the hoodHaskell for C Programmers
05/25/2005My name is legion...Haskell for C Programmers
05/26/2005De Do Do Do, De Da Da DaHaskell for C Programmers
05/23/2005Another hunt for a free lunch...Parameterized Unit Tests
05/24/2005Hope springs eternalParameterized Unit Tests
05/12/2005Perl only takes you so far...Python Challenge
05/13/2005Why not the Assembler Challenge?Python Challenge
05/10/2005Saunders Mac Lane 1909-2005Saunders Mac Lane 1909-2005
05/12/2005EntitiesWhy Dependent Types Matter
05/07/2005Abstractionless prgogrammingsubtext: Uncovering the simplicity of programming
05/07/2005Collapsing under weightsubtext: Uncovering the simplicity of programming
05/08/2005A name by any other name...subtext: Uncovering the simplicity of programming
05/08/2005If you ASCII silly question, you get a silly ANSI...subtext: Uncovering the simplicity of programming
05/10/2005Easier for whom, easier for whatsubtext: Uncovering the simplicity of programming
05/10/2005Abstraction simplifiessubtext: Uncovering the simplicity of programming
05/10/2005Concrete Blondesubtext: Uncovering the simplicity of programming
05/11/2005Two birds with one abstractionsubtext: Uncovering the simplicity of programming
05/11/2005A name is not a stringsubtext: Uncovering the simplicity of programming
05/12/2005Mnemonic vs. referentialsubtext: Uncovering the simplicity of programming
05/02/2005Type != TestingCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005Confidence vs CertaintyCall for Papers: ACM Symposium on Dynamic Languages
05/03/2005Human-powered type checkingCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005The non-dynamic duoCall for Papers: ACM Symposium on Dynamic Languages
05/02/2005Don't shoot the messengerCall for Papers: ACM Symposium on Dynamic Languages
05/03/2005Exposing bad thinkingCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005Compile-time/runtime, program-time/compute-timeCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005Beyond modularityCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005Reasoning timeCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005Problems with term edit-timeCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005Terminological Tar-pitCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005More like Miller Time... ;-)Call for Papers: ACM Symposium on Dynamic Languages
05/04/2005Depends on what you mean by runningCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005I predict I have a lot of work to do...Call for Papers: ACM Symposium on Dynamic Languages
05/05/2005An exampleCall for Papers: ACM Symposium on Dynamic Languages
05/05/2005Here goes...Call for Papers: ACM Symposium on Dynamic Languages
04/30/2005Dodgy data = dodgy theoriesThe long tail of programming languages
04/30/2005Power Law DistributionThe long tail of programming languages
04/30/2005Confusion reignsFrom Perl Monks: "pissed off about functional programming"
05/06/2005Personal FP baselineFrom Perl Monks: "pissed off about functional programming"
05/06/2005All languages are FP?From Perl Monks: "pissed off about functional programming"
05/08/2005Useful Definitions vs Definitive DefinitionsFrom Perl Monks: "pissed off about functional programming"
04/29/2005I'll call your pedant and raise you a...Memory fault and segmentation faults
04/23/2005Run for you lives!Sapir-Whorf again?
04/23/2005Heart of DarknessSapir-Whorf again?
04/24/2005Slippery when wetSapir-Whorf again?
04/24/2005Wikipedia speaks!Sapir-Whorf again?
04/24/2005Usage vs SystemSapir-Whorf again?
04/24/2005Coincidence?Sapir-Whorf again?
04/25/2005Anonymous attitudeWhy do they program in C++?
04/25/2005The record shows...Why do they program in C++?
04/26/2005Trade offs reduxWhy do they program in C++?
04/26/2005Play ball!Why do they program in C++?
04/26/2005Need to fix the </i>Why do they program in C++?
04/20/2005Astounding rangeQi 6.1 released
04/18/2005The moon is a pizzaOn the Unusual Effectiveness of Logic in Computer Science
04/20/2005Let's get hammeredOn the Unusual Effectiveness of Logic in Computer Science
04/21/2005Hair of the dogOn the Unusual Effectiveness of Logic in Computer Science
04/16/2005On the webIs EOPL available as an e-book anywhere?
04/15/2005Domain SpecificDenotational semantics of a DSL?
04/12/2005Language Problems?Links
04/12/2005Wrong level problemLinks
04/13/2005Security blanketLinks
04/09/2005Let DownLinks Slides
04/09/2005Radar LoveComputerworld Development Survey
04/10/2005Paging Dr. Darwin...Computerworld Development Survey
04/11/2005Primordial soupComputerworld Development Survey
04/10/2005Another takeComputerworld Development Survey
04/10/2005Simpler is not worseComputerworld Development Survey
04/10/2005Necessary condition?Computerworld Development Survey
04/11/2005The PLTer's curseComputerworld Development Survey
04/11/2005Blasts from the pastComputerworld Development Survey
04/05/2005Semantic EsperantoJon Udell: Languages and environments
04/06/2005Not all VMs are create equalJon Udell: Languages and environments
04/18/2005Maybe I should ask for a commission... ;-)Mechanics of designing and implementing a language
04/18/2005The middle wayMechanics of designing and implementing a language
04/18/2005Just the semantics, ma'amMechanics of designing and implementing a language
03/29/2005FP as a second languageexpressivity of "idiomatic C++"
03/30/2005Unilingual Perquisitesexpressivity of "idiomatic C++"
03/30/2005Pragmatismexpressivity of "idiomatic C++"
03/30/2005Dodo-egg Omeletteexpressivity of "idiomatic C++"
04/01/2005Number signs?expressivity of "idiomatic C++"
04/01/2005Back to drawing boardexpressivity of "idiomatic C++"
03/19/2005Different mathAccording to Allen Holub programming is now a liberal art. When did this happen?
03/21/2005Focused generalizationAccording to Allen Holub programming is now a liberal art. When did this happen?
03/21/2005ExpectationsAccording to Allen Holub programming is now a liberal art. When did this happen?
03/21/2005Who needs to be special?According to Allen Holub programming is now a liberal art. When did this happen?
03/21/2005Verification for softwareAccording to Allen Holub programming is now a liberal art. When did this happen?
03/22/2005EcstasyAccording to Allen Holub programming is now a liberal art. When did this happen?
03/23/2005Limited applicabilityAccording to Allen Holub programming is now a liberal art. When did this happen?
03/23/2005My, look at the time...According to Allen Holub programming is now a liberal art. When did this happen?
03/23/2005The almighty oracleAccording to Allen Holub programming is now a liberal art. When did this happen?
03/23/2005Does not computeAccording to Allen Holub programming is now a liberal art. When did this happen?
03/24/2005Last postAccording to Allen Holub programming is now a liberal art. When did this happen?
03/21/2005ProfessionalismAccording to Allen Holub programming is now a liberal art. When did this happen?
03/20/2005Dynamism that important?Reflection in Java: how are they getting with it?
03/21/2005Service OrientedGrady Booch: AOSD keynote
03/18/2005PL as social contractThe fate of reduce() in Python 3000
03/17/2005Thread tie-inThe POPLmark Challenge
03/17/2005Sgt. SchultzInside Software Factories
03/17/2005OscarInside Software Factories
03/22/2005TANSTAAFLWill Wright Presents Spore... and a New Way to Think About Games
03/22/2005Artists vs. Programmers Round 2Will Wright Presents Spore... and a New Way to Think About Games
03/22/2005Employment factorWill Wright Presents Spore... and a New Way to Think About Games
03/15/2005OCaml list responsesOCaml vs. C++ for Dynamic Programming
03/17/2005Eat your spinachOCaml vs. C++ for Dynamic Programming
03/18/2005'Weakly typed" is informalOCaml vs. C++ for Dynamic Programming
03/18/2005OCaml type violationOCaml vs. C++ for Dynamic Programming
03/18/2005Thanks!OCaml vs. C++ for Dynamic Programming
03/16/2005Relative PerformanceOCaml vs. C++ for Dynamic Programming
03/15/2005More holy warsInterview with Donald Knuth
03/15/2005Religious warsInterview with Donald Knuth
03/15/2005Original post is fineInterview with Donald Knuth
03/15/2005QuibbleA New Approach to Abstract Syntax with Variable Binding
03/16/2005Prior artA New Approach to Abstract Syntax with Variable Binding
03/09/2005Not really a parser problemExploiting parser ambiguity
03/09/2005Back to basicsExploiting parser ambiguity
03/10/2005Syntax graphsExploiting parser ambiguity
03/10/2005Example made plainExploiting parser ambiguity
03/09/2005Stop in the name of the Chomsky Hierarchy!Exploiting parser ambiguity
03/10/2005Multiple LayersExploiting parser ambiguity
03/11/2005Some questionsExploiting parser ambiguity
03/12/2005Block interpretationExploiting parser ambiguity
03/12/2005Vroom, vroomExploiting parser ambiguity
03/12/2005CompositionalExploiting parser ambiguity
03/12/2005CT for Dummies ;-)Exploiting parser ambiguity
03/13/2005Someone forgot to use < ;-)Exploiting parser ambiguity
03/10/2005Ouch, that hurt ;-)Exploiting parser ambiguity
03/10/2005First sim antics, then sin taxExploiting parser ambiguity
03/11/2005And the semantics goes to...Exploiting parser ambiguity
03/11/2005InterpretationExploiting parser ambiguity
03/11/2005BoundnessExploiting parser ambiguity
03/09/2005Hear, hear!Educational Pearl: Automata as Macros
03/09/2005Nice but...Educational Pearl: Automata as Macros
03/09/2005How domain-specific?Educational Pearl: Automata as Macros
03/10/2005A liquid analogyEducational Pearl: Automata as Macros
03/10/2005On the wagonEducational Pearl: Automata as Macros
03/10/2005DB exampleEducational Pearl: Automata as Macros
03/11/2005Trade offs: A novel ;-)Educational Pearl: Automata as Macros
03/11/2005Saving the companyEducational Pearl: Automata as Macros
03/11/2005A definition of meta-programmingEducational Pearl: Automata as Macros
03/09/2005Here's the spielEducational Pearl: Automata as Macros
03/10/2005GlasperlenspielEducational Pearl: Automata as Macros
03/10/2005More than one axisEducational Pearl: Automata as Macros
03/07/2005It is Kiczales...μABC: A Minimal Aspect Calculus
03/08/2005AOP vs. OOPμABC: A Minimal Aspect Calculus
03/08/2005e.g. ...μABC: A Minimal Aspect Calculus
03/08/2005Possible solutionsμABC: A Minimal Aspect Calculus
03/08/2005I do modularizeμABC: A Minimal Aspect Calculus
03/08/2005Well...μABC: A Minimal Aspect Calculus
03/08/2005Baloney! (Or whatever other sandwich meat you prefer ;-)μABC: A Minimal Aspect Calculus
03/09/2005Wrap upμABC: A Minimal Aspect Calculus
02/18/2005Whoa Nelly!What are The Atoms of Programming Languages?
02/18/2005Answer from other thread...What are The Atoms of Programming Languages?
02/21/2005A Methodological ProposalWhat are The Atoms of Programming Languages?
02/16/2005CTMBarbara Partee: Reflections of a Formal Semanticist as of Feb 2005
02/10/2005Break downStupid Question.
02/10/2005Rule of ThumbStupid Question.
02/10/2005Code generation is strong medicineCode Generation with Python, Cog, and Nant
02/10/2005Depends on the problemsCode Generation with Python, Cog, and Nant
02/10/2005Simple, not stupid ;-)Code Generation with Python, Cog, and Nant
02/11/2005Eff the ineffableCode Generation with Python, Cog, and Nant
02/11/2005Never met a meta...Code Generation with Python, Cog, and Nant
02/11/2005Time for the doctorCode Generation with Python, Cog, and Nant
02/13/2005The more specific the optimization, the less generalCode Generation with Python, Cog, and Nant
02/10/2005Performance and ImplementationACM Queue: A Conversation with Alan Kay
02/10/2005Pop Culture vs "Real" CultureACM Queue: A Conversation with Alan Kay
02/10/2005Red herrings by any other name taste good on toastACM Queue: A Conversation with Alan Kay
02/10/2005IbidACM Queue: A Conversation with Alan Kay
02/11/2005A different approachACM Queue: A Conversation with Alan Kay
02/11/2005Marketplace of ideasACM Queue: A Conversation with Alan Kay
02/11/2005Smalltalkers of the world unite! ;-)ACM Queue: A Conversation with Alan Kay
02/12/2005Intellectual Honesty Requires DiscussionACM Queue: A Conversation with Alan Kay
02/12/2005Lax or contrained?ACM Queue: A Conversation with Alan Kay
02/15/2005ZippyACM Queue: A Conversation with Alan Kay
02/15/2005No silver bulletACM Queue: A Conversation with Alan Kay
02/16/2005Death and taxesACM Queue: A Conversation with Alan Kay
02/16/2005Solutions in search of a problemACM Queue: A Conversation with Alan Kay
03/01/2005Petitio PrincipiiACM Queue: A Conversation with Alan Kay
03/01/2005Pick a kernel, any kernelACM Queue: A Conversation with Alan Kay
03/01/2005Magritte in itselfACM Queue: A Conversation with Alan Kay
03/16/2005Fermented juice of the sour grapeACM Queue: A Conversation with Alan Kay
02/07/2005An object lessonPython Optimization Surprises
02/06/2005A starting pointCTM wiki
02/06/2005Well there's a good start ;-)CTM wiki
02/03/2005Some ideas...A question for the theory guys
02/03/2005A step back...A question for the theory guys
02/04/2005A meaning is its own meaningA question for the theory guys
02/04/2005It's all CT, man ;-)A question for the theory guys
02/03/2005What is the problem, really?Avoiding worst case GC with large amounts of data?
02/03/2005Caveat programmatorAvoiding worst case GC with large amounts of data?
02/03/2005To each their proper domainAvoiding worst case GC with large amounts of data?
01/28/2005A different takeBitC, a new OS implementation language
01/24/2005Quality vs. Popularity"Popular vs. Good" in Programming Languages
01/26/2005How does O'Caml do it?"Popular vs. Good" in Programming Languages
01/26/2005Implementation vs. Specification"Popular vs. Good" in Programming Languages
01/20/2005Let's do the Timewarp again...OOP Is Much Better in Theory Than in Practice
01/21/2005Flaming is easier than reading papers ;-)OOP Is Much Better in Theory Than in Practice
01/12/2005You're both wrong! ;-)Ian Bicking: The challenge of metaprogramming
02/06/2005Declarative concurrency in JavaThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
02/06/2005Type safetyThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
02/06/2005Java limitationsThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
02/06/2005Duelling dualsThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
02/06/2005Concurrent TestingThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
02/06/2005Dataflow variable vs. single-assignment variableThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
12/22/2004LtU should stick to PLs...the Chinese natual language
12/27/2004Li and Thompsonthe Chinese natual language
11/28/2004Another way to look at itDenotational Semantics: A Methodology for Language Development
11/05/2004Different obviousDesign By Contract in C
10/08/2004Static Exceptions?Ken Shan: Shift to Control
10/08/2004Swing your partner round and round...Ken Shan: Shift to Control
10/05/2004GC doesn't program for youJ2SE 5.0 released
09/30/2004Continuations or wait loop?Using continuations for web programming
09/29/2004Bark at the moon"The Silver Bullet"
09/28/2004Big and lumbering or small and nimble?Java and coolness, a discussion
09/21/2004Free the contexts!Questions about Semantics.
09/24/2004Two-level grammar and Chomsky HierarchyQuestions about Semantics.
09/20/2004If I could, I would... let it goDijkstra on analogies and anthropomorphism
09/21/2004Furi KuriDijkstra on analogies and anthropomorphism
09/23/2004Read or die!Dijkstra on analogies and anthropomorphism
09/24/2004Shadow over InnsmouthDijkstra on analogies and anthropomorphism
09/21/2004A dove is a pigeon with good PRDijkstra on analogies and anthropomorphism
09/17/2004Bread and Circuses"... because common people think like so-and-so..."
09/19/2004Party on, Frank"... because common people think like so-and-so..."
09/19/2004If it's no' Scottish, it's crap"... because common people think like so-and-so..."
09/20/2004Turing madness"... because common people think like so-and-so..."
09/20/2004Oh the humanity!"... because common people think like so-and-so..."
09/13/2004All romantics are undisillusioned cynicsMore from Udell on typing
09/13/2004Values are more than packagingMore from Udell on typing
09/15/2004Haskell is a scripting languageMore from Udell on typing
09/03/2004Third Sign of the ApocalypsePLaneT
09/08/2004Du musst dein Leben ändernPLaneT
09/13/2004One branch per nodeTree programming languages
08/22/2004Problem with postingProblem with posting
08/21/2004Backwards implicationNew result re "linguistic determinism"
08/22/2004Mathematics are a technologyNew result re "linguistic determinism"
08/22/2004Let's return to PLs for a secondNew result re "linguistic determinism"
08/22/2004Not my argumentNew result re "linguistic determinism"
08/22/2004HL ExpressivenessNew result re "linguistic determinism"
08/22/2004Re: OT SemioticsNew result re "linguistic determinism"
08/22/2004"Need" means willing to pay the price...New result re "linguistic determinism"
08/24/2004Plus que ca change...New result re "linguistic determinism"
08/22/2004Are you joking?New result re "linguistic determinism"
08/22/2004Talking doe not equal understandingNew result re "linguistic determinism"
08/22/2004Still backwards implicationNew result re "linguistic determinism"
08/22/2004You are not talking about Sapir-WhorfNew result re "linguistic determinism"
08/22/2004Counting is a technologyNew result re "linguistic determinism"
08/22/2004Do they count?New result re "linguistic determinism"
08/15/2004Rhetorically compelling does not equal trueNew Paul Graham thing...
08/18/2004Academic = Hacker?New Paul Graham thing...
08/18/2004Then Haskell is a blue whale...New Paul Graham thing...
08/18/2004Newbies are people too (just barely... ;-))New Paul Graham thing...
08/09/2004Boy that worked well....Why type systems are interesting - part II
08/12/2004Really a problem?Why type systems are interesting - part II
07/26/2004Two thingsJDeveloperAOP
07/27/2004UML amigos seem keenJDeveloperAOP
08/05/2004Inconsistency by inhabitation?Why type systems are interesting
08/05/2004I see where I went wrong...Why type systems are interesting
09/26/2004Good metaphorsExplaining monads
09/27/2004You must walk before you can run...Explaining monads
12/04/2006Formalizing intuitionUnderstanding continuations
12/05/2006Symbol SlingerUnderstanding continuations
11/18/2006Are we talking to ourselves?Understanding continuations
11/18/2006What's this "we" stuff, kemosabe?Understanding continuations
11/19/2006Meeting the audienceUnderstanding continuations
11/19/2006Hatching a SchemeUnderstanding continuations
11/21/2006Hold the spaghettiUnderstanding continuations
07/09/2004Sinister ThoughtsUser profiles
07/08/2004Spurious GeneralityDatabase Abstraction Layers and Programming Languages
07/08/2004Uncomplimentary?Database Abstraction Layers and Programming Languages
07/09/2004ApologiesDatabase Abstraction Layers and Programming Languages
07/09/2004An example structureDatabase Abstraction Layers and Programming Languages
07/09/2004'Cause we have to...Database Abstraction Layers and Programming Languages
07/09/2004Enterprise ArchitectureDatabase Abstraction Layers and Programming Languages
07/09/2004Two featuresSlashdot: "Favourite Programming Language Features?"
06/29/2004Re: "Proofs from the Book"Enumerating the Rationals
06/30/2004Proofs Missing From the BookEnumerating the Rationals
06/29/2004Overloaded Semantics for 'Semantics'The DSL, MDA, UML thing again...
06/30/2004The fruits of punditryPragmatic Programmers Interview
07/01/2004A Modest Claim...Pragmatic Programmers Interview
07/01/2004A Communication ChallengePragmatic Programmers Interview
06/28/2004Cutting edge interpretersPoplog
06/26/2004CT SubsetElementary Category Theory
06/26/2004Iso BluesElementary Category Theory
06/25/2004Pascal's Pensees on XMLFabian Pascal on XQuery
06/26/2004Poor Public RelationsFabian Pascal on XQuery
06/26/2004Graph angstFabian Pascal on XQuery
06/27/2004Vectors?Is "type" a fundamental intrinsic property of values?
06/27/2004We're mainly interested in the solution domain around here...Is "type" a fundamental intrinsic property of values?
06/23/2004Denotational Semantics UnleashedSome stupid questions on denotational semantics
06/23/2004Dubious QuoteIn the Spirit of C
06/21/2004Re:TDDInteractive Programming
06/14/2004Re: Extensible Code Generation with JavaExtensible Code Generation with Java
05/25/2004Re: Turing completeness is not?Turing completeness is not?
05/26/2004Re: Turing completeness is not?Turing completeness is not?
06/01/2004Re: The Case for First Class MessagesThe Case for First Class Messages
06/08/2004Re: The Case for First Class MessagesThe Case for First Class Messages
06/10/2004Re: The Case for First Class MessagesThe Case for First Class Messages
06/10/2004Re: The Case for First Class MessagesThe Case for First Class Messages
06/11/2004Re: The Case for First Class MessagesThe Case for First Class Messages
04/27/2004Re: Udell: Radical software customizationUdell: Radical software customization
04/27/2004Re: Udell: Radical software customizationUdell: Radical software customization
04/12/2004Re: Draining the Language out of ColorDraining the Language out of Color
04/12/2004Re: Dating Design PatternsDating Design Patterns
04/13/2004Re: Dating Design PatternsDating Design Patterns
03/28/2004Re: Dying TonguesDying Tongues
03/29/2004Re: Dying TonguesDying Tongues
03/29/2004Re: Dying TonguesDying Tongues
03/29/2004Re: Dying TonguesDying Tongues
03/29/2004Re: Dying TonguesDying Tongues
03/29/2004Re: Dying TonguesDying Tongues
03/30/2004Re: Dying TonguesDying Tongues
03/30/2004Re: Dying TonguesDying Tongues
03/31/2004Re: Dying TonguesDying Tongues
04/01/2004Re: Dying TonguesDying Tongues
04/01/2004Re: Dying TonguesDying Tongues
04/02/2004Re: Dying TonguesDying Tongues
04/02/2004Re: Dying TonguesDying Tongues
03/12/2004Re: Bruce Eckel on Java genericsBruce Eckel on Java generics
03/09/2004Re: Categories for EverybodyCategories for Everybody
02/01/2004Re: New Scientist interview with Alexandra AikhenvaldNew Scientist interview with Alexandra Aikhenvald
02/01/2004Re: New Scientist interview with Alexandra AikhenvaldNew Scientist interview with Alexandra Aikhenvald
02/01/2004Re: New Scientist interview with Alexandra AikhenvaldNew Scientist interview with Alexandra Aikhenvald
02/02/2004Re: New Scientist interview with Alexandra AikhenvaldNew Scientist interview with Alexandra Aikhenvald
02/02/2004Re: New Scientist interview with Alexandra AikhenvaldNew Scientist interview with Alexandra Aikhenvald
02/04/2004Re: New Scientist interview with Alexandra AikhenvaldNew Scientist interview with Alexandra Aikhenvald
02/04/2004Re: New Scientist interview with Alexandra AikhenvaldNew Scientist interview with Alexandra Aikhenvald
02/06/2004Re: New Scientist interview with Alexandra AikhenvaldNew Scientist interview with Alexandra Aikhenvald
01/24/2004Re: The Lambda ethosThe Lambda ethos
12/14/2003Re: 100 prisoners and a light bulb100 prisoners and a light bulb
12/14/2003Re: 100 prisoners and a light bulb100 prisoners and a light bulb
12/15/2003Re: 100 prisoners and a light bulb100 prisoners and a light bulb
12/15/2003Re: 100 prisoners and a light bulb100 prisoners and a light bulb
12/07/2003Re: A Clockwork Orange: NadsatA Clockwork Orange: Nadsat
12/07/2003Re: A Clockwork Orange: NadsatA Clockwork Orange: Nadsat
12/07/2003Re: A Clockwork Orange: NadsatA Clockwork Orange: Nadsat
12/07/2003Re: A Clockwork Orange: NadsatA Clockwork Orange: Nadsat
12/07/2003Re: A Clockwork Orange: NadsatA Clockwork Orange: Nadsat
12/07/2003Re: A Clockwork Orange: NadsatA Clockwork Orange: Nadsat
12/07/2003Re: A Clockwork Orange: NadsatA Clockwork Orange: Nadsat
12/08/2003Re: A Clockwork Orange: NadsatA Clockwork Orange: Nadsat
12/12/2003Re: A Clockwork Orange: NadsatA Clockwork Orange: Nadsat
11/16/2003Re: A Survey of Object-Oriented ConceptsA Survey of Object-Oriented Concepts
11/16/2003Re: A Survey of Object-Oriented ConceptsA Survey of Object-Oriented Concepts
11/16/2003Re: A Survey of Object-Oriented ConceptsA Survey of Object-Oriented Concepts
11/16/2003Re: Notes on Programming in CNotes on Programming in C
11/16/2003Re: Notes on Programming in CNotes on Programming in C
11/16/2003Re: Notes on Programming in CNotes on Programming in C
11/16/2003Re: Notes on Programming in CNotes on Programming in C
11/16/2003Re: Notes on Programming in CNotes on Programming in C
11/19/2003Re: Notes on Programming in CNotes on Programming in C
11/16/2003Re: Introducing ContinuationsIntroducing Continuations
11/17/2003Re: Introducing ContinuationsIntroducing Continuations
11/11/2003Re: Coalgebraic Reasoning about Classes in Object-Oriented LanguagesCoalgebraic Reasoning about Classes in Object-Oriented Languages
11/03/2003Re: Nonalgorithmic programmingNonalgorithmic programming
11/04/2003Re: Nonalgorithmic programmingNonalgorithmic programming
11/02/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/02/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/02/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/02/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/03/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/05/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/05/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
10/29/2003Re: X2EE Revamps J2EEX2EE Revamps J2EE
10/25/2003Re: State and modularityState and modularity
10/27/2003Re: State and modularityState and modularity
10/21/2003Re: Peter Van Roy here on LtUPeter Van Roy here on LtU
10/20/2003Re: B. Stroustrup: Serving the C++ CommunityB. Stroustrup: Serving the C++ Community
10/20/2003Re: B. Stroustrup: Serving the C++ CommunityB. Stroustrup: Serving the C++ Community
10/21/2003Re: B. Stroustrup: Serving the C++ CommunityB. Stroustrup: Serving the C++ Community
10/21/2003Re: B. Stroustrup: Serving the C++ CommunityB. Stroustrup: Serving the C++ Community
10/21/2003Re: B. Stroustrup: Serving the C++ CommunityB. Stroustrup: Serving the C++ Community
10/21/2003Re: B. Stroustrup: Serving the C++ CommunityB. Stroustrup: Serving the C++ Community
10/21/2003Re: B. Stroustrup: Serving the C++ CommunityB. Stroustrup: Serving the C++ Community
10/22/2003Re: B. Stroustrup: Serving the C++ CommunityB. Stroustrup: Serving the C++ Community
10/13/2003Re: Stroustrup's C++ Style Sweet SpotStroustrup's C++ Style Sweet Spot
10/13/2003Re: Stroustrup's C++ Style Sweet SpotStroustrup's C++ Style Sweet Spot
10/13/2003Re: A Revolution in Logic?A Revolution in Logic?
10/13/2003Re: A Revolution in Logic?A Revolution in Logic?
10/13/2003Re: A Revolution in Logic?A Revolution in Logic?
10/14/2003Re: A Revolution in Logic?A Revolution in Logic?
10/13/2003Re: A gentle introduction to TLG, the Curry-Howard correspondence, and cut-eliminationA gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination
10/13/2003Re: A gentle introduction to TLG, the Curry-Howard correspondence, and cut-eliminationA gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination
10/16/2003Re: A gentle introduction to TLG, the Curry-Howard correspondence, and cut-eliminationA gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination
10/05/2003Re: "Proofs and Types" available online"Proofs and Types" available online
10/02/2003Re: Tuples + Objects + Infosets =Too Much Stuff!Tuples + Objects + Infosets =Too Much Stuff!
10/04/2003Re: Tuples + Objects + Infosets =Too Much Stuff!Tuples + Objects + Infosets =Too Much Stuff!
10/05/2003Re: Tuples + Objects + Infosets =Too Much Stuff!Tuples + Objects + Infosets =Too Much Stuff!
10/05/2003Re: Tuples + Objects + Infosets =Too Much Stuff!Tuples + Objects + Infosets =Too Much Stuff!
10/05/2003Re: Tuples + Objects + Infosets =Too Much Stuff!Tuples + Objects + Infosets =Too Much Stuff!
10/05/2003Re: Tuples + Objects + Infosets =Too Much Stuff!Tuples + Objects + Infosets =Too Much Stuff!
10/06/2003Re: Tuples + Objects + Infosets =Too Much Stuff!Tuples + Objects + Infosets =Too Much Stuff!
10/06/2003Re: Tuples + Objects + Infosets =Too Much Stuff!Tuples + Objects + Infosets =Too Much Stuff!
10/01/2003Re: OO Best Feature PollOO Best Feature Poll
10/07/2003Re: OO Best Feature PollOO Best Feature Poll
10/07/2003Re: OO Best Feature PollOO Best Feature Poll
10/07/2003Re: OO Best Feature PollOO Best Feature Poll
10/07/2003Re: OO Best Feature PollOO Best Feature Poll
10/08/2003Re: OO Best Feature PollOO Best Feature Poll
10/08/2003Re: OO Best Feature PollOO Best Feature Poll
09/30/2003Re: Moving Away From XSLTMoving Away From XSLT
09/07/2003Re: Implementing Business Rules in the BC4J FrameworkImplementing Business Rules in the BC4J Framework
09/07/2003Re: Implementing Business Rules in the BC4J FrameworkImplementing Business Rules in the BC4J Framework
09/07/2003Re: Implementing Business Rules in the BC4J FrameworkImplementing Business Rules in the BC4J Framework
09/08/2003Re: Implementing Business Rules in the BC4J FrameworkImplementing Business Rules in the BC4J Framework
09/08/2003Re: Implementing Business Rules in the BC4J FrameworkImplementing Business Rules in the BC4J Framework
09/03/2003Re: Why don't more people use Prolog?Why don't more people use Prolog?
09/04/2003Re: Why don't more people use Prolog?Why don't more people use Prolog?
09/04/2003Re: Why don't more people use Prolog?Why don't more people use Prolog?
08/29/2003Re: The Little Haskellist (once again)The Little Haskellist (once again)
08/12/2003Re: Calculating Functional Programs: maximum segment sumCalculating Functional Programs: maximum segment sum
08/12/2003Re: Calculating Functional Programs: maximum segment sumCalculating Functional Programs: maximum segment sum
08/14/2003Re: Calculating Functional Programs: maximum segment sumCalculating Functional Programs: maximum segment sum
08/14/2003Re: Calculating Functional Programs: maximum segment sumCalculating Functional Programs: maximum segment sum
08/06/2003Re: How to make a FPL successfulHow to make a FPL successful
08/07/2003Re: How to make a FPL successfulHow to make a FPL successful
08/08/2003Re: How to make a FPL successfulHow to make a FPL successful
08/10/2003Re: How to make a FPL successfulHow to make a FPL successful
08/11/2003Re: How to make a FPL successfulHow to make a FPL successful
08/11/2003Re: How to make a FPL successfulHow to make a FPL successful
08/11/2003Re: How to make a FPL successfulHow to make a FPL successful
08/04/2003Re: Udell: Test before you leap into developmentUdell: Test before you leap into development
08/04/2003Re: Udell: Test before you leap into developmentUdell: Test before you leap into development
08/07/2003Re: Udell: Test before you leap into developmentUdell: Test before you leap into development
08/11/2003Re: Udell: Test before you leap into developmentUdell: Test before you leap into development
08/04/2003Re: JDO ArchitecturesJDO Architectures
08/04/2003Re: JDO ArchitecturesJDO Architectures
08/04/2003Re: JDO ArchitecturesJDO Architectures
08/04/2003Re: JDO ArchitecturesJDO Architectures
08/05/2003Re: JDO ArchitecturesJDO Architectures
08/05/2003Re: JDO ArchitecturesJDO Architectures
08/05/2003Re: JDO ArchitecturesJDO Architectures
08/05/2003Re: JDO ArchitecturesJDO Architectures
08/05/2003Re: JDO ArchitecturesJDO Architectures
08/05/2003Re: JDO ArchitecturesJDO Architectures
08/05/2003Re: JDO ArchitecturesJDO Architectures
08/05/2003Re: JDO ArchitecturesJDO Architectures
08/05/2003Re: JDO ArchitecturesJDO Architectures
08/06/2003Re: JDO ArchitecturesJDO Architectures
08/06/2003Re: JDO ArchitecturesJDO Architectures
08/07/2003Re: JDO ArchitecturesJDO Architectures
08/04/2003Re: Calling LtU editorsCalling LtU editors
08/04/2003Re: Calling LtU editorsCalling LtU editors
07/28/2003Re: Gregor Kiczales on Aspect Oriented ProgrammingGregor Kiczales on Aspect Oriented Programming
07/29/2003Re: Gregor Kiczales on Aspect Oriented ProgrammingGregor Kiczales on Aspect Oriented Programming
07/27/2003Re: The Little MLerThe Little MLer
07/28/2003Re: The Little MLerThe Little MLer
07/29/2003Re: The Little MLerThe Little MLer
07/29/2003Re: The Little MLerThe Little MLer
07/29/2003Re: The Little MLerThe Little MLer
07/29/2003Re: The Little MLerThe Little MLer
07/29/2003Re: The Little MLerThe Little MLer
07/30/2003Re: The Little MLerThe Little MLer
07/30/2003Re: The Little MLerThe Little MLer
07/30/2003Re: The Little MLerThe Little MLer
08/04/2003Re: The Little MLerThe Little MLer
07/24/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/24/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/24/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/24/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/24/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/24/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/24/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/24/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/24/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/24/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/25/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/25/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/25/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/26/2003Re: Java Is a Language for the MassesJava Is a Language for the Masses
07/22/2003Re: Are delegates the moniker of .NET?Are delegates the moniker of .NET?
07/22/2003Re: Are delegates the moniker of .NET?Are delegates the moniker of .NET?
07/22/2003Re: Are delegates the moniker of .NET?Are delegates the moniker of .NET?
07/20/2003Re: Windows security flaw - buffer-overflowWindows security flaw - buffer-overflow
07/20/2003Re: Windows security flaw - buffer-overflowWindows security flaw - buffer-overflow
07/20/2003Re: Windows security flaw - buffer-overflowWindows security flaw - buffer-overflow
07/18/2003Re: Adaptation in HOT LanguagesAdaptation in HOT Languages
07/17/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/17/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/17/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/17/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/17/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/18/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/18/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/18/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/18/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/19/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/20/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/20/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/20/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/20/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/17/2003Re: Godiva - a Very High Level Dialect of JavaGodiva - a Very High Level Dialect of Java
07/17/2003Re: Godiva - a Very High Level Dialect of JavaGodiva - a Very High Level Dialect of Java
07/18/2003Re: Godiva - a Very High Level Dialect of JavaGodiva - a Very High Level Dialect of Java
07/15/2003Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/15/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/15/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/15/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/16/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/17/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/17/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/17/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/17/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/17/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/17/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/17/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/17/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/17/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/17/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/17/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/17/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/17/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/18/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/18/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/19/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/20/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/20/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/20/2003Re: Are Higher-Order Type Systems Too Hard?Are Higher-Order Type Systems Too Hard?
07/15/2003Programming LinguisticsProgramming Linguistics
07/16/2003Re: Programming LinguisticsProgramming Linguistics
07/16/2003Re: Programming LinguisticsProgramming Linguistics
07/17/2003Re: Programming LinguisticsProgramming Linguistics
07/14/2003Re: Category Theory for Beginners (slides)Category Theory for Beginners* (slides)
07/15/2003Re: Category Theory for Beginners (slides)Category Theory for Beginners* (slides)
07/15/2003Re: Category Theory for Beginners (slides)Category Theory for Beginners* (slides)
07/15/2003Re: Category Theory for Beginners (slides)Category Theory for Beginners* (slides)
07/16/2003Re: Category Theory for Beginners (slides)Category Theory for Beginners* (slides)
07/16/2003Re: Category Theory for Beginners (slides)Category Theory for Beginners* (slides)
07/14/2003Re: Neal Stephenson's USENIX keynoteNeal Stephenson's USENIX keynote
07/14/2003Re: Neal Stephenson's USENIX keynoteNeal Stephenson's USENIX keynote
07/14/2003Re: Neal Stephenson's USENIX keynoteNeal Stephenson's USENIX keynote
07/15/2003Re: Neal Stephenson's USENIX keynoteNeal Stephenson's USENIX keynote
07/12/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/13/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/13/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/13/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/14/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/14/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/14/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/14/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/14/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/14/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/14/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/22/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/08/2003Re: Web Services Federation Language (WS-Federation)Web Services Federation Language (WS-Federation)
07/09/2003Re: Web Services Federation Language (WS-Federation)Web Services Federation Language (WS-Federation)
07/04/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/04/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/06/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/06/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/06/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/06/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/07/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/07/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/08/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/09/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/10/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/11/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
06/28/2003Re: Perl 6 Design PhilosophyPerl 6 Design Philosophy
07/02/2003Re: Perl 6 Design PhilosophyPerl 6 Design Philosophy
07/03/2003Re: Perl 6 Design PhilosophyPerl 6 Design Philosophy
04/22/2003Re: LojbanLojban
04/24/2003Re: LojbanLojban
02/17/2003Re: Evolution of Indo-European Languages using ASPEvolution of Indo-European Languages using ASP
08/16/2003Re: The Charity LanguageThe Charity Language
08/16/2003Re: The Charity LanguageThe Charity Language
08/16/2003Re: The Charity LanguageThe Charity Language
08/17/2003Re: The Charity LanguageThe Charity Language
08/17/2003Re: The Charity LanguageThe Charity Language
08/18/2003Re: The Charity LanguageThe Charity Language

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive


Chris Rathman/ Chris.Rathman@tx.rr.com