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

Posts By: Frank Atanassow

  Date    Post    Topic  
07/01/2010Representation /= semanticsEvocative metaphor
06/29/2010Phase distinctionEvocative metaphor
06/26/2010DisappointedXtext: An IDE on the cheap
06/26/2010Plug-in framework, not XtextXtext: An IDE on the cheap
06/27/2010So TMs /= untyped LC...?SF-calculus
06/29/2010You don't need to appeal to a different evaluation order.SF-calculus
06/29/2010Unconvinced, but gratefulSF-calculus
06/30/2010OK, but...SF-calculus
06/26/2010Coq, Agda, etc.?A lambda calculus with arbitrary set primitives
06/26/2010Well, not quite.A lambda calculus with arbitrary set primitives
06/26/2010Conservative extensionA lambda calculus with arbitrary set primitives
06/29/2010I still don't think that isA lambda calculus with arbitrary set primitives
06/29/2010Uncountables unavailable.A lambda calculus with arbitrary set primitives
07/01/2010Neat.A lambda calculus with arbitrary set primitives
06/25/2010Established canonWhy Undergraduates Should Learn the Principles of Programming Languages
06/26/2010Lambda-calculi with mutable state, etc.Why Undergraduates Should Learn the Principles of Programming Languages
06/26/2010Stepping stonesWhy Undergraduates Should Learn the Principles of Programming Languages
06/26/2010I'm with Dijkstra.Why Undergraduates Should Learn the Principles of Programming Languages
06/27/2010Leadership = humility?Why Undergraduates Should Learn the Principles of Programming Languages
06/30/2010DichotomyWhy Undergraduates Should Learn the Principles of Programming Languages
06/30/2010Why Undergraduates Should Learn the Principles of Programming LanguagesWhy Undergraduates Should Learn the Principles of Programming Languages
07/01/2010Various repliesWhy Undergraduates Should Learn the Principles of Programming Languages
06/20/2010Conference paperA Theory of Typed Hygienic Macros
06/20/2010Maybe it's time for a facelift.happy rebirth day, LtU NG!
06/21/2010It's just a stock Drupalhappy rebirth day, LtU NG!
06/19/2010CBV diverges strictly more often.Looking for a proof that eager reduction is as strong as lazy reduction
06/14/2010Neat.C-Machine
06/07/2010Look at Wadler's papers onData schema languages
06/11/2010WellData schema languages
06/11/2010List monoidAlgebraic
06/11/2010Some sketchy definitionsAlgebraic
06/10/2010Transparent loggingSeeking thoughtful criticisms of functional programming and languages
06/11/2010Who hurt you?Seeking thoughtful criticisms of functional programming and languages
06/15/2010AtanassowismseL4: Formal Verification of an Operating-System Kernel
06/22/2010I know you are joking, but...seL4: Formal Verification of an Operating-System Kernel
06/22/2010Context-rotseL4: Formal Verification of an Operating-System Kernel
06/22/2010Blah blah blah bit rot blah blah blahseL4: Formal Verification of an Operating-System Kernel
06/24/2010Last remarkseL4: Formal Verification of an Operating-System Kernel
06/22/2010Alternative solutionseL4: Formal Verification of an Operating-System Kernel
06/22/2010Hold yourself to the same standard.seL4: Formal Verification of an Operating-System Kernel
06/19/2010Down with Reflection! *On the (Alleged) Value of Proof for Assurance
06/10/2010Tracing JIT reference?Have tracing JIT compilers won?
06/11/2010Some remarksplt vs. something else for programming in the large?
06/15/2010The Dream of Leibnizplt vs. something else for programming in the large?
11/28/2007Filinski's dissertationA survey and discussion of taming effects
11/21/2007Re: WolframWhat are the properties of "Functional Programming Languages"?
11/18/2007Huh?Well-typed programs can't be blamed
11/02/2007I commented on this...The simplest mechanism with Turing-equivalent power to date ...
11/03/2007Thank you, kindly.The simplest mechanism with Turing-equivalent power to date ...
03/23/20072-categories and catastrophe theoryA Topos Foundation for Theories of Physics
03/21/2007Dumbass!Order of the Science Scouts Badges
11/20/2006That is not dead, which can eternal lie...if Records - Labels = Tuples then Rows - Labels = what?
07/09/2006For the record: Marc andCommunity enforcement discussion
07/09/2006Normal "order"Programming Languages and Lambda Calculi
07/05/2006Look before you leap.Lexical structure of scripting languages
07/01/2006Bite your tongue!Amusing question
07/02/2006Science not philosophyAmusing question
07/02/2006Science versus philosophyAmusing question
07/01/2006HDA3Amusing question
07/01/2006Links: passing the buckLtU: Policies document
06/16/2006Philippa's right.Why only 'minimal' languages
06/14/2006Dynamism, Legacy of the VisigothsHLVM - High Level Virtual Machine toolkit for dynamic languages
06/10/2006Inform 7: A relational DSL for interactive fiction with natural language syntaxInform 7: A relational DSL for interactive fiction with natural language syntax
06/10/2006Ah, my error.Inform 7: A relational DSL for interactive fiction with natural language syntax
06/10/2006A few commentsInform 7: A relational DSL for interactive fiction with natural language syntax
06/11/2006ImpressionsInform 7: A relational DSL for interactive fiction with natural language syntax
06/11/2006Freedom of speech => duty to accept criticismLtU: blog not forum!
06/10/2006Harrumph.Joshua Bloch: "Nearly All Binary Searches Broken"
06/09/2006Personally I think there areJoshua Bloch: "Nearly All Binary Searches Broken"
06/08/2006blah blah blah dependency injection blah blah blahRelevance of Curry-Howard
06/09/2006Coalgebraic modelsRelevance of Curry-Howard
06/09/2006BialgebrasRelevance of Curry-Howard
06/04/2006From my point of view, CH isRelevance of Curry-Howard
06/05/2006That old saw...Relevance of Curry-Howard
06/06/2006Let's assume there is a typeRelevance of Curry-Howard
06/06/2006Hank:Relevance of Curry-Howard
06/09/2006Martin HofmannRelevance of Curry-Howard
06/09/2006Andris:Relevance of Curry-Howard
06/16/2006Your deepest desires: on screwingFirst Class Values, Types as values within a Programming Language
05/26/2006AuthorsSyntax, Semantics and all that Stuff
06/09/2006Bug?Editing posts
05/09/2006Thanks. This is of interestThe three dimensions of proofs
05/05/2006Re: Isos, etc.What do you believe about Programming Languages (that you can't prove (yet))?
02/02/2006Monads in classical mathematicsWhat is a monad, why should I use it, and when is it appropriate?
01/14/2006Partial function applicationNew for Python 2.5
01/14/2006Source CodeWhat is considered source code?
01/17/2006GeekismsWhat is considered source code?
01/02/2006By-products (not biproducts)Joel Spolsky views on CS education
12/22/2005"Type wars"Beyond "Beyond Java" etc.
12/13/2005ListsTop N Papers 2005
12/13/2005My mistakeTop N Papers 2005
12/09/2005Reflective OCamlTypes and reflection
12/06/2005InterpreterFormal Frustration...
11/30/2005Categorial grammarDo we talk types over the phone?
11/29/2005Concurrency and stateNetwork Transparent languages
11/04/2005I find friendly people suspicious.A + b * c in Brian Meek's "The static semantics file"
11/03/2005An answerElegant Method of binding a function variable
10/28/2005Different advantagesJust What is it that Makes Martin-Lof's Type Theory so Different, so Appealing?
10/27/2005Why lists? Five reasons.Why Lists?
10/20/2005MitchellSelfish reference begging
09/27/2005Natural recursion? Recursion in nature!What is Intuitive?
09/28/2005My neighbors suck.What is Intuitive?
09/28/2005GedankenexperimentWhat is Intuitive?
12/07/2005The AnswerWhat is Intuitive?
09/27/2005Calculational category theoryCategory theory
09/01/2005PLT OnlineA section on Books
08/23/2005My carpets are known the world over.Ivory Towers and Gelfand's Principle
08/13/2005'Information and Computation' Open Access'Information and Computation' Open Access
08/13/2005More online journals'Information and Computation' Open Access
08/11/2005PLT Online booksConcrete Abstractions on the web
08/13/2005OK.Concrete Abstractions on the web
08/14/2005LtU linksConcrete Abstractions on the web
08/02/2005A Case for Formal SpecificationA Case for Formal Specification
07/05/2005Graphical languages are better for small programs.Martin Fowler on Language Workbenches and DSLs
07/07/2005Graphics versus textMartin Fowler on Language Workbenches and DSLs
07/10/2005HeresyMartin Fowler on Language Workbenches and DSLs
07/06/2005Infosets"typed" files OR xml OR meta information for delim. files.
06/30/2005My methodOrganizing papers...
07/07/2005JabRefOrganizing papers...
05/22/2006RTFAJavaScript 2.0: Evolving a Language for Evolving Systems
06/12/2005Theorem proving with FPA question I have been meaning to ask.
05/19/2005SNAFUFunny characters inference
06/04/2006Some words of advice on language designLet's make a programming language!
06/05/2006Re: ArrowLet's make a programming language!
06/05/2006If syntax is unimportantLet's make a programming language!
05/03/2005Gag!Call for Papers: ACM Symposium on Dynamic Languages
04/12/2005Citation?Dominus talks about HO Perl
04/07/2005Myths and ideology in programmingexpressivity of "idiomatic C++"
03/22/2005And "reflective"Script Vs Java
03/19/2005Slashdot mentalityAccording to Allen Holub programming is now a liberal art. When did this happen?
03/21/2005SpecializationAccording to Allen Holub programming is now a liberal art. When did this happen?
03/22/2005TrainspottingAccording to Allen Holub programming is now a liberal art. When did this happen?
03/21/2005CommercializationAccording to Allen Holub programming is now a liberal art. When did this happen?
03/10/2005Notational abuseExploiting parser ambiguity
03/11/2005fooExploiting parser ambiguity
03/14/2005GibbletsExploiting parser ambiguity
03/09/2005Feature interactionμABC: A Minimal Aspect Calculus
03/09/2005ResearchersOpen problems in category theory and computing science
02/10/2005Mumble, mumble, mumbleStupid Question.
02/03/2005"Damn your mighty word probe!"A question for the theory guys
02/01/2005Das Ende aller DingeNeologism
12/14/2004Two centsLazy evaulation and combining user streams
12/07/2004More light, less heatDefinition of Type
12/08/2004On types and masturbationDefinition of Type
12/02/2004Here among the rock and reel / Let us settle, steel to steel!LL4 Program and Abstracts
12/03/2004But the HAND...!LL4 Program and Abstracts
10/27/2004UtrechtGrad School [Master's Programs]
10/24/2004Thumbs up.What's a definition of "type" that beginners can understand?
10/16/2004Even his record doesn't match his record.Language design: Escaping escapes
10/19/2004Take my wife, please!Language design: Escaping escapes
10/07/2004It's hard work.Research ethics
10/07/2004Nanoo-nanoo.Templates vs. Generics
10/04/2004Ad majorem dei gloriamShoot-out: most annoying compiler error message
10/04/2004Who's da man?Shoot-out: most annoying compiler error message
10/04/2004Ich bin kein Berliner.Will Kodak kill Java?
09/25/2004Just imagine the Hawaii Five-O theme.Great Works in Programming Languages
09/24/2004Amazon women, on the moon!References for Beginners in PL Theory
09/21/2004Left adjoints preserve colimits; right adjoints, limits.A tutorial on graph transformation
09/23/2004In vino veritas.A tutorial on graph transformation
09/21/2004You can't make an omelette without breaking some eggs.Questions about Semantics.
09/23/2004I am running out of titles...Questions about Semantics.
09/26/2004Algebraic Singularities, Finite Graphs & D-Brane Gauge TheoriesQuestions about Semantics.
09/20/2004Dijkstra on analogies and anthropomorphismDijkstra on analogies and anthropomorphism
09/20/2004This sowng is not a rebel sowng.Dijkstra on analogies and anthropomorphism
09/21/2004Take-chan-man desu!Dijkstra on analogies and anthropomorphism
09/23/2004Komanechi!Dijkstra on analogies and anthropomorphism
09/24/2004Masque of the Read DeathDijkstra on analogies and anthropomorphism
09/25/2004Thank you for your manuscript; I'll waste no time reading it.Dijkstra on analogies and anthropomorphism
09/21/2004A foolish consistency is the hobgoblin of small minds.Dijkstra on analogies and anthropomorphism
09/17/2004I stubbed my little toe."... because common people think like so-and-so..."
09/18/2004Might I suggest the salad, sir?"... because common people think like so-and-so..."
09/19/2004Shuh-wing!"... because common people think like so-and-so..."
09/19/2004I am Lothar of the Hill People!"... because common people think like so-and-so..."
09/17/2004What's the color of a two-cent piece? Copper, copper...Looking for Classic Types Thread
09/23/2004Academia: City of Saints and MadmenLooking for Classic Types Thread
09/16/2004Jeremiah was a bullfrog.newLisp: A better Lisp/Scheme Fusion...
09/12/2004All cynics are disillusioned romantics.More from Udell on typing
09/15/2004SERVICE UNAVAILABLEMore from Udell on typing
09/12/2004Two moreA Functional Quantum Programming Language
09/01/2004Verbing weirds language.In Search of the Ideal Programming Language
09/19/2004I am not a crook!In Search of the Ideal Programming Language
09/01/2004A Fantasy, A Musical, A Place Where Dreams Come True.Ted Nelson's ZigZag
09/01/2004The purpose of a ninja is to flip out and kill people.Higher order versus Object order
09/03/2004They were making a mockery of my horror!PLaneT
09/08/2004Es geht kein Weg zurückPLaneT
09/09/2004Geben Sie mir wieder meine Schwarzen Puppen!PLaneT
08/31/2004Apple Flunks First Grade MathApple Flunks First Grade Math
09/19/2004I am receiving mental commands from Altair IV.Multidimensional arrays
08/30/2004Difference Between a Testis and an OvaryWhy type systems are interesting - part III: latent types
08/30/2004A wallaby is any macropod smaller than a kangaroo."Types and Reflection" by Lauri Emil Alanko
08/24/2004Me too.Problem with posting
08/21/2004I'm a little teapotNew result re "linguistic determinism"
08/22/2004False analogy?New result re "linguistic determinism"
08/24/2004What has it got in its pocketses?New result re "linguistic determinism"
08/22/2004Idempotent monadsNew result re "linguistic determinism"
09/12/2004Du veränderst nicht den Teufel...Introduction to computability logic
08/22/2004More linksGrad School advice
08/21/2004UghErlang the Movie
08/21/2004Why?Erlang the Movie
08/22/2004Ah.Erlang the Movie
08/17/2004Lengthy URLThe right default: concurrent components with message passing
08/14/2004New Recent postsNew Recent posts
08/14/2004Oops.New Recent posts
08/18/2004Perl/Python vs. Haskell for biologyNew Paul Graham thing...
08/18/2004Bah, humbug!New Paul Graham thing...
08/19/2004Roly-poly fish eyesNew Paul Graham thing...
08/22/2004Turtles all the way downNew Paul Graham thing...
08/24/2004EstherNew Paul Graham thing...
08/24/2004HugsNew Paul Graham thing...
08/26/2004I say we shall have no mo' "latent types"...Why type systems are interesting - part II
08/11/2004Integer \cong EvenWhy type systems are interesting - part II
08/11/2004FWIWWhy type systems are interesting - part II
08/13/2004Many translationsWhy type systems are interesting - part II
08/14/2004How to know what you knowWhy type systems are interesting - part II
08/13/2004Not universalWhy type systems are interesting - part II
08/17/2004PrologWhy type systems are interesting - part II
08/09/2004Morrow & First-class LabelsMorrow & First-class Labels
08/13/2004No comments?Morrow & First-class Labels
08/08/2004First-class labels for extensible rows (draft)First-class labels for extensible rows (draft)
08/08/2004Folding Recent PostsFolding Recent Posts
08/08/2004CleverCSMore content
08/09/2004OK.More content
08/07/2004Breve: a 3D simulation environmentBreve: a 3D simulation environment
08/07/2004WhimsyBreve: a 3D simulation environment
08/07/2004Fixed.Breve: a 3D simulation environment
08/06/2004The Cult of ConorEliminating Array Bound Checking through Non-dependent types
08/06/2004No, I'm serious!Eliminating Array Bound Checking through Non-dependent types
08/06/2004Another solutionNo asterisks, please
08/08/2004OCaml wikiNo asterisks, please
08/06/2004Bookmarking vs. savingPartial Continuations
08/01/2004Re: Slide 15Category Theory for Dummies - slides available
07/30/2004GAPMind the Gap
08/01/2004Low-level requirementsUdell at OSCON: IronPython news
07/24/2004Re: Tayssir's Release postType systems and software evolution
07/24/2004Ill-defined?Having trouble with 'purity'
07/24/2004XMLized syntaxIntroducing o:XML
07/21/2004J'accuse!The C++ Source Journal
07/22/2004Counter-questionThe C++ Source Journal
07/23/2004The C++ Source JournalThe C++ Source Journal
07/21/2004Has appeared, actually.Streaming Representation-Changers
07/20/2004CornellInfo needed
07/20/2004SICPInfo needed
07/18/2004Embedding Prolog in HaskellEmbedding Prolog in Haskell
07/17/2004No, man.Fantazies on "final"
07/17/2004CategoryFantazies on "final"
07/18/2004Huh?Fantazies on "final"
07/20/2004FWIWCω Preview Available
07/16/2004No contraintsWhy type systems are interesting
07/16/2004Type examplesWhy type systems are interesting
07/18/2004Re: Speaking of tools...Why type systems are interesting
08/09/2004Right.Why type systems are interesting
07/20/2004RebuttalWhy type systems are interesting
07/20/2004I still don't get it.Why type systems are interesting
07/31/2004Untyped < TypedWhy type systems are interesting
08/01/2004This week on Oprah: convenient programming languagesWhy type systems are interesting
08/02/2004Once more around the trackWhy type systems are interesting
08/02/2004DT = untypedWhy type systems are interesting
08/05/2004Why type systems are interestingWhy type systems are interesting
07/21/2004Software development as a static activityWhy type systems are interesting
07/23/2004A "product" is the limit of a converging development process. :)Why type systems are interesting
07/16/2004Motes and beamsWhy type systems are interesting
07/16/2004Encapsulation by conventionWhy type systems are interesting
07/17/2004It's your funeral.Why type systems are interesting
08/05/2004Replies, citations, etc.Why type systems are interesting
08/05/2004InconsistencyWhy type systems are interesting
08/08/2004Broken example?Why type systems are interesting
08/08/2004Ours is not to reason whyWhy type systems are interesting
08/08/2004Not a question of lifting idiomsWhy type systems are interesting
08/09/2004Nevermind.Why type systems are interesting
08/09/2004"relax" vs. "constrain"Why type systems are interesting
08/11/2004Back to square oneWhy type systems are interesting
08/09/2004Essentially enough.Why type systems are interesting
07/17/2004FormattingFunctional programming in Java
07/18/2004I think the stuff on generatiOld computer science and technical books worth searching for
07/18/2004(b)Old computer science and technical books worth searching for
07/23/2004Long divisionOld computer science and technical books worth searching for
07/23/2004Non-correspondenceOld computer science and technical books worth searching for
07/23/2004Old and new computer scienceOld computer science and technical books worth searching for
09/24/2004fustigate (v.) 1. to beat with a stick; 2. to criticize severelyExplaining monads
09/26/2004"The source of all type errors are type systems."Explaining monads
09/28/2004Cogito ergo sum.Explaining monads
09/28/2004Remember way back when?Explaining monads
09/28/2004Better exampleExplaining monads
07/10/2004Very funny.Sun R&D efforts
07/09/2004User profilesUser profiles
07/10/2004I'm a goth, not a vigilante.User profiles
07/09/2004Products?Slashdot: "Favourite Programming Language Features?"
07/04/2004FavoritesAn interactive historical roster of computer languages
07/07/2004Not a syntax issueInternational Components for Unicode 3.0 Released
07/07/2004The problemInternational Components for Unicode 3.0 Released
07/02/2004How does it work?Types in CMUCL
06/29/2004Syntax vs. semanticsThe DSL, MDA, UML thing again...
06/29/2004Derivative drivelPragmatic Programmers Interview
06/30/2004SorryPragmatic Programmers Interview
07/01/2004Type Tool for ErlangPragmatic Programmers Interview
06/27/2004MootElementary Category Theory
06/26/2004Shocking!Fabian Pascal on XQuery
06/26/2004Relations and graphsFabian Pascal on XQuery
07/04/2004Zip archiveWhiteboard with Anders Hejlsberg
06/26/2004Incomplete, not `wrong'Is "type" a fundamental intrinsic property of values?
06/27/2004From a purely pragmatic perspIs "type" a fundamental intrinsic property of values?
06/27/2004Units vs. quantitiesIs "type" a fundamental intrinsic property of values?
06/30/2004Dimensions and unitsIs "type" a fundamental intrinsic property of values?
06/30/2004It's a runtime errorDebugging Functional Programs
06/30/2004Non-exhaustive patternsDebugging Functional Programs
06/26/2004Generic Persistence for CLPBinary relations
06/22/2004Animal bookLanguages Poster
06/22/2004What is `abstraction'?Abstractionless programming
06/28/2004P = NP, up to sharingAbstractionless programming
06/29/2004Same paper?Abstractionless programming
06/21/2004"Dynamic implementation", not "dynamic language"Interactive Programming
06/22/2004Implementation choicesInteractive Programming
06/30/2004Block elements and formattingThe site discussions forum
07/21/2004AmbiguityThe site discussions forum
07/22/2004I've seen that.The site discussions forum
06/27/2004ComplaintWelcome to the New, Improved LtU!
06/27/2004Update Google directoryWelcome to the New, Improved LtU!
06/08/2004ToonTalkToonTalk
06/03/2004Re: The view from the leftThe view from the left
06/14/2004Re: The view from the leftThe view from the left
06/03/2004Re: Nullable TypesNullable Types
05/25/2004Re: Turing completeness is not?Turing completeness is not?
05/26/2004Re: Turing completeness is not?Turing completeness is not?
05/20/2004SPARK and high integrity softwareSPARK and high integrity software
05/20/2004Re: SPARK and high integrity softwareSPARK and high integrity software
05/14/2004Composing Monads using CoproductsComposing Monads using Coproducts
05/14/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/16/2004Why Introspection Breaks EncapsulationThe Case for First Class Messages
05/16/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/17/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/17/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/19/2004A Double StandardThe Case for First Class Messages
05/19/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/21/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/21/2004Questions for PeterThe Case for First Class Messages
05/24/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/25/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/25/2004Re: The Case for First Class MessagesThe Case for First Class Messages
06/03/2004Last Exit For The LostThe Case for First Class Messages
06/10/2004Curry vs. ChurchThe 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/10/2004Re: The Case for First Class MessagesThe Case for First Class Messages
06/15/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/13/2004Re: lambda-calculus and typeslambda-calculus and types
05/11/2004Re: Why Learning Assembly Language is Still a Good IdeaWhy Learning Assembly Language is Still a Good Idea
05/11/2004Re: Why Learning Assembly Language is Still a Good IdeaWhy Learning Assembly Language is Still a Good Idea
05/08/2004Re: Object-Oriented Programming Enhancements in Ada200YObject-Oriented Programming Enhancements in Ada200Y
05/06/2004Re: Pike 7.6 ReleasedPike 7.6 Released
05/05/2004Re: Programming as if Performance MatteredProgramming as if Performance Mattered
05/05/2004Re: Tim Bray: JythonTim Bray: Jython
05/12/2004Re: Tim Bray: JythonTim Bray: Jython
04/30/2004Re: Udell: Radical software customizationUdell: Radical software customization
04/26/2004Re: Growing a LanguageGrowing a Language
04/27/2004Re: Growing a LanguageGrowing a Language
04/20/2004Re: Tunneling VariablesTunneling Variables
04/12/2004Re: Circular referencesCircular references
04/20/2004Re: Circular referencesCircular references
04/11/2004Re: The Sound of MathematicsThe Sound of Mathematics
04/11/2004Re: Dating Design PatternsDating Design Patterns
04/11/2004Re: Dating Design PatternsDating Design Patterns
04/12/2004Re: Dating Design PatternsDating Design Patterns
04/13/2004Re: Dating Design PatternsDating Design Patterns
04/14/2004Re: Dating Design PatternsDating Design Patterns
04/09/2004Re: Impedance mismatch: RDBMS and PLsImpedance mismatch: RDBMS and PLs
04/07/2004Re: Simple scripting languageSimple scripting language
03/29/2004Re: The Logic Programming Paradigm and PrologThe Logic Programming Paradigm and Prolog
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
03/17/2004Re: Min-Maxing languagesMin-Maxing languages
03/17/2004Re: Introduction to (Formal) Type SystemsIntroduction to (Formal) Type Systems
03/03/2004Re: Book Review: Purely Functional Data StructuresBook Review: Purely Functional Data Structures
03/02/2004Re: Eidola LanguageEidola Language
03/02/2004Re: Berkeley Visionaries Prognosticate About the FutureBerkeley Visionaries Prognosticate About the Future
02/29/2004Re: Every Language War EverEvery Language War Ever
03/02/2004Re: Every Language War EverEvery Language War Ever
03/03/2004Re: Every Language War EverEvery Language War Ever
03/03/2004Re: Every Language War EverEvery Language War Ever
03/08/2004Re: Every Language War EverEvery Language War Ever
02/29/2004Re: A Prolog Introduction for HackersA Prolog Introduction for Hackers
03/02/2004Re: Waldo onWaldo on "Types"
02/27/2004Re: Monads in SchemeMonads in Scheme
02/29/2004Re: Monads in SchemeMonads in Scheme
02/19/2004Re: Environment ClassifiersEnvironment Classifiers
02/19/2004Re: Why's (Poignant) Guide to RubyWhy's (Poignant) Guide to Ruby
02/19/2004Re: Elements of Basic Category TheoryElements of Basic Category Theory
02/20/2004Re: Elements of Basic Category TheoryElements of Basic Category Theory
02/23/2004Re: The Next Move in Programming (Livschitz interview)The Next Move in Programming (Livschitz interview)
02/12/2004Re: Udell: Programs that write programsUdell: Programs that write programs
02/13/2004Re: Software Fault Prevention by Language ChoiceSoftware Fault Prevention by Language Choice
02/10/2004Re: LtU FAQ UpdateLtU FAQ Update
02/10/2004OO = untyped = good and other cynical remarksCLR Design Choices
02/04/2004Re: Data as codeData as code
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/27/2004Re: Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )
01/28/2004Re: Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )
01/28/2004Re: Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )
01/19/2004Re: Concept programmingConcept programming
01/19/2004Re: Concept programmingConcept programming
01/19/2004Re: Concept programmingConcept programming
01/19/2004Re: Concept programmingConcept programming
01/22/2004Re: Concept programmingConcept programming
01/23/2004Re: Concept programmingConcept programming
01/19/2004Re: The Lambda ethosThe Lambda ethos
01/22/2004Re: The Lambda ethosThe Lambda ethos
01/27/2004Re: The Lambda ethosThe Lambda ethos
01/27/2004Re: The Lambda ethosThe Lambda ethos
01/27/2004Re: The Lambda ethosThe Lambda ethos
12/19/2003Re: Twisted Matrix Networking for PythonTwisted Matrix Networking for Python
12/19/2003Re: Reading, Writing, and CodeReading, Writing, and Code
12/15/2003Re: XML for End UsersXML for End Users
12/18/2003Re: The Java™ specs in a formal wayThe Java™ specs in a formal way
12/12/2003Re: A Clockwork Orange: NadsatA Clockwork Orange: Nadsat
12/05/2003Re: Python Scripting EverywherePython Scripting Everywhere
12/04/2003Re: Transparent Language Implementation and DesignTransparent Language Implementation and Design
12/01/2003Re: Dynamic PropertiesDynamic Properties
12/04/2003Re: Dynamic PropertiesDynamic Properties
12/05/2003Re: Dynamic PropertiesDynamic Properties
12/08/2003Re: Dynamic PropertiesDynamic Properties
12/01/2003Re: Why Functional Programming MattersWhy Functional Programming Matters
11/24/2003Re: Antipathy to Type SystemsAntipathy to Type Systems
11/25/2003Re: Antipathy to Type SystemsAntipathy to Type Systems
11/27/2003Re: Antipathy to Type SystemsAntipathy to Type Systems
12/01/2003Re: Antipathy to Type SystemsAntipathy to Type Systems
11/17/2003Re: Notes on Programming in CNotes on Programming in C
11/24/2003Re: Notes on Programming in CNotes on Programming in C
11/04/2003Re: Algebraic Specification: some old history, and new thoughtsAlgebraic Specification: some old history, and new thoughts
10/29/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/01/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
10/28/2003Re: X2EE Revamps J2EEX2EE Revamps J2EE
10/22/2003Re: State and modularityState and modularity
10/23/2003Re: Expressiveness versus execution speedExpressiveness versus execution speed
10/21/2003Re: Teaching programmingTeaching programming
10/21/2003Re: Teaching programmingTeaching programming
10/22/2003Re: Teaching programmingTeaching programming
10/22/2003Re: Teaching programmingTeaching programming
10/22/2003Re: Teaching programmingTeaching programming
10/22/2003Re: Teaching programmingTeaching programming
10/23/2003Re: Teaching programmingTeaching programming
10/20/2003Re: Dynamically scoped functions vs. AOPDynamically scoped functions vs. AOP
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/22/2003Re: B. Stroustrup: Serving the C++ CommunityB. Stroustrup: Serving the C++ Community
10/16/2003Re: Stroustrup's C++ Style Sweet SpotStroustrup's C++ Style Sweet Spot
10/14/2003Re: A Revolution in Logic?A Revolution in Logic?
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/14/2003Re: AliceAlice
10/10/2003Re: Spreadsheet LanguagesSpreadsheet Languages
10/12/2003Re: Spreadsheet LanguagesSpreadsheet Languages
10/09/2003Re: Proofs and TypesProofs and Types
10/05/2003"Proofs and Types" available online"Proofs and Types" available online
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/05/2003Re: OO Best Feature PollOO Best Feature Poll
10/06/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
10/10/2003Re: OO Best Feature PollOO Best Feature Poll
10/05/2003Re: Glossary page on Lambda?Glossary page on Lambda?
09/29/2003Re: Iota and Jot: the simplest languages?Iota and Jot: the simplest languages?
09/25/2003Re: Philip Greenspun: Lisp diehards = Holocaust deniersPhilip Greenspun: Lisp diehards = Holocaust deniers
09/30/2003Re: Philip Greenspun: Lisp diehards = Holocaust deniersPhilip Greenspun: Lisp diehards = Holocaust deniers
10/05/2003Re: Philip Greenspun: Lisp diehards = Holocaust deniersPhilip Greenspun: Lisp diehards = Holocaust deniers
09/23/2003Re: Moving Away From XSLTMoving Away From XSLT
09/20/2003Re: JScript is a Functional LanguageJScript is a Functional Language
09/21/2003Re: JScript is a Functional LanguageJScript is a Functional Language
09/22/2003Re: JScript is a Functional LanguageJScript is a Functional Language
09/23/2003Re: JScript is a Functional LanguageJScript is a Functional Language
09/23/2003Re: JScript is a Functional LanguageJScript is a Functional Language
09/24/2003Re: JScript is a Functional LanguageJScript is a Functional Language
09/24/2003Re: JScript is a Functional LanguageJScript is a Functional Language
09/19/2003Re: Continuations Reading GroupContinuations Reading Group
09/15/2003Best PL tutorial/intro?Best PL tutorial/intro?
09/14/2003Re: Wither SelfWhither Self
09/16/2003Re: Whither SelfWhither Self
09/17/2003Re: Whither SelfWhither Self
09/18/2003Re: Whither SelfWhither Self
09/20/2003Re: Whither SelfWhither Self
09/21/2003Re: Whither SelfWhither Self
09/11/2003Re: Metaclass programming in Python, Part 2Metaclass programming in Python, Part 2
09/11/2003Re: Inside every API is a programming language struggling to get outInside every API is a programming language struggling to get out
09/09/2003Re: Trivia: Programming Language Naming PatternsTrivia: Programming Language Naming Patterns
09/09/2003Re: Trivia: Programming Language Naming PatternsTrivia: Programming Language Naming Patterns
09/09/2003Topologist's jokeTrivia: Programming Language Naming Patterns
09/09/2003Re: Trivia: Programming Language Naming PatternsTrivia: Programming Language Naming Patterns
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/05/2003Re: NoNo "theory of types" in legal systems
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)
09/01/2003Re: The Little Haskellist (once again)The Little Haskellist (once again)
08/29/2003Re: XQuery 1.0 and XPath 2.0 Formal SemanticsXQuery 1.0 and XPath 2.0 Formal Semantics
08/31/2003Re: XQuery 1.0 and XPath 2.0 Formal SemanticsXQuery 1.0 and XPath 2.0 Formal Semantics
08/29/2003Re: Translating human language to database query languageTranslating human language to database query language
08/21/2003Re: The Trouble with Checked ExceptionsThe Trouble with Checked Exceptions
08/22/2003Re: The Trouble with Checked ExceptionsThe Trouble with Checked Exceptions
08/11/2003Re: The Design of Parallel Programming LanguagesThe Design of Parallel Programming Languages
08/08/2003Re: Seven Paradoxes of Object-Oriented Programming LanguagesSeven Paradoxes of Object-Oriented Programming Languages
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/06/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/10/2003Re: Udell: Test before you leap into developmentUdell: Test before you leap into development
08/01/2003Re: Theorems for free!Theorems for free!
08/02/2003Re: Theorems for free!Theorems for free!
08/04/2003Re: Theorems for free!Theorems for free!
08/04/2003Re: The Pragmatic LanguageThe Pragmatic Language
08/04/2003Re: The Pragmatic LanguageThe Pragmatic Language
08/03/2003Re: Exegesis 6Exegesis 6
07/29/2003Re: The Little MLerThe Little MLer
07/30/2003Re: The Little MLerThe Little MLer
08/01/2003Re: The Little MLerThe Little MLer
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: 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/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/18/2003Re: Godiva - a Very High Level Dialect of JavaGodiva - a Very High Level Dialect of Java
07/16/2003Re: Invocations as objectsInvocations as objects
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/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/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/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/16/2003Re: Programming LinguisticsProgramming Linguistics
07/16/2003Re: Programming LinguisticsProgramming Linguistics
07/17/2003Re: Programming LinguisticsProgramming Linguistics
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/15/2003Re: Neal Stephenson's USENIX keynoteNeal Stephenson's USENIX keynote
07/15/2003Re: Neal Stephenson's USENIX keynoteNeal Stephenson's USENIX keynote
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/15/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/16/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/08/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/09/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/11/2003Re: Linguistic Universals and ParticularsLinguistic Universals and Particulars
07/02/2003Re: OO Weed LanguagesOO Weed Languages
06/23/2003Re: Charming Python: Using combinatorial functions in the itertools moduleCharming Python: Using combinatorial functions in the itertools module
06/24/2003Re: Charming Python: Using combinatorial functions in the itertools moduleCharming Python: Using combinatorial functions in the itertools module
06/25/2003Re: Charming Python: Using combinatorial functions in the itertools moduleCharming Python: Using combinatorial functions in the itertools module
06/19/2003Re: Point Free StylePoint Free Style
07/02/2003Re: ICFP 2003ICFP 2003
06/24/2003Re: Concepts, Techniques and Models of Computer ProgrammingConcepts, Techniques and Models of Computer Programming
06/25/2003Re: Concepts, Techniques and Models of Computer ProgrammingConcepts, Techniques and Models of Computer Programming
06/26/2003Re: Concepts, Techniques and Models of Computer ProgrammingConcepts, Techniques and Models of Computer Programming
07/02/2003Re: Concepts, Techniques and Models of Computer ProgrammingConcepts, Techniques and Models of Computer Programming
06/17/2003Re: Modern Static Typing: Less Code, Better CodeModern Static Typing: Less Code, Better Code
06/19/2003Re: Modern Static Typing: Less Code, Better CodeModern Static Typing: Less Code, Better Code
06/15/2003Re: WithWith
06/15/2003Re: C.A.R. Hoare 1980 ACM Turing Award LectureC.A.R. Hoare 1980 ACM Turing Award Lecture
06/12/2003Re: TPK Algorithm in Different Programming LanguagesTPK Algorithm in Different Programming Languages
06/13/2003Re: TPK Algorithm in Different Programming LanguagesTPK Algorithm in Different Programming Languages
06/15/2003Re: TPK Algorithm in Different Programming LanguagesTPK Algorithm in Different Programming Languages
06/15/2003Re: TPK Algorithm in Different Programming LanguagesTPK Algorithm in Different Programming Languages
06/15/2003Re: TPK Algorithm in Different Programming LanguagesTPK Algorithm in Different Programming Languages
05/31/2003Re: Evolving a programming languageEvolving a programming language
05/31/2003Re: Evolving a programming languageEvolving a programming language
06/01/2003Re: Evolving a programming languageEvolving a programming language
06/01/2003Re: Evolving a programming languageEvolving a programming language
05/23/2003Re: Article on F#Article on F#
05/26/2003Re: Article on F#Article on F#
05/23/2003Re: Identity crisisIdentity crisis
05/23/2003Re: Identity crisisIdentity crisis
05/15/2003Re: Language Once Was Key-Now It's DesignLanguage Once Was Key-Now It's Design
05/15/2003Re: Language Once Was Key-Now It's DesignLanguage Once Was Key-Now It's Design
05/15/2003Re: Language Once Was Key-Now It's DesignLanguage Once Was Key-Now It's Design
05/16/2003Re: Language Once Was Key-Now It's DesignLanguage Once Was Key-Now It's Design
05/15/2003Re: What I Hate About Your Programming LanguageWhat I Hate About Your Programming Language
05/16/2003Re: What I Hate About Your Programming LanguageWhat I Hate About Your Programming Language
05/15/2003Re: Mother Tongues of Computer LanguagesMother Tongues of Computer Languages
05/14/2003Re: Language Myths AgainLanguage Myths Again
05/14/2003Re: Language Myths AgainLanguage Myths Again
05/15/2003Re: Language Myths AgainLanguage Myths Again
05/14/2003Re: Don Box on C# generics vs. C++ genericsDon Box on C# generics vs. C++ generics
05/14/2003Re: Don Box on C# generics vs. C++ genericsDon Box on C# generics vs. C++ generics
05/14/2003Re: Don Box on C# generics vs. C++ genericsDon Box on C# generics vs. C++ generics
05/12/2003Re: Joshua Bloch interview on new features in Java 1.5Joshua Bloch interview on new features in Java 1.5
05/08/2003Re: The New C++: Trip Report, October 2002The New C++: Trip Report, October 2002
05/09/2003Re: The New C++: Trip Report, October 2002The New C++: Trip Report, October 2002
05/09/2003Re: The New C++: Trip Report, October 2002The New C++: Trip Report, October 2002
05/06/2003Re: Yes, Bob, I too want to work in a dynamically typed langYes, Bob, I too want to work in a dynamically typed language
05/08/2003Re: Yes, Bob, I too want to work in a dynamically typed languageYes, Bob, I too want to work in a dynamically typed language
04/30/2003Re: Popular MathPopular Math
04/30/2003Re: Unifying Tables, Objects and DocumentsUnifying Tables, Objects and Documents
05/01/2003Re: Unifying Tables, Objects and DocumentsUnifying Tables, Objects and Documents
05/02/2003Re: Unifying Tables, Objects and DocumentsUnifying Tables, Objects and Documents
05/06/2003Re: Alan Kay's talk at O'Reilly Emerging Technology Conference 2003Alan Kay's talk at O'Reilly Emerging Technology Conference 2003
04/24/2003Re: Python Metaclass ProgrammingPython Metaclass Programming
04/25/2003Re: Python Metaclass ProgrammingPython Metaclass Programming
04/27/2003Re: Python Metaclass ProgrammingPython Metaclass Programming
04/29/2003Re: Python Metaclass ProgrammingPython Metaclass Programming
05/02/2003Re: Python Metaclass ProgrammingPython Metaclass Programming
04/16/2003Re: SpamSpam
04/12/2003Re: Hundred Year LanguageHundred Year Language
04/12/2003Re: Hundred Year LanguageHundred Year Language
04/13/2003Re: Hundred Year LanguageHundred Year Language
04/16/2003Re: Hundred Year LanguageHundred Year Language
04/17/2003Re: Hundred Year LanguageHundred Year Language
04/18/2003Re: Hundred Year LanguageHundred Year Language
04/18/2003Re: Hundred Year LanguageHundred Year Language
04/08/2003Re: Insecure Macho LoveInsecure Macho Love
04/11/2003Re: Insecure Macho LoveInsecure Macho Love
04/08/2003Re: Is the current crop of statically typed languages giving static typing a bad name?Is the current crop of statically typed languages giving static typing a bad name?
04/09/2003Re: Is the current crop of statically typed languages giving static typing a bad name?Is the current crop of statically typed languages giving static typing a bad name?
04/09/2003Re: Is the current crop of statically typed languages giving static typing a bad name?Is the current crop of statically typed languages giving static typing a bad name?
04/04/2003Re: J. McCarthy: Towards a Mathematical Science of ComputationJ. McCarthy: Towards a Mathematical Science of Computation
03/25/2003Re: Representing MonadsRepresenting Monads
03/26/2003Re: Representing MonadsRepresenting Monads
03/27/2003Re: Representing MonadsRepresenting Monads
03/19/2003Re: XML Is Too Hard For ProgrammersXML Is Too Hard For Programmers
03/20/2003Re: XML Is Too Hard For ProgrammersXML Is Too Hard For Programmers
03/20/2003Re: XML Is Too Hard For ProgrammersXML Is Too Hard For Programmers
03/21/2003Re: XML Is Too Hard For ProgrammersXML Is Too Hard For Programmers
03/23/2003Re: XML Is Too Hard For ProgrammersXML Is Too Hard For Programmers
03/26/2003Re: XML Is Too Hard For ProgrammersXML Is Too Hard For Programmers
03/17/2003Re: Logic/Object Oriented FusionLogic/Object Oriented Fusion
03/24/2003Re: Mixing paradigms (Python)Mixing paradigms (Python)
02/07/2003Re: Ed Felten: Programs vs. DataEd Felten: Programs vs. Data
01/29/2003Re: Guido van Rossum: Programming at Python SpeedGuido van Rossum: Programming at Python Speed
01/31/2003Re: Guido van Rossum: Programming at Python SpeedGuido van Rossum: Programming at Python Speed
02/03/2003Re: Guido van Rossum: Programming at Python SpeedGuido van Rossum: Programming at Python Speed
02/03/2003Re: Guido van Rossum: Programming at Python SpeedGuido van Rossum: Programming at Python Speed
02/04/2003Re: Guido van Rossum: Programming at Python SpeedGuido van Rossum: Programming at Python Speed
02/04/2003Re: Guido van Rossum: Programming at Python SpeedGuido van Rossum: Programming at Python Speed
01/23/2003Re: Inhouse trainingInhouse training
01/15/2003Re: Java and PointersJava and Pointers
12/30/2002Re: Distel: Distributed Emacs Lisp (for Erlang)Distel: Distributed Emacs Lisp (for Erlang)
12/25/2002Re: Model Driven Architecture + Code GenerationModel Driven Architecture + Code Generation
12/20/2002Re: Developing Reliable Software with Scripting LanguagesDeveloping Reliable Software with Scripting Languages
12/21/2002Re: Developing Reliable Software with Scripting LanguagesDeveloping Reliable Software with Scripting Languages
12/23/2002Re: Developing Reliable Software with Scripting LanguagesDeveloping Reliable Software with Scripting Languages
12/25/2002Re: Developing Reliable Software with Scripting LanguagesDeveloping Reliable Software with Scripting Languages
12/19/2002Re: Generalising Monads to ArrowsGeneralising Monads to Arrows
12/20/2002Re: Generalising Monads to ArrowsGeneralising Monads to Arrows
12/18/2002Typing Dynamic TypingTyping Dynamic Typing
12/09/2002Re: The Needle Programming LanguageThe Needle Programming Language
12/09/2002Re: The Needle Programming LanguageThe Needle Programming Language
12/05/2002Re: Just wondering (strings)Just wondering (strings)
11/29/2002Re: ll1-discuss on macrosll1-discuss on macros
11/20/2002Re: What's Wrong With RDF?What's Wrong With RDF?
11/22/2002Re: What's Wrong With RDF?What's Wrong With RDF?
11/24/2002Re: What's Wrong With RDF?What's Wrong With RDF?
11/24/2002Re: What's Wrong With RDF?What's Wrong With RDF?
11/24/2002Re: What's Wrong With RDF?What's Wrong With RDF?
11/15/2002Re: Needle, An OO FP LanguageNeedle, An OO FP Language
11/17/2002Re: Needle, An OO FP LanguageNeedle, An OO FP Language
11/14/2002Re: Whitepaper on new C# FeaturesWhitepaper on new C# Features
11/06/2002Re: Where to learn programming-related math?Where to learn programming-related math?
10/28/2002Re: Type-Directed Natural Language ParsingType-Directed Natural Language Parsing
10/29/2002Re: Type-Directed Natural Language ParsingType-Directed Natural Language Parsing
10/18/2002Re: Type Safety anecdoteType Safety anecdote
10/18/2002Re: Type Safety anecdoteType Safety anecdote
10/16/2002Re: Robert Harper: Types and Programming LanguagesRobert Harper: Types and Programming Languages
10/16/2002Re: Robert Harper: Types and Programming LanguagesRobert Harper: Types and Programming Languages
10/16/2002Re: Robert Harper: Types and Programming LanguagesRobert Harper: Types and Programming Languages
10/17/2002Re: Robert Harper: Types and Programming LanguagesRobert Harper: Types and Programming Languages
10/16/2002Re: CurryingCurrying
10/16/2002Re: CurryingCurrying
10/16/2002Re: CurryingCurrying
10/16/2002Re: CurryingCurrying
10/17/2002Re: CurryingCurrying
10/17/2002Re: Most amazing designer?Most amazing designer?
10/17/2002Re: Theory of Concatenative CombinatorsTheory of Concatenative Combinators
10/07/2002VM-targetting FP implementationsContributing (?) Editors
10/04/2002Re: Additions to the research papers pageAdditions to the research papers page
10/03/2002Re: The Foundations of Two-Dimensional SemanticsThe Foundations of Two-Dimensional Semantics
09/25/2002Re: Programming languages textbook onlineProgramming languages textbook online
09/24/2002Re: Exploring NLP in Oz/MozartExploring NLP in Oz/Mozart
06/12/2003Re: Michael Vanier: LFM's and LFSP'sMichael Vanier: LFM's and LFSP's
09/03/2002Re: SchemeUnit and SchemeQL: Two Little LanguagesSchemeUnit and SchemeQL: Two Little Languages
09/08/2002Re: SchemeUnit and SchemeQL: Two Little LanguagesSchemeUnit and SchemeQL: Two Little Languages
09/08/2002Re: SchemeUnit and SchemeQL: Two Little LanguagesSchemeUnit and SchemeQL: Two Little Languages
09/01/2002Domino on AcidDomino on Acid
08/30/2002Distel: Distributed Emacs LispDistel: Distributed Emacs Lisp
08/27/2002Re: Backus Turing Award LectureBackus Turing Award Lecture
08/22/2002Re: Whither Sather ?Whither Sather ?
08/23/2002Re: Whither Sather ?Whither Sather ?
08/26/2002Re: Whither Sather ?Whither Sather ?
09/02/2002Re: Whither Sather ?Whither Sather ?
08/20/2002Re: Disruptive Programming Language TechnologiesDisruptive Programming Language Technologies
08/16/2002Re: Semantics of Programming Languages: A Tool-Oriented ApproachSemantics of Programming Languages: A Tool-Oriented Approach
08/20/2002Re: I Was a Smalltalk GunslingerI Was a Smalltalk Gunslinger
08/11/2002Re: On Understanding Types, Data Abstraction, and PolymorphismOn Understanding Types, Data Abstraction, and Polymorphism
08/12/2002Re: On Understanding Types, Data Abstraction, and PolymorphismOn Understanding Types, Data Abstraction, and Polymorphism
08/12/2002Re: On Understanding Types, Data Abstraction, and PolymorphismOn Understanding Types, Data Abstraction, and Polymorphism
08/11/2002Re: Dijkstra and the Ada languageDijkstra and the Ada language
08/11/2002Re: Template metaprogramming for HaskellTemplate metaprogramming for Haskell
08/11/2002Re: Template metaprogramming for HaskellTemplate metaprogramming for Haskell
08/05/2002Re: Richard Hamming: You and Your ResearchRichard Hamming: You and Your Research
08/07/2002Re: Richard Hamming: You and Your ResearchRichard Hamming: You and Your Research
08/07/2002Re: Richard Hamming: You and Your ResearchRichard Hamming: You and Your Research
08/08/2002Re: Richard Hamming: You and Your ResearchRichard Hamming: You and Your Research
07/19/2002Re: XLANG and WSFL: Syntactic ArsenicXLANG and WSFL: Syntactic Arsenic
07/13/2002Re: XSH - An XML Editing ShellXSH - An XML Editing Shell
06/21/2002Expressiveness of AceProject Ace
06/23/2002Re: Project AceProject Ace
06/13/2002Re: Two New Microsoft Languages - AsmL and PanTwo New Microsoft Languages - AsmL and Pan
06/03/2002Re: Another RSS ideaAnother RSS idea
05/01/2002Re: Downsides to the C++ STL?Downsides to the C++ STL?
04/26/2002Re: Language MythsLanguage Myths
03/25/2002Re: Strong Typing, Dynamic Languages, What to do?Strong Typing, Dynamic Languages, What to do?
03/06/2002Re: Linus Torvalds on Coding styleLinus Torvalds on Coding style
03/06/2002Re: Linus Torvalds on Coding styleLinus Torvalds on Coding style
03/07/2002Re: Linus Torvalds on Coding styleLinus Torvalds on Coding style
03/06/2002Re: Java's new Considered HarmfulJava's new Considered Harmful
03/01/2002Re: The developer's dilemmaThe developer's dilemma
02/15/2002Re: MiscMisc
02/15/2002Re: MiscMisc
02/16/2002Re: MiscMisc
02/13/2002Re: Slashdot looks for the perfect languageSlashdot looks for the perfect language
02/09/2002LL1 on technetcastLL1 on technetcast
02/09/2002Backhouse on Mathematics and ProgrammingBackhouse on Mathematics and Programming
02/07/2002Re: Reading list on XML and Web ProgrammingReading list on XML and Web Programming
02/07/2002Type checking is usefulDon Box on the Importance of Being WSDL
02/09/2002Re: Type checking is usefulDon Box on the Importance of Being WSDL
02/09/2002Re: Type checking is usefulDon Box on the Importance of Being WSDL
02/11/2002Re: Type checking is usefulDon Box on the Importance of Being WSDL
02/11/2002Re: Type checking is usefulDon Box on the Importance of Being WSDL
02/12/2002Re: Type checking is usefulDon Box on the Importance of Being WSDL
02/13/2002Re: Type checking is usefulDon Box on the Importance of Being WSDL
02/13/2002Re: Type checking is usefulDon Box on the Importance of Being WSDL
02/13/2002Re: Don Box on the Importance of Being WSDLDon Box on the Importance of Being WSDL
02/15/2002Re: Type checking is usefulDon Box on the Importance of Being WSDL
02/05/2002Re: Functional programming in XSLTFunctional programming in XSLT
02/05/2002Re: Functional programming in XSLTFunctional programming in XSLT
02/07/2002Re: Functional programming in XSLTFunctional programming in XSLT
02/07/2002Re: Functional programming in XSLTFunctional programming in XSLT
02/07/2002DSSSLFunctional programming in XSLT
02/05/2002Re: Summer schools: generic & functional programmingSummer schools: generic & functional programming
05/19/2003Re: Revisiting an old thread: choosing a foundation languageRevisiting an old thread: choosing a foundation language
01/25/2002Re: SLAM (at POPL)SLAM (at POPL)
01/26/2002Re: Mining specificationsSLAM (at POPL)
01/24/2002Re: Book: Python How to ProgramBook: Python How to Program
01/25/2002Re: Web services: Winer on WSDLWeb services: Winer on WSDL
01/15/2002Re: XSLT, Perl, Haskell, & a word on language design - A link from kur5hinXSLT, Perl, Haskell, & a word on language design - A link from kur5hin
01/15/2002Re: Functional programming in PerlFunctional programming in Perl
01/10/2002Language of the Year: HaskellLanguage of the Year: Haskell
01/10/2002Re: Language of the Year: HaskellLanguage of the Year: Haskell
01/15/2002Re: Language of the Year: HaskellLanguage of the Year: Haskell
01/10/2002Re: Design ParadigmsDesign Paradigms
01/09/2002Re: SE/Algebra courseSE/Algebra course
01/10/2002Re: SE/Algebra courseSE/Algebra course
01/10/2002Re: SE/Algebra courseSE/Algebra course
01/10/2002Re: SE/Algebra courseSE/Algebra course
01/05/2002Re: Mondrian for .NETMondrian for .NET
01/04/2002Re: The Roots of LispThe Roots of Lisp
01/04/2002Re: Tomorrow and Tomorrow and TomorrowTomorrow and Tomorrow and Tomorrow
01/04/2002Re: Tomorrow and Tomorrow and TomorrowTomorrow and Tomorrow and Tomorrow
01/04/2002Re: Tomorrow and Tomorrow and TomorrowTomorrow and Tomorrow and Tomorrow
01/03/2002Re: E - secure,distributed, pure OOP and p2p scripting languageE - secure,distributed, pure OOP and p2p scripting language
01/04/2002Re: E - secure,distributed, pure OOP and p2p scripting languageE - secure,distributed, pure OOP and p2p scripting language
01/02/2002Re: New year resolutionsNew year resolutions
01/04/2002Re: Why Lisp?Why Lisp?
01/04/2002Re: Why Lisp?Why Lisp?
01/02/2002Re: Abramsky powerdomainAbramsky powerdomain
12/21/2001Re: The Charity LanguageThe Charity Language
12/21/2001Re: The Charity LanguageThe Charity Language
08/17/2003Re: The Charity LanguageThe Charity Language
08/18/2003Re: The Charity LanguageThe Charity Language
12/21/2001Re: Anton's last msg. on History of TPractical Theory (was: T)
01/02/2002Re: Practical Theory (was: T)Practical Theory (was: T)
01/04/2002Re: Practical Theory (was: T)Practical Theory (was: T)
01/04/2002dlofPractical Theory (was: T)
01/05/2002Monadic foldsPractical Theory (was: T)
12/21/2001Re: Re-writing abstractionsRe-writing abstractions
12/21/2001Re: Re-writing abstractionsRe-writing abstractions
12/19/2001Re: Generic Java type inference is unsoundGeneric Java type inference is unsound
12/17/2001Re: Real Programmers Don't Use PascalReal Programmers Don't Use Pascal
12/19/2001Re: Real Programmers Don't Use PascalReal Programmers Don't Use Pascal
12/16/2001Re: J and K: One User's ViewJ and K: One User's View
12/16/2001Regular expressions and FPJ and K: One User's View
12/17/2001Re: J and K: One User's ViewJ and K: One User's View
12/12/2001Re: The History of TThe History of T
12/13/2001Re: The History of TThe History of T
12/14/2001Re: The History of TThe History of T
12/14/2001Re: The History of TThe History of T
12/14/2001Re: The History of TThe History of T
12/15/2001Re: The History of TThe History of T
12/15/2001Re: The History of TThe History of T
12/15/2001Re: The History of TThe History of T
12/15/2001Re: The History of TThe History of T
12/16/2001Daily programming and syntax compositionThe History of T
12/16/2001Embedding Perl regexpsThe History of T
12/16/2001Inalienable rights?The History of T
12/16/2001Re: The History of TThe History of T
12/16/2001Re: The History of TThe History of T
12/16/2001PoliticsThe History of T
12/16/2001Re: The History of TThe History of T
12/16/2001Re: The History of TThe History of T
12/16/2001Re: The History of TThe History of T
12/16/2001Smalltalk, learnability, two communitiesThe History of T
12/17/2001Re: The History of TThe History of T
12/17/2001Re: The History of TThe History of T
12/18/2001Re: The History of TThe History of T
12/18/2001Re: The History of TThe History of T
12/18/2001Re: The History of TThe History of T
12/19/2001Re: The History of TThe History of T
12/19/2001Re: The History of TThe History of T
12/19/2001Anchors, coalgebras, zlotysThe History of T
12/19/2001Hacking around PerlThe History of T
12/15/2001Re: The Future of CompilersThe Future of Compilers
12/01/2001Re: C++ FAQ LITEC++ FAQ LITE
11/22/2001Re: Psyco, the Python Specializing CompilerPsyco, the Python Specializing Compiler
11/20/2001Re: History of the biohazard symbolHistory of the biohazard symbol
11/20/2001Re: Wirth: On the Design of Programming LanguagesWirth: On the Design of Programming Languages
11/20/2001Re: Wirth: On the Design of Programming LanguagesWirth: On the Design of Programming Languages
11/12/2001Re: Readership skills and graphical programmingReadership skills and graphical programming
11/12/2001Re: Readership skills and graphical programmingReadership skills and graphical programming
11/12/2001Re: Why learn FP?Why learn FP?
10/31/2001Re: Semantics with ApplicationsSemantics with Applications
11/02/2001Re: Semantics with ApplicationsSemantics with Applications
10/19/2001Re: FP in Scheme: A WWW-oriented approachFP in Scheme: A WWW-oriented approach
10/11/2001Re: Squeak ECOOP 2001 tutorialSqueak ECOOP 2001 tutorial
10/11/2001Re: How To Steal Code or Inventing The Wheel Only OnceHow To Steal Code or Inventing The Wheel Only Once
10/02/2001Re: Lambda: the ultimateLambda: the ultimate "little language"
10/02/2001Re: Lambda: the ultimateLambda: the ultimate "little language"
10/01/2001Re: Object-Oriented Scripting in RubyObject-Oriented Scripting in Ruby
10/01/2001Re: Object-Oriented Scripting in RubyObject-Oriented Scripting in Ruby
10/01/2001Re: Object-Oriented Scripting in RubyObject-Oriented Scripting in Ruby
10/01/2001Re: Python Compared to Other LanguagesPython Compared to Other Languages
09/28/2001Re: Charming Python : Iterators and simple generatorsCharming Python : Iterators and simple generators
09/28/2001Re: Charming Python : Iterators and simple generatorsCharming Python : Iterators and simple generators
09/28/2001Re: Charming Python : Iterators and simple generatorsCharming Python : Iterators and simple generators
09/28/2001Re: Charming Python : Iterators and simple generatorsCharming Python : Iterators and simple generators
09/29/2001Re: Charming Python : Iterators and simple generatorsCharming Python : Iterators and simple generators
10/02/2001Re: Charming Python : Iterators and simple generatorsCharming Python : Iterators and simple generators
10/03/2001Re: Charming Python : Iterators and simple generatorsCharming Python : Iterators and simple generators
10/11/2001Re: Charming Python : Iterators and simple generatorsCharming Python : Iterators and simple generators
10/13/2001Re: Charming Python : Iterators and simple generatorsCharming Python : Iterators and simple generators
04/03/2001Re: Lambda Calculi : A Guide for Computer Scientists - HankinLambda Calculi : A Guide for Computer Scientists - Hankin
03/19/2001Re: Category Theory for the working computer scientistCategory Theory for the working computer scientist
03/23/2001Re: Category Theory for the working computer scientistCategory Theory for the working computer scientist
03/26/2001Re: Category Theory for the working computer scientistCategory Theory for the working computer scientist
04/03/2001Re: Category Theory for the working computer scientistCategory Theory for the working computer scientist
01/29/2002Proposition: Scheme is intimidatingIf I were Dean
01/10/2003Re: Advanced Programming Language Design (Finkel)Advanced Programming Language Design (Finkel)
01/11/2003Re: Advanced Programming Language Design (Finkel)Advanced Programming Language Design (Finkel)

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