Lambda the Ultimate Weblog Topics
Last Updated 09/24/2006

Posts By: naughty

  Date    Post    Topic  
09/28/2005PffftLooking for FP Debuggers
09/21/2005TclGood languages with simple grammar
09/21/2005That is too true for comfort.RPC Under Fire
09/19/2005EfficiencyFunctional multi-method programming language
09/13/2005Here, here...Haskell and creative freedom
09/08/2005Noether's theoremCombining Theorem Proving and Programming
09/09/2005Yes, that one.Combining Theorem Proving and Programming
08/24/2005Information != DataShould Computer Science Get Rid of Protocols?
08/12/2005Mental Limits?Larger Subroutines == Fewer Defects
08/09/2005Derivatives of Regular Types = The Type of One Hole ContextsSimpler representation of operational semantics?
08/05/2005Sea, IslandsObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/01/2005Cross FertilisationLanguage Evolution applied to PLT
07/20/2005Programming SystemsGrady Booch: Software Engineering Grand Challenges
07/04/2005Constructive Type Theory, Laziness and Relevant ImplicationWhy Dependent Types Matter
07/05/2005The paper you link to is theWhy Dependent Types Matter
07/05/2005ResourcesThe Four Questions
07/05/2005Not always soIn Search of the Ideal Programming Language

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


Chris Rathman/ chris.rathman@comcast.net