Lambda the Ultimate Weblog Topics
Last Updated 02/04/2011

Posts By: jimdesu

  Date    Post    Topic  
11/11/2010term-typing/operational semantics simulator?term-typing/operational semantics simulator?
11/11/2010thanksterm-typing/operational semantics simulator?
07/24/2009(Very) Simpleminded kind question(Very) Simpleminded kind question
07/24/2009Bjarne Stroustrup wrote a whole paper on whitespace overloading.Resolved Debates in Syntax Design ?
07/01/2009wither indeedModern dynamic linking infrastructure for PLT
05/29/2009ouchThat old bug...
04/09/2009ADTWhy are objects so unintuitive?
09/12/2008amen!Irresistible programs
09/04/2008doing letrec with lambdasdoing letrec with lambdas
09/04/2008exactlydoing letrec with lambdas
09/04/2008hmmdoing letrec with lambdas
09/05/2008as product types?doing letrec with lambdas
09/04/2008yeah...doing letrec with lambdas
09/05/2008ouchdoing letrec with lambdas
05/28/2008businessSoftware complexity as means of professional advancement
05/28/2008not quiteSoftware complexity as means of professional advancement
05/28/2008I suspect soSoftware complexity as means of professional advancement
05/29/2008not reallySoftware complexity as means of professional advancement
05/30/2008Napolean's TheoremSoftware complexity as means of professional advancement
05/30/2008I think it depends on the organizationSoftware complexity as means of professional advancement
03/17/2008amen!Higher-Order Programming without Closures?
02/16/2008yeahPL Related Blogs
01/31/2008cheat?Don't try FP in industry!
08/14/2007Impractical Advicecreating my own programming language
08/01/2007continuations and trampoliningcontinuations and trampolining
03/20/2007If "join" is throwing awayQuestion on categorizing a language
02/12/2007that's a depressing outlookAlmost everything happened in the Golden Age, right?
02/07/2007I own it.Opinions on _Theoretical Introduction to Programming_?
08/09/2007linear algebraDiscussion of the Design and Use of NML
01/24/2007not if they're defined as peano numbersTotal Functional Programming
01/26/2007no kiddingTotal Functional Programming
01/20/2007yeah....Locus Solum: From the rules of logic to the logic of rules
01/11/2007Can someone do aCall by push-value
01/05/2007once upon a timeAre Frames and Slots anything more that OO with a different name?
12/01/2006Practical LazinessPractical Laziness
12/01/2006urgStephen Wolfram forecasts the future
12/01/2006G MachineSK Calculus not Consider SeKsy?
11/27/2006I'd buy it!Java Generics and Collections
07/13/2006One wrinkle to considerWriting an interpreter, targeting a VM or writing from scratch?
07/07/2006it's trueFailure-oblivious computing
07/06/2006Actually...Amusing question
06/09/2006Isn't it that already?LtU: blog not forum!
06/08/2006AssumptionsJoshua Bloch: "Nearly All Binary Searches Broken"
06/08/2006Limited ResourcesWhy Are ALL Programming Languages So Low Level?
06/09/2006Hard to doWhy Are ALL Programming Languages So Low Level?
06/05/2006link?What is covariant signature transformation?
05/09/2006familiarityThe Nature of Lisp (a tutorial)
05/11/2006What I'm talking about...The Nature of Lisp (a tutorial)
05/12/2006I absolutely agreeThe Nature of Lisp (a tutorial)
05/10/2006WowThe Nature of Lisp (a tutorial)
05/03/2006I'll buy itProofs are Programs: 19th Century Logic and 21st Century Computing
05/14/2009CPS == parallel dataflowWhat do you believe about Programming Languages (that you can't prove (yet))?
05/01/2006"fully"Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem)
04/21/2006similarityFunctional single argument style object oriented programming
04/20/2006spineless tagless"Down with Lambda-Lifting"
04/17/2006Idioms?The Essence of the Iterator Pattern
02/23/2006huh?Specifying C++ Concepts
02/23/2006Point takenSpecifying C++ Concepts
02/24/2006hmmmSpecifying C++ Concepts
02/02/2006If they'd only just get good record support!A New Haskell and those anxious to change
02/05/2006LenientThe Next Mainstream Programming Languages
01/31/2006So, if I understand you correctly....Weak vs. strong typing
01/31/2006my experience tooWeak vs. strong typing
01/25/2006Windows, sadlyChoice of OS of LtU readers
01/17/2006yes and noPaul Vick: Language Design & Paying the UI "Tax"
12/16/2005no kidding!The Haskell Programmer's Guide to the IO Monad --- Don't Panic
12/20/2005If you can wade through that...The Haskell Programmer's Guide to the IO Monad --- Don't Panic
11/30/2005Conjunction typesConjunction types
12/01/2005Found it in the Getting Started post....Conjunction types
12/01/2005understood, mostlyConjunction types
12/02/2005Ok; I see the differenceConjunction types
12/02/2005Principal typesConjunction types
12/02/2005followupConjunction types
11/09/2005Perhaps I'm missing somethingCan one avoid monads?
10/26/20052nd derivative of expressivenessWhat do you mean by studying "programming languages"?
10/05/2005PDF Version?Number-Parameterized Types by Oleg Kiselyov
09/27/20052nd on general forum accessLtU: Style and Focus
09/20/2005seems coolHaskell's overlooked object system
09/02/2005except....Ruby on Rails: An Interview with David Heinemeier Hansson
09/02/2005I could only wishRuby on Rails: An Interview with David Heinemeier Hansson
06/01/2005Basic(er) Simple(r) Type Theory(?)Basic(er) Simple(r) Type Theory(?)
05/13/2005Purpose BuiltA question about COBOL!
07/15/2008Yes...Let's make a programming language!
05/10/2005A layman's proposalLet's make a 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@tx.rr.com