Posts By: jimdesu
| Date | Post | Topic |
| 11/11/2010 | term-typing/operational semantics simulator? | term-typing/operational semantics simulator? |
| 11/11/2010 | thanks | term-typing/operational semantics simulator? |
| 07/24/2009 | (Very) Simpleminded kind question | (Very) Simpleminded kind question |
| 07/24/2009 | Bjarne Stroustrup wrote a whole paper on whitespace overloading. | Resolved Debates in Syntax Design ? |
| 07/01/2009 | wither indeed | Modern dynamic linking infrastructure for PLT |
| 05/29/2009 | ouch | That old bug... |
| 04/09/2009 | ADT | Why are objects so unintuitive? |
| 09/12/2008 | amen! | Irresistible programs |
| 09/04/2008 | doing letrec with lambdas | doing letrec with lambdas |
| 09/04/2008 | exactly | doing letrec with lambdas |
| 09/04/2008 | hmm | doing letrec with lambdas |
| 09/05/2008 | as product types? | doing letrec with lambdas |
| 09/04/2008 | yeah... | doing letrec with lambdas |
| 09/05/2008 | ouch | doing letrec with lambdas |
| 05/28/2008 | business | Software complexity as means of professional advancement |
| 05/28/2008 | not quite | Software complexity as means of professional advancement |
| 05/28/2008 | I suspect so | Software complexity as means of professional advancement |
| 05/29/2008 | not really | Software complexity as means of professional advancement |
| 05/30/2008 | Napolean's Theorem | Software complexity as means of professional advancement |
| 05/30/2008 | I think it depends on the organization | Software complexity as means of professional advancement |
| 03/17/2008 | amen! | Higher-Order Programming without Closures? |
| 02/16/2008 | yeah | PL Related Blogs |
| 01/31/2008 | cheat? | Don't try FP in industry! |
| 08/14/2007 | Impractical Advice | creating my own programming language |
| 08/01/2007 | continuations and trampolining | continuations and trampolining |
| 03/20/2007 | If "join" is throwing away | Question on categorizing a language |
| 02/12/2007 | that's a depressing outlook | Almost everything happened in the Golden Age, right? |
| 02/07/2007 | I own it. | Opinions on _Theoretical Introduction to Programming_? |
| 08/09/2007 | linear algebra | Discussion of the Design and Use of NML |
| 01/24/2007 | not if they're defined as peano numbers | Total Functional Programming |
| 01/26/2007 | no kidding | Total Functional Programming |
| 01/20/2007 | yeah.... | Locus Solum: From the rules of logic to the logic of rules |
| 01/11/2007 | Can someone do a | Call by push-value |
| 01/05/2007 | once upon a time | Are Frames and Slots anything more that OO with a different name? |
| 12/01/2006 | Practical Laziness | Practical Laziness |
| 12/01/2006 | urg | Stephen Wolfram forecasts the future |
| 12/01/2006 | G Machine | SK Calculus not Consider SeKsy? |
| 11/27/2006 | I'd buy it! | Java Generics and Collections |
| 07/13/2006 | One wrinkle to consider | Writing an interpreter, targeting a VM or writing from scratch? |
| 07/07/2006 | it's true | Failure-oblivious computing |
| 07/06/2006 | Actually... | Amusing question |
| 06/09/2006 | Isn't it that already? | LtU: blog not forum! |
| 06/08/2006 | Assumptions | Joshua Bloch: "Nearly All Binary Searches Broken" |
| 06/08/2006 | Limited Resources | Why Are ALL Programming Languages So Low Level? |
| 06/09/2006 | Hard to do | Why Are ALL Programming Languages So Low Level? |
| 06/05/2006 | link? | What is covariant signature transformation? |
| 05/09/2006 | familiarity | The Nature of Lisp (a tutorial) |
| 05/11/2006 | What I'm talking about... | The Nature of Lisp (a tutorial) |
| 05/12/2006 | I absolutely agree | The Nature of Lisp (a tutorial) |
| 05/10/2006 | Wow | The Nature of Lisp (a tutorial) |
| 05/03/2006 | I'll buy it | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 05/14/2009 | CPS == parallel dataflow | What 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/2006 | similarity | Functional single argument style object oriented programming |
| 04/20/2006 | spineless tagless | "Down with Lambda-Lifting" |
| 04/17/2006 | Idioms? | The Essence of the Iterator Pattern |
| 02/23/2006 | huh? | Specifying C++ Concepts |
| 02/23/2006 | Point taken | Specifying C++ Concepts |
| 02/24/2006 | hmmm | Specifying C++ Concepts |
| 02/02/2006 | If they'd only just get good record support! | A New Haskell and those anxious to change |
| 02/05/2006 | Lenient | The Next Mainstream Programming Languages |
| 01/31/2006 | So, if I understand you correctly.... | Weak vs. strong typing |
| 01/31/2006 | my experience too | Weak vs. strong typing |
| 01/25/2006 | Windows, sadly | Choice of OS of LtU readers |
| 01/17/2006 | yes and no | Paul Vick: Language Design & Paying the UI "Tax" |
| 12/16/2005 | no kidding! | The Haskell Programmer's Guide to the IO Monad --- Don't Panic |
| 12/20/2005 | If you can wade through that... | The Haskell Programmer's Guide to the IO Monad --- Don't Panic |
| 11/30/2005 | Conjunction types | Conjunction types |
| 12/01/2005 | Found it in the Getting Started post.... | Conjunction types |
| 12/01/2005 | understood, mostly | Conjunction types |
| 12/02/2005 | Ok; I see the difference | Conjunction types |
| 12/02/2005 | Principal types | Conjunction types |
| 12/02/2005 | followup | Conjunction types |
| 11/09/2005 | Perhaps I'm missing something | Can one avoid monads? |
| 10/26/2005 | 2nd derivative of expressiveness | What do you mean by studying "programming languages"? |
| 10/05/2005 | PDF Version? | Number-Parameterized Types by Oleg Kiselyov |
| 09/27/2005 | 2nd on general forum access | LtU: Style and Focus |
| 09/20/2005 | seems cool | Haskell's overlooked object system |
| 09/02/2005 | except.... | Ruby on Rails: An Interview with David Heinemeier Hansson |
| 09/02/2005 | I could only wish | Ruby on Rails: An Interview with David Heinemeier Hansson |
| 06/01/2005 | Basic(er) Simple(r) Type Theory(?) | Basic(er) Simple(r) Type Theory(?) |
| 05/13/2005 | Purpose Built | A question about COBOL! |
| 07/15/2008 | Yes... | Let's make a programming language! |
| 05/10/2005 | A layman's proposal | Let'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 |