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

Posts By: Anton van Straaten

  Date    Post    Topic  
01/02/2012Deca, an LtU-friendly bare metal systems programming languageDeca, an LtU-friendly bare metal systems programming language
01/02/2012<a href="deca#comment-68750" class="active">...or did virtual machines</a>Deca, an LtU-friendly bare metal systems programming language
01/02/2012<a href="deca#comment-68763" class="active">About caring</a>Deca, an LtU-friendly bare metal systems programming language
01/02/2012<a href="deca#comment-68762" class="active">In the story submission</a>Deca, an LtU-friendly bare metal systems programming language
11/06/2011Exceptions are those thatextending functions vs. extending objects
11/02/2011Bring on the zombie horsesThe Experimental Effectiveness of Mathematical Proof
11/02/2011As Abelson & Sussman almost wrote...The Experimental Effectiveness of Mathematical Proof
06/06/2011"But no simpler" is too strongRob Pike: Public Static Void
06/07/2011That's true, but I think theRob Pike: Public Static Void
06/07/2011Nitpick acceptedRob Pike: Public Static Void
03/22/2011Human thinking is a function of human learningBob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011The notion of an object isBob Harper of CMU is blogging about programming languages and introductory CS education
03/23/2011An object is quite simply aBob Harper of CMU is blogging about programming languages and introductory CS education
03/23/2011That weird clash is providingBob Harper of CMU is blogging about programming languages and introductory CS education
03/24/2011AgreedBob Harper of CMU is blogging about programming languages and introductory CS education
03/24/2011The map is not the...Bob Harper of CMU is blogging about programming languages and introductory CS education
03/23/2011At least this thread is anKeyword and Optional Arguments in PLT Scheme
03/18/2011Missed the news?Keyword and Optional Arguments in PLT Scheme
12/05/2010MisdirectionHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit
11/09/2010No lambda calculus uses tapeLambda the Ultimate seems an Overstatement (not)
11/09/2010Abstract away the itchLambda the Ultimate seems an Overstatement (not)
11/10/2010A spoonful of sugarLambda the Ultimate seems an Overstatement (not)
11/12/2010Jammin'Lambda the Ultimate seems an Overstatement (not)
11/13/2010Verbs are more provocativeLambda the Ultimate seems an Overstatement (not)
11/13/2010Not if you want to be taken seriouslyLambda the Ultimate seems an Overstatement (not)
11/10/2010A solutionLambda the Ultimate seems an Overstatement (not)
11/11/2010ExampleLambda the Ultimate seems an Overstatement (not)
10/13/2010Finally!Design Principles Behind Smalltalk
09/02/2010You should always listen to DijkstraSapir-Whorf 70 years on
09/04/2010Subject lines hurt so goodSapir-Whorf 70 years on
08/16/2010Sorry, butThe ideal style/system for namespaces.
08/14/2010Simple modules offer a simple solutionThe ideal style/system for namespaces.
08/14/2010Musty old wiki pagesThe ideal style/system for namespaces.
08/04/2010Exchange of ideasCUFP 2010
08/04/2010Open source may be a bad requirementCUFP 2010
08/01/2010MacrosLooking for a language like...
07/20/2010Terminology has contextThe Future of C#
06/23/2010Not so surprisinghappy rebirth day, LtU NG!
06/09/2010If only we had some way of computing thingsRacket Released
05/18/2010ContextThe War on Spam
05/11/2010Admin noteDesignerUnits
05/07/2010UpdateSpam filters
04/22/2010Contracts are lazy in thatSEC interested in formalising contracts ... in Python
05/04/2010usacmSEC interested in formalising contracts ... in Python
04/23/2010Pres Kennedy on PL researchseL4: Formal Verification of an Operating-System Kernel
06/21/2010Atanassowism has its benefitsseL4: Formal Verification of an Operating-System Kernel
03/20/2010Thanks, fixed.First-class environments. Discuss. ;)
03/22/2010functional discourseFirst-class environments. Discuss. ;)
03/22/2010ThanksFirst-class environments. Discuss. ;)
03/23/2010♫♫♪♫♪ Feelings... whoa oh oh feelings...♫♫♪♫First-class environments. Discuss. ;)
03/07/2010Why do you need normal orderLISP basis for computable functions on S-Expressions.
02/28/2010Stateless stateAdvantages of Purity
03/01/2010Not binaryAdvantages of Purity
03/01/2010Composition at function boundariesAdvantages of Purity
01/22/2010It's probably our bug.see history of things i started (vs. commented on)?
01/26/2010Could it have been this post?see history of things i started (vs. commented on)?
01/20/2010Upgrade may not be enoughindentation yet again?
01/20/2010What problem are you seeing?indentation yet again?
12/18/2009An Innocent Model of Linear LogicAn Innocent Model of Linear Logic
12/18/2009LiftedClaiming Infinity
12/02/2009The purpose of PLTop rated programming conferences?
11/12/2009A more important result than anticipatedExplanation of Computer Theory for Lawyers
11/12/2009I can only speak for...Explanation of Computer Theory for Lawyers
11/12/2009I haven't finished theExplanation of Computer Theory for Lawyers
11/13/2009A universal machine doesExplanation of Computer Theory for Lawyers
11/11/2009And what a storyGo or Unladen Swallow?
11/10/2009Scheduled downtimeScheduled downtime
11/11/2009Migration completedScheduled downtime
11/07/2009DoneHaskell Type Constraints Unleashed
10/29/2009Can LP be used for anything otherLiterate Programming: Retrospect and Prospects
11/12/2009Debunking the named literate chunk mythLiterate Programming: Retrospect and Prospects
10/21/2009Don't be hasty about lazinessErik Meijer's MSDN Channel 9 lecture series on functional programming
09/29/2009Schlep, JMacroHow to respect language styles while translating?
09/26/2009Pseudocode wasn't always executableWhy Pseudo-Code?
09/18/2009ProceedingsICFP 2009 Proceedings
09/19/2009Previously...Noop: Google Language for the JVM
09/17/2009Different GOALCoders at Work
09/17/2009JavaCoders at Work
09/13/2009Analogy with 'let'Background of call/cc
09/13/2009Primitive attractionBackground of call/cc
09/15/2009BurrowingBackground of call/cc
09/06/2009Curry-HowardLogic operations on types
08/22/2009Strategy CommitteeScheme to be split into two languages
08/20/2009Glad that's resolved!Why determinism matters in language design.
08/20/2009Non-deterministic, both ways, in the snowWhy determinism matters in language design.
08/25/2009Gently down the streamWhy determinism matters in language design.
08/17/2009True may be true, butKinds of Null
06/15/2009One to goGRS vs LTRS
06/11/2009Wrong objectionJob trends
06/12/2009Out of characterJob trends
06/12/2009Sum of all fearsJob trends
06/12/2009Random variables in HaskellBridging the informal and the formal
06/07/2009[admin]A Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009RetconningA Case for Gestures/Visualizations and Against Concrete Syntax
06/10/2009Barriers to entry and exitA Case for Gestures/Visualizations and Against Concrete Syntax
06/11/2009What I mean by "arbitrary"A Case for Gestures/Visualizations and Against Concrete Syntax
06/07/2009Then-contemporary workThe Myth of the Genius Programmer
06/07/2009History is written by the victorsThe Myth of the Genius Programmer
06/07/2009Colbertian market determinismThe Myth of the Genius Programmer
06/08/2009The reason for raisingThe Myth of the Genius Programmer
05/29/2009Optimism requires patienceQuestions Five Ways
05/29/2009Where's the light source?Questions Five Ways
05/20/2009Fixed in the topic, thanks.Acknowledging the cosmic bonk/oif balance
05/08/2009A Brief, Incomplete ... History of Programming LanguagesA Brief, Incomplete ... History of Programming Languages
06/09/2009spam-motRight on!
05/07/2009what are we stepping on?Right on!
05/05/2009Modules & versionsdealing with spam?
09/13/2009Direct linkBranching Time vs. Linear Time: Semantical Perspective
04/14/2009According to the DepartmentsScala Lift Off 2009
04/15/2009UltimataScala Lift Off 2009
04/16/2009LtUILoCCCScala Lift Off 2009
04/16/2009Semantics has a mathematical biasScala Lift Off 2009
04/11/2009Intuitive for 7 years alreadyADD 50 TO COBOL GIVING COBOL
04/04/2009"Proper context" == refuted?Twitter and Scala
04/02/2009TradeoffsA Computer-Generated Proof that P=NP
04/01/2009Announcing the HaskotAnnouncing the Haskot
04/01/2009Special occasionsAnnouncing the Haskot
03/22/2009Post-mortemSite problems
03/22/2009SQL is a leaky abstractionSite problems
03/04/2009TechnicalitiesThe Meta-LtU Thread
03/08/2009There is no λ in teamThe Meta-LtU Thread
03/07/2009This thread is meta-stasizingThe Meta-LtU Thread
03/06/2009In Just Seven Days...The Meta-LtU Thread
03/07/2009Blogger?The Meta-LtU Thread
03/01/2009Don't reduce under lambdaimplementing by-value reduction in lambda calculus
03/02/2009Reducing lambda bodiesimplementing by-value reduction in lambda calculus
03/02/2009Applicativeimplementing by-value reduction in lambda calculus
03/02/2009Reductionsimplementing by-value reduction in lambda calculus
02/05/2009Lisp Conference, March 22-25Lisp Conference, March 22-25
02/09/2009We can only hopePL Grand Challenges
02/10/2009Mellah yellahPL Grand Challenges
01/19/2009AlternativesMacro systems
01/19/2009More on syntax-caseMacro systems
01/20/2009AgreedMacro systems
01/22/2009Anything is possible at zombo.com^Wsyntax-caseMacro systems
01/22/2009Useful when you have two left shoesMacro systems
01/22/2009Re: AsideMacro systems
12/25/2008PlzeňerIf Programming Languages were &lt;T&gt;
09/25/2008If you can't prove it matters, it probably doesn'tMultiple inheritance with a single global ordering of classes
09/29/2008Subprime cartoon primerInformation regarding financial crisis
08/25/2008Industrial strengthFeatures of Common Lisp
08/25/2008Implementations! Implementations! Implementations!Features of Common Lisp
08/28/2008Not toy, but limitedFeatures of Common Lisp
07/23/2008Why allow it?FP in D 2.0
07/08/2008You *better* duck!The hits and misses of Microsoft
07/08/2008...Duck... Goose!The hits and misses of Microsoft
07/08/2008LtU variable binderThe hits and misses of Microsoft
06/27/2008Bell Labs in quantum flux?Request for participation
06/24/2008LinksPUSH programming language
06/23/2008FixedLASER Summerschool on Concurrency
06/26/2008(Current) compilers only report types intermittentlyScaling Type Inference
06/26/2008Re: Types in signaturesScaling Type Inference
06/26/2008No puzzleScaling Type Inference
06/21/2008ClassicPure imperative programming
05/20/2008Contravariance for the rest of usScala Lift Off Unconference review
05/06/2008The problem with mutabilityprogramming languages and facial hair
04/27/2008Educated speculationis there anybody knows about the origin "Dope Vector"?
04/27/2008Oll korrectis there anybody knows about the origin "Dope Vector"?
04/27/2008Computer science, Logo style2nd Revision of "Thoughts about the Best Introductory Language"
04/24/2008Felleisen, Hieb & PLT RedexOn Presenting Operational Semantics
04/23/2008Fetzer, the strong verificationistprogram verification: the very idea
04/27/2008On the purpose of heavenprogram verification: the very idea
04/27/2008definitional hazardsprogram verification: the very idea
04/17/2008parent linkanother issue/question/hope re: layout
04/14/2008Imagine physics without math...Applications of formal semantics
04/11/2008folding with tuplesCan local variables assignments be considered pure functional without monads?
04/13/2008Not so fastCan local variables assignments be considered pure functional without monads?
04/13/2008Back to unityped listsCan local variables assignments be considered pure functional without monads?
04/14/2008Cross-purposes?Can local variables assignments be considered pure functional without monads?
04/08/2008Perlis' responseProving compositions
04/27/2008AgreedStatic Analysis for Duck Typing
04/02/2008YesErasmus: A Modular Language for Concurrent Programming
04/02/2008Purity, where is thy sting?April 1st special: The War of the Worlds
04/02/2008Maybe voters prefer bumblers?April 1st special: The War of the Worlds
04/02/2008Category mismatchApril 1st special: The War of the Worlds
04/02/2008Chronological discrepancyApril 1st special: The War of the Worlds
04/02/2008Which order?trying to see forum+frontpage posts in order
03/20/2008codata & friendsRole of Types in Evaluation Strategy
03/07/2008link: State and modularityConfused Deputies in Programming Languages
02/28/2008Yes, but not everywhereIs null needed?
02/28/2008the essence of eliminationIs null needed?
02/28/2008Clarifying & ramblingIs null needed?
07/24/2008Risks of addressing practitioner concernsIs null needed?
08/08/2008Parenthetical remarksIs null needed?
07/23/2008For safety, import Safe.Is null needed?
02/17/2008Absurdumitude goes both wayssuccinctness
02/15/2008Related blogsPL Related Blogs
02/03/2008foreach's hidden functionsA name for this form of variable capture?
02/02/2008SortaA name for this form of variable capture?
02/03/2008We cannot implement what we cannot name?A name for this form of variable capture?
02/03/2008heap big troubleA name for this form of variable capture?
02/03/2008A name for this form of variable capture?A name for this form of variable capture?
01/31/2008Strategic forgiveness requestsDon't try FP in industry!
01/31/2008In that case,Don't try FP in industry!
01/31/2008But it doesn't even slice bread!Arc is released
01/31/2008That's the stated specArc is released
01/27/2008Getting FortressFortress Presentation
01/26/2008Get it while it's hotReally un-mutable Scheme
01/23/2008So that's why they call it a "Power" button!How useful is reflection, anyway?
01/24/2008No types for the wickedThe Design and Implementation of Typed Scheme
01/22/2008Java annotationsCompile-Time Execution in an Object Oriented Language
01/16/2008FixedFlower: a new way to write web services
01/30/2008Lambda, the ultimate...Prediction for 2008
01/08/2008Pay no attention to the elephantComputer Science Education: Where Are the Software Engineers of Tomorrow?
01/08/2008Reflections in the blogosphereIo
01/08/2008The use of trees in PLs and logicThe Land of the Terminal
12/12/2007Already happeningCUFP write-up
12/14/2007CS vs. physicsCUFP write-up
12/14/2007Small electron colliders[*] are cheapCUFP write-up
12/09/20071.nth-classnessfunctions, statements, expressions
12/09/2007Towards a theory...functions, statements, expressions
12/09/2007If ints are first-class, so are objectsfunctions, statements, expressions
12/08/2007Second-class with respect to...functions, statements, expressions
12/08/2007serializing first-class functionsfunctions, statements, expressions
12/09/2007Re: serializing functionsfunctions, statements, expressions
12/09/2007Inherently fuzzy definitionfunctions, statements, expressions
12/10/2007Some differences, some similaritiesfunctions, statements, expressions
12/09/2007Context & relativityfunctions, statements, expressions
12/06/2007There can be only /I.poll: syntax
12/07/2007Complex syntaxes can be friendlypoll: syntax
12/11/2007&lt;poll: syntax
12/13/2007[OT] Content of proofspoll: syntax
12/05/2007Fold for program semanticsParametric datatype-genericity
12/02/2007Not-so-strange bedfellowsMonadic and Substructural Type Systems for Region-Based Memory Management
11/28/2007Tail recursion vs. JVM bytecodeClojure
11/28/2007TCO & securityClojure
11/27/2007Deriving an answerWhat have I created?
11/28/2007Trees, types, and predictionsDerivation trees for lambda-calculus
11/28/2007Equivalent up to alpha conversionDerivation trees for lambda-calculus
11/25/2007Are you implying...The Carnap Programming Language
11/20/2007But when the ball drops on the cat's tail...Samurai - Protecting Critical Data in Unsafe Languages
11/24/2007Wrong word?Samurai - Protecting Critical Data in Unsafe Languages
11/26/2007Don't save the tarbabySamurai - Protecting Critical Data in Unsafe Languages
11/19/2007Link or it didn't happenWhat are the properties of "Functional Programming Languages"?
11/19/2007Why not?What are the properties of "Functional Programming Languages"?
11/24/2007ReferencesWhat are the properties of "Functional Programming Languages"?
11/24/2007Point?What are the properties of "Functional Programming Languages"?
11/25/2007Function pointers get you partway thereWhat are the properties of "Functional Programming Languages"?
11/25/2007Not sure about "dynamic"What are the properties of "Functional Programming Languages"?
11/25/2007Context!What are the properties of "Functional Programming Languages"?
11/20/2007Be seriousWhat are the properties of "Functional Programming Languages"?
11/15/2007LinkDavid Pollak on lift
11/14/2007For R6RS...PLT Redex operational semantics for Scheme
11/12/2007Generative Code Specialisation for High-Performance Monte Carlo SimulationsGenerative Code Specialisation for High-Performance Monte Carlo Simulations
11/12/2007OopsGenerative Code Specialisation for High-Performance Monte Carlo Simulations
10/29/2007Six-letter word ending in -oogleSearching for a quote
10/30/2007HarrumphSearching for a quote
10/30/2007TrueSearching for a quote
10/30/2007The computational expressivity of carsSearching for a quote
11/02/2007FoundationsGödel, Nagel, minds and machines
10/26/2007No monads neededOn the Importance of Purity
11/01/2007The programmer's chainsaw massacreOn the Importance of Purity
11/02/2007Puttin' on the RitzOn the Importance of Purity
11/02/2007Don't mutate me, bro!On the Importance of Purity
11/01/2007Good startOn the Importance of Purity
11/03/2007Progress via interparadigm-bouncingOn the Importance of Purity
11/04/2007SausagesOn the Importance of Purity
11/04/2007Be like waterOn the Importance of Purity
11/10/2007Disenhanced agreementOn the Importance of Purity
11/10/2007Your MOLEs are already deadOn the Importance of Purity
11/10/2007Burrow fast, they're comin' for ya! ;)On the Importance of Purity
10/30/2007!RTOn the Importance of Purity
11/28/2007Uniqueness typesOn the Importance of Purity
10/27/2007Is the identity function referentially transparent?On the Importance of Purity
11/02/2007Jesse James, language implementorOn the Importance of Purity
10/24/2007Another LtU hookThe simplest mechanism with Turing-equivalent power to date ...
10/23/2007DoneECMAScript 4 overview paper
10/30/2007Let's reinvent the web in another topicECMAScript 4 overview paper
10/29/2007Mmmm... pie!ECMAScript 4 overview paper
10/17/2007Haskell indoctrination requiredgrammars as a shared executable specification for language processing tools
10/19/2007oh, honey honeygrammars as a shared executable specification for language processing tools
10/21/2007and Hot Dog, too.grammars as a shared executable specification for language processing tools
10/17/2007Homepage vs. forumgrammars as a shared executable specification for language processing tools
10/12/2007LispExamples of large-scale functional language projects
10/20/2007[Admin]Examples of large-scale functional language projects
10/21/2007AgreedExamples of large-scale functional language projects
11/18/2007ExplanationExamples of large-scale functional language projects
11/18/2007ObservationExamples of large-scale functional language projects
10/14/2007Keep it technicalExamples of large-scale functional language projects
10/12/2007The six-horse Concord Coach cannot be beaten!Examples of large-scale functional language projects
11/19/2007When moles attackExamples of large-scale functional language projects
11/19/2007Sounds familiarExamples of large-scale functional language projects
10/09/2007Towards definitionsComputing is a Natural Science
10/11/2007ReuseComputing is a Natural Science
10/11/2007Languages are programs tooComputing is a Natural Science
10/12/2007PaxComputing is a Natural Science
10/13/2007Classical logic is your grandpa's formalismComputing is a Natural Science
09/30/2007cursityWitnessing Side-Effects
09/28/2007binding resultsBinary Lambda Calculus and Combinatory Logic
09/28/2007There's SO MUCH else to doBinary Lambda Calculus and Combinatory Logic
09/18/2007It's full of carsDivaScheme
09/07/2007Zipper as InsecticideZipper as Insecticide
11/26/2007C--Tagless Staged Interpreters for Simpler Typed Languages
09/04/2007mmm... dingo's kidneys...No Name: Just Notes on Software Reuse
08/29/2007EvenR6RS Validated
08/29/2007How manyR6RS Validated
08/31/2007Dare mighty thingsR6RS Validated
08/29/2007clarificationR6RS Validated
08/29/2007ScopeR6RS Validated
08/29/2007Tangible program historiesHistory of causes as object identity
08/27/2007Because the models say it isn'tWhat is a state?
08/28/2007Abstract machine stateWhat is a state?
09/06/2007Guesses are cheapWhat is a state?
09/07/2007Another exampleWhat is a state?
08/27/2007One more tryWhat is a state?
08/27/2007UsefulWhat is a state?
08/28/2007and beyondWhat is a state?
08/28/2007[OT] Tarski and suchWhat is a state?
08/25/2007Google is my memory, the stars my destinationFogotten Book Title
08/31/2007I included a historical noteFogotten Book Title
08/23/2007CoolAn Accidental Simula User, Luca Cardelli
08/24/2007Don't fight it.An Accidental Simula User, Luca Cardelli
08/23/2007LinksThread-safe Singleton in C#
08/23/2007not all states are unitedDiagram showing all programming paradigms and their relationships
08/23/2007S-expsDiagram showing all programming paradigms and their relationships
08/16/2007Why not?Metaobject protocols: Why we want them and what else they can do
08/14/2007...the line forms on thecreating my own programming language
08/03/2007abstracting over syntaxSyntactic abstraction? (newbie question)
08/03/2007defmacro?Syntactic abstraction? (newbie question)
08/07/2007...and back.Syntactic abstraction? (newbie question)
08/07/2007same diffSyntactic abstraction? (newbie question)
08/01/2007Continuation returning stylecontinuations and trampolining
08/21/2007machine states vs. mutable stateMonad Description For Imperative Programmer
08/19/2007Monads & CPSMonad Description For Imperative Programmer
08/21/2007maybe is not just a monadMonad Description For Imperative Programmer
07/29/2007OuchLtU turns 7: The year of spam
07/29/2007Thoughts from the middle of the gridLtU turns 7: The year of spam
07/29/2007Everyone's a moderatorLtU turns 7: The year of spam
07/30/2007Holes in the glass ceilingLtU turns 7: The year of spam
07/29/2007ClarificationLtU turns 7: The year of spam
07/29/2007Real namesLtU turns 7: The year of spam
07/30/2007Future technologyLtU turns 7: The year of spam
07/30/2007Good ideaLtU turns 7: The year of spam
04/29/2010One thing that happens isLtU turns 7: The year of spam
07/27/2007LinkSeam from PLT perspective
07/21/2007I favor explanation 2.Language Nirvana - Simon Peyton-Jones
07/21/2007Fifth possibilityLanguage Nirvana - Simon Peyton-Jones
07/31/2007—even the ones who do useLanguage Nirvana - Simon Peyton-Jones
08/01/2007Please doLanguage Nirvana - Simon Peyton-Jones
08/01/2007Hubris in namingLanguage Nirvana - Simon Peyton-Jones
08/01/2007Temporal relativity of NirvanaLanguage Nirvana - Simon Peyton-Jones
07/09/2007Haskell's hodgepodgeSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/02/2007Where's the paper?.NET-oriented metaprogramming framework for rapid compiler development
07/03/2007Camlp4Good Language Design Principals for Scripting Languages
07/03/2007Implementing verb/noun combination in Camlp4Good Language Design Principals for Scripting Languages
06/29/2007Yale HaskellThe feasability of Haskell in Scheme
06/28/2007Haskell web storeHaskell web store
06/28/2007RelevanceHaskell web store
07/05/2007[OT] ML monadsSingularity: Rethinking the Software Stack
06/23/2007PurposeStanding on each others' feet
06/26/2007Window into a possibility spaceStanding on each others' feet
06/20/2007YesPython 3000 Status Update
06/20/2007DenialPython 3000 Status Update
06/21/2007Laundry listPython 3000 Status Update
06/21/2007charging aheadPLs and large scale development
06/12/2007Derivative of a googlingDerivatives of Regular Expressions
06/09/2007There is no tryECMAScript Edition 4 Reference Implementation
06/09/2007The oppressor in the mirrorECMAScript Edition 4 Reference Implementation
06/10/2007Appeal to the refECMAScript Edition 4 Reference Implementation
10/09/2007LambdacatsIM IN UR COMPUTER, HAXIN UR CODE
02/14/2008Not in general"Practical" advantages of lazy evaluation
06/04/2007Curried vs. partial applicationCurrying != Generalized Partial Application?!
01/07/2008Verify, then trustSocial Processes and Proofs of Theorems and Programs
01/03/2008Zero point energySocial Processes and Proofs of Theorems and Programs
05/18/2007Eval & apply are not interchangeableWhat's in a name: eval vs apply.
05/18/2007term rewriting perspectiveWhat's in a name: eval vs apply.
05/18/2007Down with functions :)What's in a name: eval vs apply.
05/24/2007Stack-based, face it. :)What's in a name: eval vs apply.
05/22/2007LinkHow to make the static represent the dynamic?
06/01/2007Alligators, educatorsLC for kids (alligators, oh my!)
05/06/2007PLAI in printPLAI in print
05/03/2007New departmentFunctional Object-Oriented Programming
05/02/2007Real integers don't wrapIs Integer wrapping an exceptional condition?
05/02/2007Optimize for people or hardware?Is Integer wrapping an exceptional condition?
05/02/2007Thinking outside the CPUIs Integer wrapping an exceptional condition?
05/02/2007CPUs won't always be modernIs Integer wrapping an exceptional condition?
05/03/2007Son of Lisp machineIs Integer wrapping an exceptional condition?
05/02/2007How about...Microsoft's new Dynamic Language Runtime (DLR)
05/03/2007Programming =&gt; programsMicrosoft's new Dynamic Language Runtime (DLR)
05/15/2007Machines don't care about semanticsMicrosoft's new Dynamic Language Runtime (DLR)
05/11/2007Learning is goodMicrosoft's new Dynamic Language Runtime (DLR)
05/15/2007[Admin]Microsoft's new Dynamic Language Runtime (DLR)
05/04/2007Silly seasonMicrosoft's new Dynamic Language Runtime (DLR)
05/04/2007Real concernsMicrosoft's new Dynamic Language Runtime (DLR)
05/12/2007As do they allThe Monad.Reader
05/12/2007Proofs considered incidentalThe Monad.Reader
05/12/2007Essential tests check types anywayThe Monad.Reader
05/12/2007Perhaps nuanced arguments are doomedThe Monad.Reader
05/13/2007Infinite testing takes too longThe Monad.Reader
05/13/2007Proof doesn't go far enoughThe Monad.Reader
05/13/2007More infoThe Monad.Reader
05/13/2007If a type appears in a forest that's not statically checked...The Monad.Reader
05/13/2007OuchThe Monad.Reader
05/13/2007Not so fastThe Monad.Reader
05/16/2007YesThe Monad.Reader
05/12/2007Not relevantThe Monad.Reader
05/13/2007Phantom witnessesThe Monad.Reader
05/13/2007Trickle-down to practicalThe Monad.Reader
05/15/2007We choose to formally verify in this decadeThe Monad.Reader
03/19/2008SneakyThe Monad.Reader
04/25/2007Arc in action (a.k.a. it's aliiiiive!)Arc in action (a.k.a. it's aliiiiive!)
04/29/2007Real workArc in action (a.k.a. it's aliiiiive!)
04/25/2007LinkGoogle Tech Talk: Phil Gosset discusses parametric polymorphism and girard-reynolds isomorphism
04/22/2007Almost invisible upgradeAlmost invisible upgrade
04/22/2007StatusAlmost invisible upgrade
04/23/2007Pushbutton theme problemAlmost invisible upgrade
04/23/2007Presumed correctAlmost invisible upgrade
04/23/2007RevelationsAlmost invisible upgrade
04/23/2007Hat tippingAlmost invisible upgrade
04/24/2007Pick a framework?Almost invisible upgrade
05/02/2007Framework powerAlmost invisible upgrade
04/21/2007Nice!From abstract interpretation to small-step typing
04/23/2007Fishing rightsFrom abstract interpretation to small-step typing
04/25/2007Examples?From abstract interpretation to small-step typing
04/25/2007That helpsFrom abstract interpretation to small-step typing
04/16/2007typonym?Twitter and Rails brouhaha
05/04/2007All things come...Twitter and Rails brouhaha
04/17/2007Achieving itThoughts about the Best Introductory Language
04/16/2007Not quite there yetThoughts about the Best Introductory Language
04/17/2007Losing battlesThoughts about the Best Introductory Language
04/18/2007IDEsThoughts about the Best Introductory Language
04/18/2007Dreams and vaporThoughts about the Best Introductory Language
04/18/2007Awesome for what?Thoughts about the Best Introductory Language
04/19/2007Going all the wayThoughts about the Best Introductory Language
04/19/2007Is more strictly better than less?Thoughts about the Best Introductory Language
04/19/2007Specific is the new generalThoughts about the Best Introductory Language
04/19/2007Think of the studentsThoughts about the Best Introductory Language
04/20/2007What lies beneathThoughts about the Best Introductory Language
04/18/2007[admin] toneThoughts about the Best Introductory Language
04/20/2007Modus ponens considered harmfulThoughts about the Best Introductory Language
04/18/2007Environments for Teaching Kids to ProgramThoughts about the Best Introductory Language
04/08/2007The weakness of most AOP examplesA Temporal Logic Language for Context Awareness in Pointcuts
04/09/2007No shortage of compilersDeliverable code?
04/12/2007Mud wrestlingDeliverable code?
04/11/2007Ehud told us soDeliverable code?
04/14/2007ExamplesDeliverable code?
04/14/2007DriftingDeliverable code?
04/14/2007More difficult, not impossibleDeliverable code?
04/14/2007Native is harderDeliverable code?
04/14/2007Dynamic solutionDeliverable code?
04/01/2007Mutable variables eliminated from .NETMutable variables eliminated from .NET
03/28/2007Expect New Major Language Within Five YearsExpect New Major Language Within Five Years
03/31/2007Less impressive than it soundsExpect New Major Language Within Five Years
03/27/2007Feedback opportunitiesR6RS Ratification
03/27/2007The nice thing about trusted judgments...R6RS Ratification
03/28/2007In general, yes. But...R6RS Ratification
03/24/2007Speaking of wild-eyed proponency...A Real-World Use of Lift, a Scala Web Application Framework
03/20/2007CorrectedJohn Backus has passed away
03/20/2007FORTRAN was my firstJohn Backus has passed away
03/17/2007ReferralTracing in DrScheme
03/20/2007Code welcomeSubject headings
03/16/2007...and LispGoogle Summer of Code
03/14/2007Definition of succinct misunderstoodPico Lisp: A Case for Minimalist Interpreters?
03/15/2007No problemPico Lisp: A Case for Minimalist Interpreters?
03/15/2007PICBITPico Lisp: A Case for Minimalist Interpreters?
03/13/2007Missed someOrder of the Science Scouts Badges
03/21/2007Oh yeah?Order of the Science Scouts Badges
03/13/2007Actually...CFP: Programming Languages for Mechanized Mathematics Workshop
03/14/2007diminisher of harm-path of ness of swordPiraha Exceptionality: a Reassessment
03/15/2007And everyone knowsPiraha Exceptionality: a Reassessment
03/12/2007A little less circular than thatWhat's up with Lua?
03/11/2007Point?What's up with Lua?
03/11/2007HybridWhat's up with Lua?
03/12/2007InevitabilityWhat's up with Lua?
03/10/2007Tuples as multiple valuesGilad Bracha on tuples
03/08/2007imperfect blendBlending static and dynamic typing
03/06/2007PunctuationKourier is now live
03/05/2007Erlang as runtime platform for CL DSLsKourier is now live
03/07/2007Gambit threads and the future of concurrencyKourier is now live
03/04/2007Three approachesHow to Evaluate Lambda Expressions
03/02/2007DefinitionsNon-Applicative Functional Languages
03/08/2007jumping in (not pushing or popping)Non-Applicative Functional Languages
03/09/2007You are saying that thereNon-Applicative Functional Languages
03/02/2007Interpreting the questionNon-Applicative Functional Languages
03/01/2007Fixed"Recent Post" funkiness
01/25/2008Battle for student mindshareMapReduce
02/26/2007Wanted: flying carOn the fact that the Atlantic Ocean has two sides
03/05/2007Buddhas are resilientOn the fact that the Atlantic Ocean has two sides
02/27/2007If you meet the Buddha on the roadThe Computer Revolution Hasn't Happened Yet
03/07/2007downloadingDao, a new programming language
02/18/2007The use of automata theoryAutomata-Based Programming
02/20/2007The Little JavascripterHow to teach Functional Programming... in Flash???
02/14/2007ContextThreads in JavaScript?
02/15/2007Slow is in the eye of the userRegular Expression Matching Can Be Simple And Fast
02/16/2007Multimethod linkEasy to learn and use
02/08/2007Tonight make it magnificentPatrick Logan on Software Transaction Memory
02/08/2007Predicting feature qualityPatrick Logan on Software Transaction Memory
02/09/2007Dey turk ma jugh!Patrick Logan on Software Transaction Memory
02/10/2007Why terrible?Patrick Logan on Software Transaction Memory
02/10/2007TFA^2Patrick Logan on Software Transaction Memory
02/08/2007That's anaphora, but...Programming Shorthands
02/07/2007Related presentationACM Queue: Realtime Garbage Collection
02/07/2007Worth clarifyingOpinions on _Theoretical Introduction to Programming_?
02/07/2007Google previewOpinions on _Theoretical Introduction to Programming_?
02/07/2007Latent type errorTermination Checking with Types
02/08/2007The answer was withinTermination Checking with Types
02/05/2007Off-topicOpenGL
02/08/2007Subtract some heartSteps Toward The Reinvention of Programming
06/11/2007Static vs. erasableSteps Toward The Reinvention of Programming
06/11/2007Lisp in ML's clothingSteps Toward The Reinvention of Programming
02/08/2007Static reasoning in SchemeSteps Toward The Reinvention of Programming
02/02/2007Meta-Compilation of Language AbstractionsMeta-Compilation of Language Abstractions
02/05/2007ClarificationMeta-Compilation of Language Abstractions
01/31/2007Off-topicWant to do undergraduate research, but CS dept is weak...
01/30/2007Books?Looking for extra-basic reference on PL theory
01/29/2007ECMAScript has fully-featured closures.What is a "fully featured closure"? Request for comments.
01/29/2007In the proposed semanticsWhat is a "fully featured closure"? Request for comments.
01/29/2007Needs minor changeWhat is a "fully featured closure"? Request for comments.
01/29/2007Caffeine highWhat is a "fully featured closure"? Request for comments.
01/29/2007Still not lexically boundWhat is a "fully featured closure"? Request for comments.
01/29/2007'return' as a lexically-scoped nameWhat is a "fully featured closure"? Request for comments.
01/29/2007NopeWhat is a "fully featured closure"? Request for comments.
01/29/2007'return' is a special caseWhat is a "fully featured closure"? Request for comments.
01/27/2007[OT] Terminology defenseRalf Lammel: Stop dysfunctional programming
01/28/2007C#, not C++?Ralf Lammel: Stop dysfunctional programming
01/28/2007Shall I compare thee...Ralf Lammel: Stop dysfunctional programming
01/28/2007[OT] the subject line elves...LCA2007: Concurrency and Erlang
01/19/2007Scheme: Second R6RS draft publishedScheme: Second R6RS draft published
01/20/2007Phase separationScheme: Second R6RS draft published
01/22/2007Interactive semanticsScheme: Second R6RS draft published
01/22/2007Executive summary (for lambda-literate executives)Scheme: Second R6RS draft published
01/27/2007Good ideaScheme: Second R6RS draft published
01/14/2007So where does last goNinety-nine Lisp Problems
01/12/2007All you need is a time series database of the InternetFinding Landin's "The Mechanical Evaluation of Expressions"
02/06/2007ExperienceWhy people don't use functional programming?
02/07/2007Re: Missed communicationsWhy people don't use functional programming?
02/07/2007"why don't they use it,Why people don't use functional programming?
02/07/2007"Pointers to papers"Why people don't use functional programming?
02/06/2007Lists generalize to recursive typesWhy people don't use functional programming?
02/06/2007Fixation on purityWhy people don't use functional programming?
02/06/2007Purity mattersWhy people don't use functional programming?
02/06/2007Feathers & glueWhy people don't use functional programming?
03/09/2007LinksWhy people don't use functional programming?
03/09/2007Region-basedWhy people don't use functional programming?
02/19/2007DebuggingWhy people don't use functional programming?
02/16/2007UntanglingWhy people don't use functional programming?
03/03/2007Google vs. MonsterWhy people don't use functional programming?
03/05/2007Why the sea is boiling hotWhy people don't use functional programming?
03/05/2007You may seek it with thimblesWhy people don't use functional programming?
03/03/2007Biting the shoulders you're standing onWhy people don't use functional programming?
01/01/2007Memory manipulation mangles mathematical meticulousnessWhy numbering should start at 0
01/01/2007Answer: 0. Question: ?Why numbering should start at 0
01/02/2007IntuitionWhy numbering should start at 0
01/02/2007When is the third floor not the third floor?Why numbering should start at 0
01/02/2007Curmudgeons wantedWhy numbering should start at 0
12/27/2006ThemesTheme styles
12/31/2006"Real closures"Question about closures and higher-order functions
12/31/2006EOPL definitionQuestion about closures and higher-order functions
12/31/2006Yes, but does K know that it's not lexically scoped?Question about closures and higher-order functions
03/05/2007Not complicated enoughWhy do we need finally in try?
03/07/2007talking about codeWhy do we need finally in try?
03/07/2007True.Why do we need finally in try?
12/17/2006The first thing we do...Theorem proving and patents ...
12/13/2006comp.lang.lispCompile to binary in common lisp?
12/27/2006HintsCommercial Users of Functional Programming 2006
12/07/2006Good pointDate format in the forum
12/07/2006HmmDate format in the forum
12/05/2006More TT: A Dialect of Lisp
12/05/2006[Admin] ProbationBreaking the Abstraction Ceiling
12/03/2006Interpreters againHow to write a Programming Language Paper?
12/05/2006InputHow to write a Programming Language Paper?
12/01/2006NamesSK Calculus not Consider SeKsy?
12/01/2006WelcomeSK Calculus not Consider SeKsy?
12/01/2006Chris' Combinator CalculatorSK Calculus not Consider SeKsy?
11/29/2006OutageOutage
11/30/2006FP in PL theoryThe Future of LtU
12/01/2006RelativismThe Future of LtU
11/26/2006Look upon my corner cases, ye mighty, and despair!Java Generics and Collections
11/27/2006IncongruityJava Generics and Collections
11/30/2006Category theory for beginnersJava Generics and Collections
11/18/2006The current continuation is "Getting Started"The replay bug
11/21/2006Functional metalanguagesThe replay bug
11/17/2006Target audienceDe-Scheming MIT?
11/18/2006Re: Target audienceDe-Scheming MIT?
11/17/2006Further detailsDe-Scheming MIT?
04/06/2007Why do we start teachingDe-Scheming MIT?
04/06/2007LC similaritiesDe-Scheming MIT?
11/17/2006[OT] line breakAbstractly typed languages
11/15/2006Connecting dotsSecond Life Faces Threat to its Virtual Economy
11/15/2006Why a threat?Second Life Faces Threat to its Virtual Economy
11/15/2006A for AnythingSecond Life Faces Threat to its Virtual Economy
11/16/2006Analog plugSecond Life Faces Threat to its Virtual Economy
11/16/2006True, butSecond Life Faces Threat to its Virtual Economy
11/13/2006And anotherWriting A Lisp Interpreter In Haskell
11/13/2006RedirectAnyone know Prolog here?
11/12/2006Eat my brainFunctional programming and software engineering
11/12/2006Teaching to fishFunctional programming and software engineering
11/12/2006Executable specifications are modelsFunctional programming and software engineering
11/12/2006normalization vs. DRYFunctional programming and software engineering
11/13/2006Distinguish from FP?Functional programming and software engineering
11/14/2006Liberation from the state transition styleFunctional programming and software engineering
11/14/2006Eschew lambda expressionsFunctional programming and software engineering
11/14/2006The answers are out there (or in here)Functional programming and software engineering
11/14/2006Tail call optimization considered essentialFunctional programming and software engineering
11/15/2006OK.. This is getting deep,Functional programming and software engineering
11/15/2006gcc kicks tailFunctional programming and software engineering
11/15/2006Hidden loops? Obscured functions!Functional programming and software engineering
11/15/2006C in contextFunctional programming and software engineering
11/17/2006Wrapup?Functional programming and software engineering
11/23/2006Evaluating definitions firstSICP Translations
11/23/2006Lua?SICP Translations
11/27/2006ThanksSICP Translations
11/12/2006Parser generators everywhereDodo
11/13/2006Recommended readingDodo
11/22/2006Answered in followupDodo
11/02/20061.5 out of twoBest Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!!
10/28/2006Plug the type system gapWant to learn something new
10/29/2006Just jump! :)Want to learn something new
11/07/2006ExplanationWant to learn something new
11/05/2006Not a technical distinctionWant to learn something new
11/04/2006Time for an alpha conversion?Future of software design?
11/09/2006Don't set the AI bar too lowFuture of software design?
11/21/2006Wrong forum?Future of software design?
11/21/2006So be part of the solutionFuture of software design?
10/27/2006[Admin]Practical OCaml
11/01/2006confusion?Practical OCaml
10/31/2006Metaprogramming facilitiesPractical OCaml
10/26/2006Will the real integers please stand up?The Type of 42
10/27/2006Eval in two linesThe Type of 42
10/27/2006Being strictThe Type of 42
10/21/2006Waldemar's CL stuffSpecifying ECMAScript via ML
10/18/2006Updated linkSystem-level Static Analysis
10/20/2006SL5 and monadsRalph Griswold died
10/21/2006Argument transmitters and monadic 'bind'Ralph Griswold died
10/21/2006The pros and cons of kitchen-sinkingRalph Griswold died
10/13/2006LogFun - Building Logics by Composing FunctorsLogFun - Building Logics by Composing Functors
10/27/2006CopyrightComputational Thinking
09/30/2006ThanksCorrections to be made to the Papers page
09/05/2006Dynamic types are a secondary effectDynamic Semantics
08/25/2006Types as Abstract InterpretationMulti-Stage Languages
08/22/2006Detailswidth still fixed?
08/22/2006ReformattedClosures for Java or money back
08/20/2006Binonymous inner classesClosures for Java or money back
08/20/2006Out of excusesClosures for Java or money back
08/20/2006Usable closuresClosures for Java or money back
08/21/2006Dijkstra considered ineffectiveClosures for Java or money back
08/21/2006Adde parvum parvo magnus acervus eritClosures for Java or money back
08/23/2006Mmm... icingClosures for Java or money back
08/23/2006Relevance?Closures for Java or money back
08/25/2006Back door continuationsClosures for Java or money back
08/25/2006Well, of course. :)Closures for Java or money back
08/18/2006Dynamic metaprogramming is the problemCan a dynamically typed language support type inference?
08/18/2006HappilyCan a dynamically typed language support type inference?
08/18/2006As Homer would say...Can a dynamically typed language support type inference?
08/17/2006Decomposing lambda - the Kernel languageDecomposing lambda - the Kernel language
08/17/2006Summer on the webEarly retirement?
08/09/2006Type-freedomLisp Lovers, how would you fix Lisp or bring it up to date?
08/09/2006Glad toLisp Lovers, how would you fix Lisp or bring it up to date?
08/09/2006Anti-obfuscated language challengeLisp Lovers, how would you fix Lisp or bring it up to date?
08/09/2006The syntax is always funnier on the other sideLisp Lovers, how would you fix Lisp or bring it up to date?
04/27/2008Dangerous language features are dangerousLisp Lovers, how would you fix Lisp or bring it up to date?
04/28/2008C isn't special (technically)Lisp Lovers, how would you fix Lisp or bring it up to date?
04/28/2008Manufactured dissentLisp Lovers, how would you fix Lisp or bring it up to date?
08/04/2006Javascript in Java 6eWeek: Sun Digging Deep for Dynamic Language Support
08/04/2006Note from a titular etymologisteWeek: Sun Digging Deep for Dynamic Language Support
08/05/2006Trivial transformationThe Killer Application for Concatenative Languages
08/07/2006A.k.a. macrosThe Killer Application for Concatenative Languages
08/07/2006Linear modelsThe Killer Application for Concatenative Languages
08/03/2006vs. exceptionsManaging missing information through Condition Propagation
07/31/2006OrphanedLisp sans (((paren-theses ((hell)))))
07/31/2006Gambit's six-scriptLisp sans (((paren-theses ((hell)))))
08/01/2006Backquotes and other storiesLisp sans (((paren-theses ((hell)))))
07/31/2006"Become" in SmalltalkPolymorphic replacement
08/01/2006Proving the universe correctCost of provably-correct code
07/21/2006This is also howAdvantages of Soft Typing
07/22/2006Missed a spotAdvantages of Soft Typing
07/23/2006Inexorable push to dynamic languagesAdvantages of Soft Typing
07/23/2006Hair's the problemAdvantages of Soft Typing
07/23/2006Counter-thesisAdvantages of Soft Typing
07/23/2006Either already solved, or not solvableAdvantages of Soft Typing
07/24/2006Tags are gonna get youAdvantages of Soft Typing
07/24/2006WowAdvantages of Soft Typing
07/24/2006#1 achievedAdvantages of Soft Typing
07/24/2006One function per typeAdvantages of Soft Typing
07/26/2006Not polymorphicAdvantages of Soft Typing
07/26/2006ExampleAdvantages of Soft Typing
07/19/2006Stop.Advantages of Soft Typing
07/19/2006[admin] 4(b)Advantages of Soft Typing
07/19/2006DetailsAdvantages of Soft Typing
07/16/2006Protocols everywhereA Core Calculus for Scala Type Checking
07/16/2006Latent saladOOP Parallel class hierarchies
07/16/2006Multi-system reasoningOOP Parallel class hierarchies
07/16/2006No argumentOOP Parallel class hierarchies
07/16/2006Vapor typesOOP Parallel class hierarchies
07/16/2006More concreteOOP Parallel class hierarchies
07/13/2006Maybe LuaWriting an interpreter, targeting a VM or writing from scratch?
07/15/2006A-Normal FormWriting an interpreter, targeting a VM or writing from scratch?
07/17/2006LC in 90 minutesWriting an interpreter, targeting a VM or writing from scratch?
07/09/2006Community enforcement discussionCommunity enforcement discussion
07/10/2006More like UsenetCommunity enforcement discussion
07/07/2006Failure-oblivious computingFailure-oblivious computing
07/07/2006Not the paperFailure-oblivious computing
07/09/2006RedirectFailure-oblivious computing
07/09/2006Or does it?Failure-oblivious computing
07/10/2006Gory reduction detailsProgramming Languages and Lambda Calculi
07/10/2006StrategaryProgramming Languages and Lambda Calculi
07/10/2006The trouble with quibbles...Programming Languages and Lambda Calculi
07/11/2006Corrected linkProgramming Languages and Lambda Calculi
07/11/2006CorrectionProgramming Languages and Lambda Calculi
09/21/2006Strachey on CPLonline literature on CPL?
07/04/2006Near-perfect fit?Lexical structure of scripting languages
07/01/2006Who said anything about computer programming?Amusing question
06/30/2006Characteristica UniversalisGottfried Wilhelm Leibniz
06/30/2006Leibniz' fictional legacyGottfried Wilhelm Leibniz
06/27/2006More safety-critical JavaOxymoronic? "Safety-critical development guidelines for real-time Java"
06/26/2006Good ideaLtU: Policies document
06/26/2006No doubt the examples will comeLtU: Policies document
06/26/2006Establishment of firmnessLtU: Policies document
06/27/2006I hereby publish this comment...LtU: Policies document
06/30/2006Good oneLtU: Policies document
06/29/2006As we goLtU: Policies document
06/30/2006Old Etonians only, not!LtU: Policies document
06/30/2006It dependsLtU: Policies document
07/03/2006Work in progressLtU: Policies document
06/27/2006Feature not bugPetition for adding garbage collection to C++.
06/26/2006Real-time GCPetition for adding garbage collection to C++.
06/25/2006RAINAP (not a panacea)Petition for adding garbage collection to C++.
06/30/2006There are only two kinds of people in the world...What are the real benefits of FP?
06/24/2006Studying languages vs. poking at paradigmsWhat are the real benefits of FP?
06/24/2006Thanks for the feedbackWhat are the real benefits of FP?
06/25/2006Archimedes' leverWhat are the real benefits of FP?
06/25/2006Characterizing Users as Non-Linear, First-Order ComponentsWhat are the real benefits of FP?
06/21/2006I neither confirm nor deny...Charles Babbage Institute
06/17/2006Compared to function calls aloneWhat is the Meaning of These Constant Interruptions?
06/18/2006ContextWhat is the Meaning of These Constant Interruptions?
06/17/2006VolumeWhy only 'minimal' languages
06/17/2006[admin]Why only 'minimal' languages
06/18/2006AgreedWhy only 'minimal' languages
06/18/2006[admin] explanationWhy only 'minimal' languages
06/16/2006How do we tell truths...The Semicolon Wars
06/12/2006ContextChurch-Turning is False?
06/08/2006Another voteLtU: blog not forum!
06/16/2006Great stuffLtU: blog not forum!
06/24/2006Re: ElitarianLtU: blog not forum!
06/07/2006Shh!Public resources for ECMAScript Edition 4
06/01/2006LinkJavaScript 2 and the Future of the Web
06/03/2006Par for the courseJavaScript 2 and the Future of the Web
06/01/2006DefuzzificationJavascript department
06/01/2006Jay Leno? Ouch!Javascript department
06/02/2006DepartmentsJavascript department
06/04/2006FixedJavascript department
06/04/2006Blame meJavascript department
06/01/2006setTimeoutNarrative Javascript
06/02/2006Partial CPSNarrative Javascript
06/02/2006Too much recursionNarrative Javascript
05/30/2006Type inference for PythonType inference for Python
05/30/2006Type FeedbackType inference for Python
05/30/2006ClarificationType inference for Python
05/30/2006ThanksType inference for Python
05/30/2006Guido doesn't get to decide :)Type inference for Python
05/29/2006Runtime type informationBuried Treasure - No Fluff Just Stuff
06/06/2006DetailsBuried Treasure - No Fluff Just Stuff
05/30/2006Depends on the goalBuried Treasure - No Fluff Just Stuff
05/30/2006MeouchBuried Treasure - No Fluff Just Stuff
06/02/2006Slight hindrancesBuried Treasure - No Fluff Just Stuff
05/29/2006Soft typingBuried Treasure - No Fluff Just Stuff
05/30/2006Known by whom?Buried Treasure - No Fluff Just Stuff
05/30/2006Ingredients for a religious debateBuried Treasure - No Fluff Just Stuff
05/31/2006Fact-checkBuried Treasure - No Fluff Just Stuff
06/01/2006FundamentalismBuried Treasure - No Fluff Just Stuff
06/02/2006Types and meaningBuried Treasure - No Fluff Just Stuff
06/03/2006Relevant my hyperbaton isBuried Treasure - No Fluff Just Stuff
06/04/2006Axiom of forgetfulnessBuried Treasure - No Fluff Just Stuff
06/04/2006What specific type systemBuried Treasure - No Fluff Just Stuff
05/23/2006Current setupEditing posts
05/24/2006Freedom to editEditing posts
05/21/2006Variation on the "Chinese curse"Erlang/OTP release with multiprocessor support
05/22/2006Tool power =&gt; Language powerGilad Bracha: Will Continuations continue?
05/22/2006Straight man?Gilad Bracha: Will Continuations continue?
05/22/2006You don't hate tool developers, do you?Gilad Bracha: Will Continuations continue?
05/22/2006Yeah! Down with names!Ethnographic Study of Copy and Paste Programming Practices in OOPL
05/22/2006HOFs are less abstract?Ethnographic Study of Copy and Paste Programming Practices in OOPL
05/22/2006Know thy user? If only!Ethnographic Study of Copy and Paste Programming Practices in OOPL
05/25/2006Groundednessruby vs python
05/18/2006Figure out the semantics firstruby vs python
05/22/2006Pure, lazy and lambda-like narrows it down some...ruby vs python
05/13/2006Invention vs. innovationLINQ May 2006 Preview
05/13/2006ThanksBuilding Interpreters by Composing Monads
06/03/2006CorrectionsMultidimensional Virtual Classes
05/03/2006Brains and stuffProofs are Programs: 19th Century Logic and 21st Century Computing
05/03/2006Linear Logic vs GCWhat do you believe about Programming Languages (that you can't prove (yet))?
05/04/2006Is it a cost?What do you believe about Programming Languages (that you can't prove (yet))?
04/26/2006What it doesBuild your own scripting language for Java
04/26/2006What apps use itBuild your own scripting language for Java
04/20/2006Better modelLang .NET 2006
04/20/2006I like that songLang .NET 2006
04/20/2006AgreeLang .NET 2006
04/23/2006Burden?Lang .NET 2006
04/03/2006Don't forget the ultimatePurity in PLT
04/07/2006[OT] succ(x)Purity in PLT
04/04/2006See that "(new topic)" link on the left?Native delimited continuations in (byte-code) OCaml
04/01/2006This blogPHP 6 picks up GOTO and COMEFROM
04/01/2006Close enoughPHP 6 picks up GOTO and COMEFROM
04/01/2006Ook? Ook!PHP 6 picks up GOTO and COMEFROM
03/31/2006Termin-ologyClass hierarchies and Ontologies
04/01/2006One man's jargon...Class hierarchies and Ontologies
04/01/2006Machine understandingClass hierarchies and Ontologies
04/01/2006Connecting interpretationsClass hierarchies and Ontologies
04/02/2006Don't interpreters interpret?Class hierarchies and Ontologies
04/03/2006Metaphor vs. projectionClass hierarchies and Ontologies
04/02/2006Mechanically encodable semanticsClass hierarchies and Ontologies
04/02/2006Not aloneClass hierarchies and Ontologies
03/27/2006Off-topicMatlab problems
03/26/2006[admin] Domain lookup issues fixed[admin] Domain lookup issues fixed
03/27/2006"Everything" is checked except the bits you're ignoringExtremely static language?
03/27/2006Not your grandfather's SchemeExtremely static language?
03/28/2006What else is leftExtremely static language?
03/28/2006The contracts are checkedExtremely static language?
03/22/2006The Google AIGoogle Magic
03/23/2006Pagerank and AIGoogle Magic
03/28/2006Renamed for a new generationGoogle Magic
03/21/2006FixedProblem with forum listings
03/23/2006Filing dateUsing continuations in Web applications is patented
03/17/2006Ain't browser UIs wonderful?Back button & scroll position
03/17/2006Disruptive language technologiesSocial science research about programming language adoption?
03/17/2006IndicationsProgramming: 50, 100 years from now
03/23/2006Tolerate experimentationProgramming: 50, 100 years from now
03/17/2006ExpectationsACM Queue: On Usability of Programming Languages
03/10/2006All within the margin of errorDSLs: How and When?
03/08/2006Scheme Language Steering Committee Report to the CommunityScheme Language Steering Committee Report to the Community
03/10/2006State of the art-est macrosScheme Language Steering Committee Report to the Community
03/10/2006Now with 21% more hygiene!Scheme Language Steering Committee Report to the Community
03/12/2006syntax-case integrationScheme Language Steering Committee Report to the Community
03/12/2006Just one componentScheme Language Steering Committee Report to the Community
03/12/2006Non-minimal responseScheme Language Steering Committee Report to the Community
03/14/2006PrecedentScheme Language Steering Committee Report to the Community
03/14/2006SortingScheme Language Steering Committee Report to the Community
03/14/2006SRFI 32Scheme Language Steering Committee Report to the Community
03/13/2006Welcome!Scheme Language Steering Committee Report to the Community
03/23/2006Preserving a small, elegant languageScheme Language Steering Committee Report to the Community
03/14/2006Why boxes?Scheme Language Steering Committee Report to the Community
02/28/2006Take a ride on the MTATail call elimination decorator in Python
03/01/2006What counts as flat?Tail call elimination decorator in Python
03/01/2006LiSPTail call elimination decorator in Python
02/28/2006POJO Risin'Leak Free Javascript Closures
02/24/2006Fixed linkIntroduction to the Java EE 5 Platform
02/24/2006Annotations vs. POJOsIntroduction to the Java EE 5 Platform
02/24/2006Why these frameworks?Introduction to the Java EE 5 Platform
02/27/2006Configuration languageIntroduction to the Java EE 5 Platform
03/02/2006Right, why reinvent wheels?Introduction to the Java EE 5 Platform
02/23/2006Rehab for typoholicsGilad Is Right
02/24/2006Mindset being the operative wordGilad Is Right
02/28/2006"Sound" type system?Gilad Is Right
03/01/2006What is the sound of a type not being checked?Gilad Is Right
03/01/2006Relevance, etc.Gilad Is Right
03/02/2006Assumptions about proofGilad Is Right
03/01/2006The compromiseGilad Is Right
03/01/2006Wrong goalGilad Is Right
03/01/2006Optional types & annotationsGilad Is Right
02/24/2006"Later" doesn't necessarily meanGilad Is Right
03/01/2006100% certainty is 98% irrelevantGilad Is Right
02/24/2006Running a program earlierGilad Is Right
02/25/2006Stubs as offeringsGilad Is Right
02/16/2006Duff's device qualifiesAccidental Syntax
02/16/2006You can have it both waysGuido: Language Design Is Not Just Solving Puzzles
02/14/2006!(REST vs. Continuations)Programming Languages: Application and Interpretation
02/15/2006!(REST vs. Continuations)Programming Languages: Application and Interpretation
02/04/2006Scheme for scriptingUnix as programming language
02/04/2006Except that you would reallyUnix as programming language
02/10/2006Transliterating bash to SchemeUnix as programming language
10/25/2009DriftingThe Next Mainstream Programming Languages
10/27/2009[admin]The Next Mainstream Programming Languages
10/28/2009Glitch in the matrixThe Next Mainstream Programming Languages
10/27/2009[admin] ProbationThe Next Mainstream Programming Languages
02/01/2006Links & quotesWhat is a monad, why should I use it, and when is it appropriate?
02/01/2006Quotation & macrosIs the .NET platform embracing quotation and macros?
02/07/2006Eeewline breaks?
01/30/2006Ch..ch..ch..changesline breaks?
02/05/2006Expectationsline breaks?
02/05/2006New optional input formatline breaks?
02/06/2006Texas liberal, maybe?line breaks?
02/07/2006Closer to Vermont nowline breaks?
02/10/2006Which RSS client?line breaks?
02/13/2006Comment feed needs upgradingline breaks?
02/07/2006Blockquote colorBlockquote color
01/26/2006Lisp IDEChoice of OS of LtU readers
01/23/2006LtU's new server OSChoice of OS of LtU readers
01/27/2006Tip from an ex-MS-DOS guyChoice of OS of LtU readers
01/22/2006Posting disabledInfrastructure Announcement
01/22/2006Comment subject linesInfrastructure Announcement
01/23/2006Names widenedInfrastructure Announcement
01/23/2006Tracker comment links fixedInfrastructure Announcement
01/22/2006Theme changesInfrastructure Announcement
01/22/2006FixedInfrastructure Announcement
01/23/2006OK, I've fixed the userInfrastructure Announcement
01/22/2006Quoting issuesInfrastructure Announcement
01/23/2006Status summaryInfrastructure Announcement
01/19/2006Better definition (ignore Wikipedia)Referentially Transparent Scheme
01/20/2006...therefore all programmingLisp is sin
01/20/2006Not so fastLisp is sin
01/20/2006Easier for some than others, perhaps?Lisp is sin
01/20/2006Misunderstood geniusLisp is sin
01/22/2006It all makes sense nowLisp is sin
05/15/2007In the newsNew language for kids: Scratch - Logo meets Squeak Smalltalk?
01/05/2006Write-only programs?Stroustrup talking about C++0x
12/12/2005RefreshLogging in from "recent posts"
12/12/2005Smalltalk's stepchildrenBack to the future...
12/07/2005Core ErlangEnvisioning a New Language: A Conversation With Victoria Livschitz
12/04/2005CircularityThe breaking point of language usability?
12/05/2005Languages for rednecksThe breaking point of language usability?
12/06/2005"Languages for thought leaders"The breaking point of language usability?
12/02/2005PDFLock-Free Data Structures using STMs in Haskell
11/29/2005Visualizing monadsGhost bumps
11/29/2005Different senses of "state"?Network Transparent languages
11/27/2005Try the "Getting Started" threadGetting started in language design -- reading material?
11/25/2005Monadic Programming in SchemeCollection of links to monad implementations in various languages.
11/23/2005Previously on LtUProgramming language inventors quiz
11/24/2005That's OK...Programming language inventors quiz
11/24/2005Benday dotsCode Reading
11/21/2005Monads in RubyMonads in Ruby
11/18/2005Re: Impedance mismatchFelleisen: How to Design Class Hierarchies
11/19/2005Dynamic language vs. dynamically-typed languageRuby the Rival
11/20/2005Less duck spirit, pleaseRuby the Rival
11/21/2005DefinitionsRuby the Rival
11/22/2005Syntactic types and splitting definitionsRuby the Rival
11/20/2005Java out-duck-types Ruby?Ruby the Rival
11/19/2005Dynamic behavior in JavaRuby the Rival
11/21/2005Dynamic behavior in JavaRuby the Rival
11/16/2005Better languagesBattling Bugs: A Digital Quagmire
11/09/2005-O-A-Can one avoid monads?
11/08/2005TomaytoType Nomenclature
11/09/2005Wash, rinse, repeatType Nomenclature
11/09/2005Only solved in wetwareType Nomenclature
11/08/2005Relating to realityType Nomenclature
11/04/2005ValidityElegant Method of binding a function variable
11/03/2005More creativity!Geometric Algebra
11/01/2005[Site] Network issues[Site] Network issues
12/11/2005Network issues on Sunday[Site] Network issues
10/31/2005FPs & IDEsDoes Visual Studio Rot the Mind?
11/02/2005General refutations for general claimsDoes Visual Studio Rot the Mind?
10/31/2005Weak-form mind rot argumentDoes Visual Studio Rot the Mind?
11/01/2005Crutches compensate for handicapsDoes Visual Studio Rot the Mind?
11/01/2005On crutches...Does Visual Studio Rot the Mind?
11/01/2005Macros in IDEsDoes Visual Studio Rot the Mind?
11/01/2005Refactoring with macrosDoes Visual Studio Rot the Mind?
11/01/2005That's OK...Does Visual Studio Rot the Mind?
11/02/2005ob. responseOOPSLA 2005 Reports
11/03/2005Typechecking 2: The rehashOOPSLA 2005 Reports
11/03/2005Even the lists have burglar barsOOPSLA 2005 Reports
11/03/2005Point takenOOPSLA 2005 Reports
11/04/2005One more responseOOPSLA 2005 Reports
11/04/2005Trivial - really?OOPSLA 2005 Reports
11/04/2005Type constructorsOOPSLA 2005 Reports
11/04/2005Give me back my infinity!OOPSLA 2005 Reports
11/04/2005Separating static types from static checksOOPSLA 2005 Reports
11/04/2005Fast == UnimportantOOPSLA 2005 Reports
11/05/2005ReasonablenessOOPSLA 2005 Reports
11/07/2005The need for sophisticated typesOOPSLA 2005 Reports
11/05/2005Re: Types vs. Constraints?OOPSLA 2005 Reports
11/04/2005Statically check this!OOPSLA 2005 Reports
11/04/2005Not quiteOOPSLA 2005 Reports
11/05/2005Contracts and static checkingOOPSLA 2005 Reports
11/05/2005ClarificationOOPSLA 2005 Reports
11/04/2005Industry security practicesOOPSLA 2005 Reports
11/04/2005Response from Star CommandOOPSLA 2005 Reports
11/04/2005Already discussedOOPSLA 2005 Reports
10/28/2005Constructive commentsJust What is it that Makes Martin-Lof's Type Theory so Different, so Appealing?
10/23/2005But...What do you mean by studying "programming languages"?
10/23/2005HeadlineWhat do you mean by studying "programming languages"?
10/21/2005Author's intent unclearBruce Tate: Technologies that may challenge Java
10/25/2005Um...C#: Yesterday, Today, and Tomorrow: An Interview with Anders Hejlsberg
10/17/2005Oleg's purely functional OO systemObject Oriented Programming + Referential Transparency
10/19/2005Correction, 17 linesObject Oriented Programming + Referential Transparency
08/09/2006vs. FoldocObject Oriented Programming + Referential Transparency
10/17/2005The most famous optional value in CTerritorial Exception Handling
10/17/2005Exceptions only when appropriateTerritorial Exception Handling
10/17/2005Alternative?Territorial Exception Handling
10/17/2005Still an optional valueTerritorial Exception Handling
10/17/2005Moving beyond exceptionsTerritorial Exception Handling
10/20/2005Re: Machine Intelligence?Expressions vs Statements
10/21/2005Which machineExpressions vs Statements
10/15/2005Perfection is down the hallFormal methods for O/R mapping
10/16/2005Re: Proper mappingFormal methods for O/R mapping
10/16/2005Do not adjust your setFormal methods for O/R mapping
10/16/2005CODASYL rules OK!Formal methods for O/R mapping
10/16/2005ReferencesFormal methods for O/R mapping
10/16/2005N/R mappingFormal methods for O/R mapping
10/16/2005Data ain't so hotFormal methods for O/R mapping
10/16/2005Titles here shouldn't be taken too seriouslyFormal methods for O/R mapping
10/17/2005Semantic gap fillerFormal methods for O/R mapping
10/17/2005Where the data isFormal methods for O/R mapping
10/10/2005Non-scientificThe Church-Turing Thesis: Breaking the Myth
10/10/2005ClarificationThe Church-Turing Thesis: Breaking the Myth
10/11/2005Tapes are a distractionThe Church-Turing Thesis: Breaking the Myth
10/10/2005Brains == Monads?The Church-Turing Thesis: Breaking the Myth
10/10/2005Functional state representation 101The Church-Turing Thesis: Breaking the Myth
10/06/2005[Admin] Probation[Admin] Probation
10/04/2005[Admin] SigsThe English-Likeness Monster
10/04/2005Example"The Anatomy of a Loop"
10/05/2005Re: Non-example"The Anatomy of a Loop"
10/04/2005The Unbearable Expressivity of Function Calls"The Anatomy of a Loop"
09/30/2005Edit user accountLtU etiquette
09/30/2005OptionalLtU etiquette
10/01/2005Wiki focusLtU etiquette
10/03/2005Much more the formerLtU etiquette
09/27/2005Re: Edit QueueLtU: Style and Focus
09/27/2005AgreedLtU: Style and Focus
09/27/2005Re: Guidelines/FAQLtU: Style and Focus
09/28/2005"FP forum"LtU: Style and Focus
09/28/2005Let's be clearLtU: Style and Focus
09/23/2005Continuations library for JavaContinuations library for Java
09/29/2005Managing complexityContinuations library for Java
09/27/2005MotivationContinuations library for Java
09/28/2005ElaborationContinuations library for Java
10/06/2005Cool, and appropriateContinuations library for Java
01/23/2006Goals?Continuations library for Java
01/24/2006Perhaps stating the obvious,Continuations library for Java
09/22/2005New approachMondo bizarro
09/22/2005The favorite anti-functional straw manRuby: Language of the Programming Übermensch?
09/22/2005Besides...Don Box: Scheme Is Love
09/25/2005Confusing with CPS?Don Box: Scheme Is Love
09/27/2005FYIDon Box: Scheme Is Love
09/22/2005Doubt itDynamic vs. Static Typing - A Pattern-Based Analysis
09/22/2005Delaying doesn't helpDynamic vs. Static Typing - A Pattern-Based Analysis
09/22/2005Another exampleDynamic vs. Static Typing - A Pattern-Based Analysis
09/22/2005Already doneDynamic vs. Static Typing - A Pattern-Based Analysis
09/22/2005Who gets to pick the fruit?Dynamic vs. Static Typing - A Pattern-Based Analysis
09/22/2005Exciting syntaxGood languages with simple grammar
09/19/2005Abstract data types don't depend on static checksMost Productive FP Lang?
09/15/2005PierceCategory theory
09/14/2005An Operational Semantics for R5RS SchemeAn Operational Semantics for R5RS Scheme
09/13/2005Lambda, the Ultimate blog nameHaskell and creative freedom
09/05/2005What do S-expressions have toYearning for a practical scheme
11/08/2005re: BiglooYearning for a practical scheme
11/09/2005Lucky LukeYearning for a practical scheme
08/27/2005New ServerNew Server
08/27/2005FixedNew Server
08/27/2005Wish lists vs. resourcesFiltering Threads
08/27/2005Some useful suggestionsFiltering Threads
08/27/2005Maybe RSSFiltering Threads
08/16/2005Open to suggestionForum usability
08/17/2005Which post index?Forum usability
08/17/2005Re: Recent PostsForum usability
08/17/2005nntpForum usability
05/05/2006Limiting nesting depthForum usability
05/04/2006Story shelf lifeForum usability
05/05/2006Nice idea!Forum usability
08/17/2005Re: slashcodeForum usability
08/17/2005Various repliesForum usability
08/20/2005EmpowermentForum usability
08/17/2005Mobile themeForum usability
05/03/2006OKForum usability
08/18/2005The engineering department is in the next building'Information and Computation' Open Access
08/17/2005That's what LtU is for'Information and Computation' Open Access
08/20/2005Yes, off-topic'Information and Computation' Open Access
08/16/2005Safety againSyntax Design
08/16/2005Re: SafetySyntax Design
08/19/2005Re: PatternsSyntax Design
08/10/2005Concrete Abstractions on the webConcrete Abstractions on the web
08/10/2005I agreeConcatenative Language Kont
08/10/2005Incorrect pop Correct pushConcatenative Language Kont
08/10/2005Is not/is so titles are boringConcatenative Language Kont
08/11/2005Substance, pleaseConcatenative Language Kont
08/12/2005reference sense popConcatenative Language Kont
08/11/2005Stacks of responsesConcatenative Language Kont
08/10/2005DifferencesConcatenative Language Kont
08/10/2005The Joy of obfuscated abstractionsConcatenative Language Kont
08/10/2005I agree with everything you wConcatenative Language Kont
08/10/2005The Joy of the next 700 titlesConcatenative Language Kont
08/10/2005Static analysisConcatenative Language Kont
08/11/2005No special machinery requiredConcatenative Language Kont
08/10/2005For me...Concatenative Language Kont
08/10/2005Fun with stacksConcatenative Language Kont
08/11/2005Fun with foldsConcatenative Language Kont
08/12/2005This is not a titleConcatenative Language Kont
08/12/2005Don't stop reading yet...Concatenative Language Kont
08/10/2005Wow, an improvement on Java boilerplate?Concatenative Language Kont
08/11/2005Slipping?Concatenative Language Kont
08/05/2005Overloading - Syntactic Heroin?Overloading - Syntactic Heroin?
08/05/2005ThanksSo what's Right and what is Wrong with the GNU GPL?
08/05/2005You can climb out of that hole now...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/01/2005Growing a mainstream language is toughMore on the "generics are evil" meme
07/29/2005You can edit itDeleting my Post
07/29/2005Previously on LtU...Language support for generating functions?
07/29/2005Depends how it's implementedA Typed Intermediate Language for Compiling Multiple Inheritance
07/30/2005Separate language design from implementation, too.A Typed Intermediate Language for Compiling Multiple Inheritance
08/01/2005ClarificationsA Typed Intermediate Language for Compiling Multiple Inheritance
07/28/2005*Burp!* What cake?Happy Birthday, dear Lambda
07/27/2005Separating interface and implementation 101A software engineering problem: how would functional programming solve it?
07/28/2005FudgetsA software engineering problem: how would functional programming solve it?
07/27/2005A million programmers can be wrongACM Queue: Security Problem Solved?
07/28/2005C has no monopoly...ACM Queue: Security Problem Solved?
07/28/2005Proven to produce buffer overflows and memory corruption?ACM Queue: Security Problem Solved?
08/05/2005Who said anything about slow?ACM Queue: Security Problem Solved?
08/05/2005Separating argumentsACM Queue: Security Problem Solved?
07/17/2005Works for me...Termite: a Lisp for Distributed Computing
07/12/2005One good troll deserves anotherStatic Typing Where Possible, Dynamic Typing When Needed
07/14/2005Watch where you wire that slider!Static Typing Where Possible, Dynamic Typing When Needed
07/14/2005Does so! :)Static Typing Where Possible, Dynamic Typing When Needed
06/30/2005Compression factorHungarian Notation vs The Right Thing
06/29/2005Hungering for a real typesystemHungarian Notation vs The Right Thing
06/28/2005Generics are a mistake?Generics are a mistake?
06/29/2005All systems starting with "G" are a mistakeGenerics are a mistake?
06/28/2005Array wrinklesGenerics are a mistake?
06/23/2005Good questionHow To Read a Paper
06/23/2005Terminology"applicative" vs."functional"
06/09/2005Thank youCongrats in order
05/31/2005Wading through the Turing tarWhat is so bad about compiling?
05/31/2005Implementation strategiesWhat is so bad about compiling?
06/01/2005Tail-recursive discussionWhat is so bad about compiling?
06/01/2005Partial eval resourcesWhat is so bad about compiling?
06/02/2005Generality of register machine control flowWhat is so bad about compiling?
06/02/2005Direct compilationWhat is so bad about compiling?
06/01/2005[admin] dups deletedPure bigraphs: structure and dynamics (by Robin Milner)
05/24/2005Haskell for C ProgrammersHaskell for C Programmers
05/24/2005Why is mutable state wrong?Haskell for C Programmers
05/18/2005Fairly commonAST intermediate representations
05/22/2005Re: AST representationsAST intermediate representations
05/22/2005Designing ASTs for interpretationAST intermediate representations
05/22/2005Getting Started threadAST intermediate representations
05/22/2005Re: FSF policyLLVM 1.5 has been released!
05/23/2005GCC as a reusable resourceLLVM 1.5 has been released!
05/12/2005QuantifiersWhy Dependent Types Matter
05/11/2005Semantics unaffectedsubtext: Uncovering the simplicity of programming
05/12/2005Sure they matter, but...subtext: Uncovering the simplicity of programming
06/04/2006Partial evaluationLet's make a programming language!
06/04/2006PE "vs" macrosLet's make a programming language!
06/05/2006Syntactic abstractionLet's make a programming language!
06/05/2006Purpose of macrosLet's make a programming language!
06/05/2006Let's slow downLet's make a programming language!
06/06/2006Lexing & parsing is a solved problemLet's make a programming language!
06/05/2006Access to syntaxLet's make a programming language!
05/02/2005Evidence of problem?Call for Papers: ACM Symposium on Dynamic Languages
05/02/2005Re: Type != TestingCall for Papers: ACM Symposium on Dynamic Languages
05/03/2005Formality != existenceCall for Papers: ACM Symposium on Dynamic Languages
05/03/2005Static checking vs. typesCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005The unreasonable effectiveness of testingCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005Re: Human-powered type checkingCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005You can have both with dynamically-checked programsCall for Papers: ACM Symposium on Dynamic Languages
05/02/2005Still waiting for my flying carCall for Papers: ACM Symposium on Dynamic Languages
05/02/2005Too general a caseCall for Papers: ACM Symposium on Dynamic Languages
05/02/2005Type conversionCall for Papers: ACM Symposium on Dynamic Languages
05/02/2005Getting sentimentalCall for Papers: ACM Symposium on Dynamic Languages
05/02/2005Not an issueCall for Papers: ACM Symposium on Dynamic Languages
05/03/2005One down, ??? to goCall for Papers: ACM Symposium on Dynamic Languages
05/03/2005Hiding complexityCall for Papers: ACM Symposium on Dynamic Languages
05/03/2005Static traffic managementCall for Papers: ACM Symposium on Dynamic Languages
05/03/2005Good... but... :)Call for Papers: ACM Symposium on Dynamic Languages
05/04/2005Compile errorsCall for Papers: ACM Symposium on Dynamic Languages
05/05/2005Re: Language Development ToolsCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005TerminologyCall for Papers: ACM Symposium on Dynamic Languages
05/04/2005I'll figure this out eventually...Call for Papers: ACM Symposium on Dynamic Languages
05/05/2005Five different meanings of "static"Call for Papers: ACM Symposium on Dynamic Languages
05/05/2005Theory of static relativityCall for Papers: ACM Symposium on Dynamic Languages
05/05/2005Cooperative interactive reasoningCall for Papers: ACM Symposium on Dynamic Languages
09/30/2005Definition may be ok, conclusion wrongFrom Perl Monks: "pissed off about functional programming"
09/30/2005Yes!From Perl Monks: "pissed off about functional programming"
09/30/2005For the record...From Perl Monks: "pissed off about functional programming"
09/30/2005Re: MisunderstandingsFrom Perl Monks: "pissed off about functional programming"
05/03/2005Even olderR6RS Scheme Status Report
04/27/2005Funny you should mention thatThe Fortress Language Spec v0.618
04/27/2005TCO essential for FP [nothing new here]Virtual Machine and Runtime Framework
04/28/2005Standard stuffVirtual Machine and Runtime Framework
04/28/2005Tail recursionVirtual Machine and Runtime Framework
04/29/2005SML/NJ uses 31 bit intsVirtual Machine and Runtime Framework
04/23/2005Rumors of their death...Sapir-Whorf again?
04/24/2005Spirit of WhorfSapir-Whorf again?
04/23/2005The Transterpreter is an OccaWhy do they program in C++?
04/23/2005Scheme compiler for Lego MindstormsWhy do they program in C++?
04/25/2005Classes vs. interfaces [OT]Why do they program in C++?
04/26/2005Not just the OSWhy do they program in C++?
04/26/2005I'll callWhy do they program in C++?
04/26/2005Fixed, thanksWhy do they program in C++?
05/13/2005Appel on tag bitsWhy do they program in C++?
04/23/2005Generality of lambda calculusComputer generates verifiable mathematics proof
04/25/2005SICM & LCComputer generates verifiable mathematics proof
04/25/2005Machine proofs keep us honestComputer generates verifiable mathematics proof
04/25/2005Re: Interesting claimComputer generates verifiable mathematics proof
04/26/2005Re: Perhaps they should care (2)Computer generates verifiable mathematics proof
04/14/2005Built-in types, operators, limitationsDenotational semantics of a DSL?
04/14/2005Nature of typesDenotational semantics of a DSL?
04/13/2005"Most" activeWhat makes a forum topic "active"?
04/12/2005Compiler support?Links
04/13/2005Re: LtULinks
04/11/2005Cool interviewDominus talks about HO Perl
04/11/2005PL theory as a way off the treadmillDominus talks about HO Perl
04/13/2005Internal DSLsLanguage Design 101
04/11/2005Messenger woundedLinks Slides
06/17/20051995? Sure.Computerworld Development Survey
04/08/2005Two requestsTwo requests
06/01/2006Margin of errorPugs, Practicing the Theories.
06/01/2006OopsPugs, Practicing the Theories.
05/02/2005The irony is that SSA is more abstract than CMechanics of designing and implementing a language
05/02/2005k is a branch, Scheme is a rootMechanics of designing and implementing a language
04/01/2005Is abstraction too abstract?Fold Must Fold!
03/29/2005Look at the wookie!expressivity of "idiomatic C++"
03/30/2005Not buying itexpressivity of "idiomatic C++"
04/04/2005Sanity confirmed (in some narrow sense)expressivity of "idiomatic C++"
04/02/2005Haskell sez: bring it!expressivity of "idiomatic C++"
04/05/2005Unimperative s-exprsexpressivity of "idiomatic C++"
04/04/2005Helping everyoneexpressivity of "idiomatic C++"
04/05/2005Recoding the hardwareexpressivity of "idiomatic C++"
03/23/2005Not alonePost new comment vs. reply
03/22/2005Page 3Print.google.com
03/22/2005AgreedScript Vs Java
03/18/2005Not so simpleThe fate of reduce() in Python 3000
03/17/2005Coining a termInside Software Factories
03/16/2005Foundational Calculi for Programming Languages (intro)Foundational Calculi for Programming Languages (intro)
03/14/2005Isomorphism lackingInterview with Donald Knuth
03/15/2005The explosive path to ultimate truthInterview with Donald Knuth
03/13/2005Fixed, thanks.Exploiting parser ambiguity
03/10/2005Macro-free diets?Educational Pearl: Automata as Macros
03/10/2005Educational Pearl: Automata as MacrosEducational Pearl: Automata as Macros
03/10/2005InstitutionalizingEducational Pearl: Automata as Macros
03/11/2005Metaprogramming isn't just for fun!Educational Pearl: Automata as Macros
03/11/2005Saving lines of codeEducational Pearl: Automata as Macros
03/11/2005Re: Definition of metaprogrammingEducational Pearl: Automata as Macros
03/10/2005Standalone DSLs create semantic gapsEducational Pearl: Automata as Macros
03/11/2005The Middle KingdomEducational Pearl: Automata as Macros
03/10/2005Host language integrationEducational Pearl: Automata as Macros
03/10/2005Macro-based systems as compilersEducational Pearl: Automata as Macros
03/10/2005Macros, modules and hygieneEducational Pearl: Automata as Macros
03/11/2005Depends on the kind of compiler, thenEducational Pearl: Automata as Macros
03/03/2005MLs on ZaurusWanted: platform-independent Standard ML
03/03/2005Swap spaceWanted: platform-independent Standard ML
02/28/2005New RSS Feed(s)New RSS Feed(s)
03/16/2005Topic title for comment RSS feedNew RSS Feed(s)
03/01/2005Re: NNTP News?New RSS Feed(s)
03/04/2005Re: staying logged inNew RSS Feed(s)
02/02/2007[admin] movedNew RSS Feed(s)
02/24/2005Re: Grumble, grumble...Journals and papers?
03/10/2005Paying for accessJournals and papers?
02/23/2005RevivalSpecial characters' input methods
02/24/2005Nice idea!Don Box: Teaching my kids to program
02/20/2005Nominal candidate for atomicityWhat are The Atoms of Programming Languages?
02/21/2005Re: Objects and NamesWhat are The Atoms of Programming Languages?
02/21/2005Objects, types, scopes, and points of executionWhat are The Atoms of Programming Languages?
02/22/2005Common denominatorsWhat are The Atoms of Programming Languages?
02/22/2005Function vs. lambdaWhat are The Atoms of Programming Languages?
02/14/2005Global standardSOAP considered canonical
02/10/2005Mathworld definitionStupid Question.
02/13/2005When worlds collideACM Queue: A Conversation with Alan Kay
02/08/2005FixedOpenSpice
02/03/2005What's the goal?Unimperative Programming Language - Teaser
02/03/2005Die entscheidende SchadenspracheNeologism
02/01/2005Ob. refsNeologism
01/28/2005You shouldn't "believe in functional progamming"BitC, a new OS implementation language
01/27/2005Yes, tags in ML are for GCLangauges and Hardware...
01/27/2005Re: Hardware support for GCLangauges and Hardware...
02/01/2005LinkLangauges and Hardware...
01/25/2005No retreat, baby, no surrender"Popular vs. Good" in Programming Languages
01/26/2005Founding the claims"Popular vs. Good" in Programming Languages
01/28/2005Re: "Good languages" in practice"Popular vs. Good" in Programming Languages
01/28/2005Elaborating, and then some."Popular vs. Good" in Programming Languages
01/26/2005Replace C++? That's unpossible!"Popular vs. Good" in Programming Languages
01/27/2005Debugger use case"Popular vs. Good" in Programming Languages
01/22/2005Re: Keeping it realGetting Started
01/21/2005Polymorphic type inference introGetting Started
01/22/2005Teaching solid foundationsGetting Started
01/23/2005Assortment of LC linksGetting Started
11/21/2006Definitional InterpretersGetting Started
08/30/2007Felleisen's lesson plan for self-studyGetting Started
01/09/2005More importantly...The Four Questions
01/08/2005Re: The scorn of LtUIan Bicking: The challenge of metaprogramming
01/08/2005"Can have" vs. "do have"Ian Bicking: The challenge of metaprogramming
01/09/2005Guido's false dichotomyIan Bicking: The challenge of metaprogramming
01/09/2005Re: PythonIan Bicking: The challenge of metaprogramming
01/10/2005Social/managerialIan Bicking: The challenge of metaprogramming
01/10/2005Re: TCO surpriseIan Bicking: The challenge of metaprogramming
01/10/2005Restricting recursion arbitrarily is what doesn't fitIan Bicking: The challenge of metaprogramming
01/08/2005Equal rights for tail callsIan Bicking: The challenge of metaprogramming
01/08/2005How about...Ian Bicking: The challenge of metaprogramming
01/12/2005tailcall/return equivalenceIan Bicking: The challenge of metaprogramming
01/09/2005The grapes of slothIan Bicking: The challenge of metaprogramming
01/10/2005Prioritizing stack tracesIan Bicking: The challenge of metaprogramming
01/10/2005Yes, it's structural... wait for it...Ian Bicking: The challenge of metaprogramming
01/05/2005Real Soon NowLinking comments
01/04/2005TerminologySPARKAda
12/30/2004Alice who?PL for interactive simulation
12/30/2004Calvin & Hobbes vs. static typingPL for interactive simulation
12/29/2004DanFest 2004 - in honor of Dan FriedmanDanFest 2004 - in honor of Dan Friedman
12/30/2004REST assuredUse Continuations to Develop Complex Web Applications
12/30/2004Shopping cart defenseUse Continuations to Develop Complex Web Applications
01/04/2005Joy == Functional ForthNew Year's Resolutions
01/04/2005Suspicious content [OT]New Year's Resolutions
12/25/2004Ob. grinch: LLVM & functional languages?Alice Through the Looking Glass
12/28/2004Just the facts, ma'amAlice Through the Looking Glass
01/01/2005Reset: LLVM for advanced functional languages?Alice Through the Looking Glass
01/01/2005UntanglingAlice Through the Looking Glass
01/02/2005Re: Social IssuesAlice Through the Looking Glass
02/03/2005Battling the Black KnightAlice Through the Looking Glass
02/03/2005Open source vs. researchAlice Through the Looking Glass
10/21/2005[OT] Cardinality of cultural denotations for snowthe Chinese natual language
12/23/2004BumpedModelica: Modeling of Complex Physical Systems
12/16/2004Previous mentionThe Memory Pool System: Thirty person-years of memory management development goes Open Source
12/18/2004Serial killer connection?Killer Props for Computer Scientist!
12/15/2004Perception biasCasting SPELs in Lisp
02/21/2006[admin] Spelling spammerMisspelling.
12/06/2004Only 20 years? ;)Definition of Type
12/07/2004The inexpressible importance of termsDefinition of Type
12/07/2004Don't count out dead philosophers until you've understood themDefinition of Type
12/07/2004Not quiteDefinition of Type
12/07/2004Not a counter, just a corollaryDefinition of Type
12/08/2004Proof of absence is not absence of proof :)Definition of Type
11/28/2004DSLs & visual development are a perfect matchThe IDE Divide
12/02/2004I'm sure it will be savedLL4 Program and Abstracts
12/02/2004I am waiting for my computer to command meLL4 Program and Abstracts
12/02/2004Come to ravish, come to loot / Come to play the googlish brute.LL4 Program and Abstracts
12/03/2004Holy rattling buzz saws, batman!LL4 Program and Abstracts
12/03/2004Try ll-discussLL4 Program and Abstracts
12/12/2004This thing all things devours: birds, beasts, trees, flowersLL4 Program and Abstracts
12/12/2004Re: cache-resource-hereLL4 Program and Abstracts
12/12/2004Controller?LL4 Program and Abstracts
11/22/2004ExplanationMulti-Return Function Call
12/07/2007The Structure of the Essential Haskell CompilerThe Essential Haskell Compiler
11/05/2004Re: Hackable?RSS feed for forum or responses?
01/31/2005Coming up...RSS feed for forum or responses?
11/09/2004Drupal config [OT]RSS feed for forum or responses?
10/28/2004How the inner define got its tailScheme Language Standardization Process: R6RS Progress Report
04/05/2005[Ignore] New comments disabledGMail accounts
10/19/2004TopicalityJob / Resume postings
10/19/2004Yes, transparent.Job / Resume postings
10/20/2004Fitting capsJob / Resume postings
10/20/2004Uh, dictionaries?Job / Resume postings
10/19/2004Which language would you rather think in?Programming for non-programmers
03/28/2007Croquet SDK 1.0 ReleasedCroquet Project Releases Initial Developer Release
12/16/2008Gaping wound in control stackShoot-out: most annoying compiler error message
09/24/2004Under construction...Persistence (lack of) again
09/15/2004Are there other implementations?newLisp: A better Lisp/Scheme Fusion...
09/15/2004Scheme for cross-platform scriptingnewLisp: A better Lisp/Scheme Fusion...
09/15/2004Comparing an apple to a basket of kumquatsnewLisp: A better Lisp/Scheme Fusion...
09/17/2004newLisp: A better Lisp/Scheme Fusion...newLisp: A better Lisp/Scheme Fusion...
09/15/2004Scheme & Lisp have excellent database supportnewLisp: A better Lisp/Scheme Fusion...
09/17/2004"No-one ever got fired for buying IBM"newLisp: A better Lisp/Scheme Fusion...
09/24/2004Non-ascii namesUse real names
09/15/2004Businesses would avoid it...More from Udell on typing
09/09/2004Common Lisp & imperativenessDescription Logics in Literate Haskell
09/08/2004ColorThe Human-Language Interface
09/09/2004Boxes in DrSchemeThe Human-Language Interface
08/31/2004Shouldn't be exposedApple Flunks First Grade Math
09/02/2004Good overview, but wrong conclusion about languagesLean Software, Software Jewels & Software Tools
09/02/2004DefinitelyLean Software, Software Jewels & Software Tools
08/26/2004Why type systems are interesting - part III: latent typesWhy type systems are interesting - part III: latent types
08/31/2004DiffinitionsWhy type systems are interesting - part III: latent types
09/02/2004ThanksWhy type systems are interesting - part III: latent types
09/03/2004Nice catch!Why type systems are interesting - part III: latent types
07/14/2005Latent types aren't first classWhy type systems are interesting - part III: latent types
08/26/2004Promoted to front page"Types and Reflection" by Lauri Emil Alanko
08/23/2004Re: Problem with postingProblem with posting
08/25/2004QuestionProblem with posting
08/25/2004BlehProblem with posting
08/27/2004Re: Session ProblemProblem with posting
08/22/2004Terms for snowNew result re "linguistic determinism"
08/22/2004Transgressing the boundaries of numeracyNew result re "linguistic determinism"
08/22/2004Sapir-Whorf too close to home?New result re "linguistic determinism"
08/22/2004It's about thinking, as much as talkingNew result re "linguistic determinism"
08/22/2004Thought without language?New result re "linguistic determinism"
08/22/2004Assuming the conclusionNew result re "linguistic determinism"
08/23/2004Am so :)New result re "linguistic determinism"
08/20/2004Haskell is a "choice machine"The Origins of the Turing Thesis Myth
08/25/2004Author's replyThe Origins of the Turing Thesis Myth
08/15/2004Site structureNew Recent posts
08/13/2004New Paul Graham thing...New Paul Graham thing...
08/18/2004The newbies shall inherit the earthNew Paul Graham thing...
08/18/2004Me, offtopic?! :)New Paul Graham thing...
08/16/2004Revision Control in HaskellNew Paul Graham thing...
08/13/2004Scheme promisesCall-by-what?
08/12/2004Inconsistency?Udell: A strategic vision for dynamic languages
08/12/2004Exactly!Udell: A strategic vision for dynamic languages
08/10/2004NamasteWhy type systems are interesting - part II
08/10/2004Re: Point of static proofs?Why type systems are interesting - part II
08/10/2004Booting upWhy type systems are interesting - part II
08/12/2004It's all Larry & Guido's fault :-)Why type systems are interesting - part II
08/27/2004Response in part IIIWhy type systems are interesting - part II
08/10/2004Re: whewWhy type systems are interesting - part II
08/11/2004Modulo anything, untyped languages are not unityped.Why type systems are interesting - part II
08/13/2004The unbearable usefulness of multiple unknown logicsWhy type systems are interesting - part II
08/17/2004Known unknownsWhy type systems are interesting - part II
08/18/2004Type systems and God: Man's search for certaintyWhy type systems are interesting - part II
08/18/2004Re: Type systems and atheism: man's search for logic ;-)Why type systems are interesting - part II
08/12/2004Short uptimeWhy type systems are interesting - part II
08/12/2004Towards a broader conception of the scientific methodWhy type systems are interesting - part II
08/12/2004[OT] Politics are irrelevantWhy type systems are interesting - part II
08/12/2004Why type systems are interesting - part IIWhy type systems are interesting - part II
08/13/2004Converging on our divergenceWhy type systems are interesting - part II
08/25/2004King's Indian DefenseWhy type systems are interesting - part II
08/08/2004Recent Posts now limited to 10 comments per threadFolding Recent Posts
08/07/2004In the end...Eliminating Array Bound Checking through Non-dependent types
08/05/2004Changing the marker is easy - suggestions?No asterisks, please
08/05/2004DoneNo asterisks, please
08/07/2004Viewing single messagesNo asterisks, please
08/08/2004Copycats! :)No asterisks, please
08/03/2004Or do they?Tail of Nil and Its Type
08/02/2004Default now set to 90Another minor usability gripe...
08/05/2004Comments per pageAnother minor usability gripe...
03/11/2005No anonymous postsAnother minor usability gripe...
08/02/2004Re: HTML guidelinesHTML guidelines
08/02/2004Good pointHTML guidelines
08/03/2004Taking away the bluesHTML guidelines
08/05/2004Re: Use of XHTML on LtUHTML guidelines
08/03/2004Future enhancementHTML guidelines
08/04/2004PrioritiesHTML guidelines
08/04/2004Re: No rushHTML guidelines
08/02/2004Config bugCookie expiration
08/04/2004Persistent login fixedCookie expiration
08/01/2004Retargeting VMsUdell at OSCON: IronPython news
07/25/2004ValidationHTML editors
07/23/2004Deferring the questionHaving trouble with 'purity'
07/26/2004The essence of pure functional programmingHaving trouble with 'purity'
07/23/2004Not sure if possibleKeywords per post?
07/18/2004FormattingFormatting hints from Mark
07/18/2004OutlawingFormatting hints from Mark
07/18/2004There is no semantic markeFormatting hints from Mark
07/18/2004Formatting hints from MarkFormatting hints from Mark
07/18/2004semantic markupFormatting hints from Mark
07/15/2004Why type systems are interestingWhy type systems are interesting
07/16/2004Re: Imperfect/incomplete knowledgeWhy type systems are interesting
07/18/2004ConstraintsWhy type systems are interesting
08/05/2004Conventional type theoryWhy type systems are interesting
08/05/2004Call for referencesWhy type systems are interesting
08/05/2004Why type systems are interestingWhy type systems are interesting
08/06/2004Russell supports the modern type theorist's caseWhy type systems are interesting
08/03/2004"Type" terminological overloadingWhy type systems are interesting
07/24/2004Why type systems are interestingWhy type systems are interesting
07/26/2004It dependsWhy type systems are interesting
08/07/2004Misleading dichotomyWhy type systems are interesting
08/08/2004Point of static proofs?Why type systems are interesting
08/09/2004Re: Point of static proofs?Why type systems are interesting
08/09/2004Re: Point of static proofs?Why type systems are interesting
08/08/2004Yours but to do or die :)Why type systems are interesting
08/09/2004Relaxers vs. ConstrainersWhy type systems are interesting
08/09/2004One man's weeds is another's worldWhy type systems are interesting
08/08/2004Univ type alone is not enoughWhy type systems are interesting
07/15/2004Functional programming in JavaFunctional programming in Java
07/15/2004Dave's thesis committee willExplaining monads
12/16/2008Language embedding perspectiveExplaining monads
12/17/2008Chaos is a monadExplaining monads
12/17/2008There's no way Arrows canExplaining monads
12/16/2008Some counter-observationsExplaining monads
01/08/2009Dissecting understandingsExplaining monads
01/07/2009Credible alternatives in short supplyExplaining monads
07/13/2004Reflections on reflection - Henk BarendregtReflections on reflection - Henk Barendregt
07/12/2004You mentioned it in this commRichard Feynman and the Connection Machine
07/11/2004No, no, no! ;)Understanding continuations
07/12/2004Yes, yes, yes!Understanding continuations
07/13/2004Re: first-class continuationsUnderstanding continuations
07/13/2004ThanksUnderstanding continuations
12/17/2004Continuations for the rest of usUnderstanding continuations
12/17/2004No sacrifice necessaryUnderstanding continuations
12/18/2004...but not all the wayUnderstanding continuations
12/18/2004One man's fuzzy...Understanding continuations
12/22/2004Un-sacrificing the truthUnderstanding continuations
11/18/2006Fast-motion replayUnderstanding continuations
07/12/2004Not so fastUnderstanding continuations
12/05/2006the metal will live onUnderstanding continuations
12/05/2006there is no tryUnderstanding continuations
12/20/2004Threads vs. continuationsUnderstanding continuations
07/12/2004Re: pedagogyUnderstanding continuations
12/20/2004Four thousand holes in Blackburn, LancashireUnderstanding continuations
12/22/2004Here, sir.Understanding continuations
11/21/2006Hide the marinara, tooUnderstanding continuations
11/22/2006Clarifying...Understanding continuations
07/11/2004Functional programming with GNU makeFunctional programming with GNU make
07/08/2004Refuting ZawodnyDatabase Abstraction Layers and Programming Languages
07/08/2004Related questionSlashdot: "Favourite Programming Language Features?"
07/09/2004Hmm, let's see...Slashdot: "Favourite Programming Language Features?"
07/06/20048-inch floppy?Early history of Fortran
07/06/2004Maybe not such a reversal?Early history of Fortran
01/23/2005CPS, ANF, SSARetrospective: The Essence of Compiling with Continuations
07/05/2004The paper I have read concernHolding onto JavaScript's past
07/05/2004MirrorILC2002 Proceedings and Videos
07/04/2004Majority don't necessarily use IEAn interactive historical roster of computer languages
06/28/2004Hawking popularized itThe DSL, MDA, UML thing again...
06/29/2004Can of wormsThe DSL, MDA, UML thing again...
07/04/2004Still overloadedThe DSL, MDA, UML thing again...
06/30/2004That's easyPragmatic Programmers Interview
07/01/2004Sure...Pragmatic Programmers Interview
07/01/2004ProofPragmatic Programmers Interview
07/01/2004Debating debatesPragmatic Programmers Interview
07/01/2004Semantically-rich but unchecked commentsPragmatic Programmers Interview
06/29/2004Top Haskellites agreeDebugging Functional Programs
06/24/2004D.S. of SchemeSome stupid questions on denotational semantics
06/24/2004Unfair?Languages Poster
06/24/2004Oh puh-leeze. ;o)Languages Poster
06/24/2004Same thing with monadsXPython
06/24/2004XPythonXPython
06/22/2004Definition of "interpreted language"?1st International Workshop on Interpreted Languages
06/21/2004Yes, once you're logged in...Site usage question...
06/21/2004We originally wanted to do soSite usage question...
06/21/2004drupal.orgSite usage question...
06/21/2004Not yet, but it will be.Site usage question...
08/01/2004Recent Posts / TrackerSite usage question...
06/21/2004Themes are an "unsupported feature" right nowTheme previews
06/25/2004Theme supportThe site discussions forum
06/29/2004Working on itThe site discussions forum
06/29/2004Fixed, thanks.The site discussions forum
06/30/2004OopsThe site discussions forum
07/16/2004Yes.The site discussions forum
07/22/2004Unread message flag added.The site discussions forum
07/21/2004Re: complete namesThe site discussions forum
07/21/2004Re: namesThe site discussions forum
07/22/2004Name display width increased.The site discussions forum
07/22/2004Editing replied-to commentsThe site discussions forum
07/28/2004You can now edit your own submissionsThe site discussions forum
07/22/2004Known bugThe site discussions forum
06/21/2004Thanks!Welcome to the New, Improved LtU!
05/26/2004Re: Continuations in Java and Java-based Web FrameworksContinuations in Java and Java-based Web Frameworks
11/20/2003Re: Towards the best collection APITowards the best collection API
10/22/2003Re: Teaching programmingTeaching programming
10/22/2003Re: Teaching programmingTeaching programming
06/29/2003Compilation of Functional Programming Languages using GCC -- Tail CallsCompilation of Functional Programming Languages using GCC -- Tail Calls
04/11/2003Re: DPROGDPROG
04/04/2003Re: J. McCarthy: Towards a Mathematical Science of ComputationJ. McCarthy: Towards a Mathematical Science of Computation
04/04/2003Re: J. McCarthy: Towards a Mathematical Science of ComputationJ. McCarthy: Towards a Mathematical Science of Computation
04/04/2003Re: J. McCarthy: Towards a Mathematical Science of ComputationJ. McCarthy: Towards a Mathematical Science of Computation
03/26/2003Java object models debatedJava object models debated
03/27/2003Re: Java object models debatedJava object models debated
03/27/2003Re: Java object models debatedJava object models debated
03/27/2003Re: Java object models debatedJava object models debated
03/27/2003Re: Java object models debatedJava object models debated
03/13/2003Re: Is Inheritance a Pillar of OO?Is Inheritance a Pillar of OO?
03/13/2003Re: Is Inheritance a Pillar of OO?Is Inheritance a Pillar of OO?
03/13/2003Re: Is Inheritance a Pillar of OO?Is Inheritance a Pillar of OO?
03/14/2003Re: Is Inheritance a Pillar of OO?Is Inheritance a Pillar of OO?
03/14/2003Re: Is Inheritance a Pillar of OO?Is Inheritance a Pillar of OO?
03/18/2003Re: Is Inheritance a Pillar of OO?Is Inheritance a Pillar of OO?
03/14/2003Re: Small Time LanguagesSmall Time Languages
03/17/2003Re: Small Time LanguagesSmall Time Languages
03/18/2003Re: Small Time LanguagesSmall Time Languages
03/19/2003Re: Small Time LanguagesSmall Time Languages
03/19/2003Re: Small Time LanguagesSmall Time Languages
03/20/2003Re: Small Time LanguagesSmall Time Languages
03/20/2003Re: Small Time LanguagesSmall Time Languages
03/20/2003Re: Small Time LanguagesSmall Time Languages
03/21/2003Re: Small Time LanguagesSmall Time Languages
03/21/2003Re: Small Time LanguagesSmall Time Languages
03/21/2003Re: Small Time LanguagesSmall Time Languages
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/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/03/2003Re: Guido van Rossum: Programming at Python SpeedGuido van Rossum: Programming at Python Speed
12/19/2002Re: Developing Reliable Software with Scripting LanguagesDeveloping Reliable Software with Scripting Languages
12/20/2002Re: Developing Reliable Software with Scripting LanguagesDeveloping Reliable Software with Scripting Languages
12/20/2002Re: Developing Reliable Software with Scripting LanguagesDeveloping Reliable Software with Scripting Languages
12/20/2002Re: Developing Reliable Software with Scripting LanguagesDeveloping Reliable Software with Scripting Languages
12/24/2002Re: Developing Reliable Software with Scripting LanguagesDeveloping Reliable Software with Scripting Languages
12/01/2002Re: I feel like an idiot, but...I feel like an idiot, but...
12/03/2002Re: User-defined functions in ExcelUser-defined functions in Excel
12/05/2002Re: User-defined functions in ExcelUser-defined functions in Excel
11/27/2002Re: Impressions of the International Lisp conference ILC2002Impressions of the International Lisp conference ILC2002
11/20/2002Re: What's Wrong With RDF?What's Wrong With RDF?
11/21/2002Re: Introducing C#, Present and FutureIntroducing C#, Present and Future
11/10/2002Re: Executable Implementation of Scheme Denotational SemanticsExecutable Implementation of Scheme Denotational Semantics
10/02/2002Re: Linguistic Relativity HomepageLinguistic Relativity Homepage
10/02/2002Re: Linguistic Relativity HomepageLinguistic Relativity Homepage
09/13/2002Re: Interactions of Abstractions in ProgrammingInteractions of Abstractions in Programming
09/13/2002Re: PerspectivesPerspectives
08/29/2002Re: Critique of the Windows APICritique of the Windows API
07/19/2002Re: XLANG and WSFL: Syntactic ArsenicXLANG and WSFL: Syntactic Arsenic
07/21/2002Re: XLANG and WSFL: Syntactic ArsenicXLANG and WSFL: Syntactic Arsenic
04/22/2002Re: AOP: The 15% SolutionAOP: The 15% Solution
01/06/2002Re: AutodepAutodep
01/06/2002Re: The Roots of LispThe Roots of Lisp
01/06/2002Re: The Roots of LispThe Roots of Lisp
01/04/2002Re: Why Lisp?Why Lisp?
01/04/2002Re: Why Lisp?Why Lisp?
12/22/2001Re: Practical Theory (was: T)Practical Theory (was: T)
12/22/2001Re: Practical Theory (was: T)Practical Theory (was: T)
12/22/2001Re: Practical Theory (was: T)Practical Theory (was: T)
12/22/2001Re: Practical Theory (was: T)Practical Theory (was: T)
12/23/2001Re: Practical Theory (was: T)Practical Theory (was: T)
12/24/2001Re: Practical Theory (was: T)Practical Theory (was: T)
12/15/2001Re: The History of TThe History of T
12/15/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/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/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

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