Posts By: Thomas Sutton
| Date | Post | Topic |
| 02/08/2007 | Because we are considering partially correct programs... | Termination Checking with Types |
| 02/09/2007 | In Haskell, again, the | Why people don't use functional programming? |
| 12/11/2006 | Perhaps for some. Others, | Date format in the forum |
| 09/18/2006 | Nowadays you'd just learn | Why Johnny can't code |
| 09/12/2006 | It's used to build parsers | Parser that allow syntax extensions |
| 08/23/2006 | I'd have thought that the | Technometria: AJAX Progress and Challenges |
| 08/01/2006 | I took Paul's comment | Cost of provably-correct code |
| 07/04/2006 | Google scholar is your | online literature on CPL? |
| 07/04/2006 | So you are bored and want to | Lexical structure of scripting languages |
| 06/27/2006 | I'm not sure that | LtU: Policies document |
| 06/19/2006 | If by "support" you mean | Why only 'minimal' languages |
| 06/10/2006 | I'm not sure that there'd be | LtU: blog not forum! |
| 06/02/2006 | In Transactional memory with | Type checking and logical errors |
| 06/02/2006 | Which can ensure that | Type checking and logical errors |
| 06/02/2006 | I know, that was the | Type checking and logical errors |
| 06/02/2006 | I know. What I'm getting at | Type checking and logical errors |
| 06/03/2006 | My approach allows for a | Type checking and logical errors |
| 06/03/2006 | Sorry, I'm not particularly | Type checking and logical errors |
| 05/29/2006 | Namespaces, scoping, etc. | Namespaces, scoping, etc. |
| 05/29/2006 | The JRuby people are working | Buried Treasure - No Fluff Just Stuff |
| 05/27/2006 | Is there a reason you don't | Stealing language features for fun and profit in Ruby |
| 05/27/2006 | [R]esulting in the type of | Stealing language features for fun and profit in Ruby |
| 05/25/2006 | Changes... | Transactional memory with data invariants |
| 05/18/2006 | No optimization can mess up | ruby vs python |
| 05/14/2006 | This sounds really | The Nature of Lisp (a tutorial) |
| 05/04/2006 | I, for one, detest info(1). | Your favourite editor/IDE |
| 05/02/2006 | Indeed, you are correct. It | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 05/03/2006 | the Skein, which is a | Natural Language Programming for Interactive Fiction |
| 04/27/2006 | I've never looked at Oberon, | Oberon Script. A Lightweight Compiler and Runtime System for the Web |
| 04/28/2006 | Is it like a fungus, a | Oberon Script. A Lightweight Compiler and Runtime System for the Web |
| 05/16/2006 | Can you clarify | How do Java generics correspond to System F-(omega)? |
| 04/25/2006 | It's in Java? | Build your own scripting language for Java |
| 05/03/2006 | Not really. I probably | Build your own scripting language for Java |
| 04/20/2006 | Which seems off topic and meta-topic both. | Lang .NET 2006 |
| 04/13/2006 | Having worked in languages | Flexible Addition of Static Typing to Dynamically Typed Programs |
| 04/14/2006 | Its all a question of form | Flexible Addition of Static Typing to Dynamically Typed Programs |
| 04/15/2006 | A revelation | Flexible Addition of Static Typing to Dynamically Typed Programs |
| 04/01/2006 | You know, I didn't even | PHP 6 picks up GOTO and COMEFROM |
| 03/28/2006 | R is really popular in | The R Project |
| 03/29/2006 | See also the RETE algorithm, | ObjectiveCLIPS Updated |
| 03/27/2006 | On loading a module, do the | Extremely static language? |
| 03/21/2006 | Essential Language Support for Generic Programming | Essential Language Support for Generic Programming |
| 03/17/2006 | I'll admit that I didn't pay | The Problem With Parsing - an essay |
| 03/21/2006 | While we're at it, why don't | The Problem With Parsing - an essay |
| 03/20/2006 | Esperanto evolved during | Social science research about programming language adoption? |
| 03/20/2006 | The point that was made to | Social science research about programming language adoption? |
| 03/25/2006 | Programming: 50, 100 years from now | Programming: 50, 100 years from now |
| 12/06/2006 | Probably | Virtual Machines, Language Runtimes, and the Future of Objective C |
| 03/12/2006 | Some of the questions | ACM Queue: A Conversation with Steve Ross-Talbot |
| 03/11/2006 | UML? | Visualisable Languages |
| 02/26/2006 | And at the... | An Expressive Language of Signatures |
| 02/27/2006 | Oops, forgot about the | An Expressive Language of Signatures |
| 02/21/2006 | It seems to me that this | The C Family of Languages: Interview with Dennis Ritchie, Bjarne Stroustrup, and James Gosling |
| 02/16/2006 | That's a different word: one | Chu Spaces |
| 02/13/2006 | One of the honours students | Interval Computations |
| 02/02/2006 | I think that the committee | A New Haskell and those anxious to change |
| 02/16/2006 | If you put an object in two | The Next Mainstream Programming Languages |
| 02/01/2006 | Not just sequence. They, | What is a monad, why should I use it, and when is it appropriate? |
| 01/31/2006 | and "the persistence layer | Naked Objects |
| 02/08/2006 | I think PL enthusiasts have | Lambda the Ultimate Set Comprehension |
| 02/08/2006 | This is a bit of a weird | Lambda the Ultimate Set Comprehension |
| 02/09/2006 | The "monadic" of "second | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | Interesting paper... | Rho calculus |
| 01/26/2006 | It also ignores the really | Promising OS's from a Programming Language Perspective |
| 01/28/2006 | ...namely the lack of | Promising OS's from a Programming Language Perspective |
| 01/29/2006 | Part of the coolness (in my | Promising OS's from a Programming Language Perspective |
| 01/27/2006 | Now that's a well argued | Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming |
| 01/22/2006 | Linux's of various stripe - | Choice of OS of LtU readers |
| 01/27/2006 | It sounded like hyperbole to | Choice of OS of LtU readers |
| 01/26/2006 | Though I loathe to lower the | Choice of OS of LtU readers |
| 01/27/2006 | Operating systems like UNIX | Choice of OS of LtU readers |
| 01/27/2006 | I don't write software for | Choice of OS of LtU readers |
| 01/18/2006 | I didn't get much more from t | GAWK (GNU AWK) for AI? |
| 01/17/2006 | I have never found my experie | Paul Vick: Language Design & Paying the UI "Tax" |
| 01/13/2006 | What is the alternative? | Singleton classes really that bad? |
| 01/16/2006 | I can imagine that thread-loc | Singleton classes really that bad? |
| 01/02/2006 | On the hardware front the TRI | Dataflow languages and hardware - current status and directions |
| 01/05/2006 | It is not obvious that using | Dataflow languages and hardware - current status and directions |
| 01/12/2006 | Both of which are examples of | Return of the Global Variables? |
| 12/26/2005 | While I agree in principal, I | Insights on teaching computer programming |
| 12/02/2005 | Shouldn't this be in LtU Foru | Are we missing out on fancy types? |
| 12/03/2005 | The code in this paper seems | Lock-Free Data Structures using STMs in Haskell |
| 12/02/2005 | Just closing the italic tag... | Conjunction types |
| 12/01/2005 | A preprocessor, IDE, or debug | Getting started in language design -- reading material? |
| 11/17/2005 | If Rails will make Ruby the n | Ruby the Rival |
| 11/16/2005 | Unicode as the main reason fo | CaSe SenSitIviTy! What is its purpose in programming language syntax? |
| 11/17/2005 | I didn't say that they were, | CaSe SenSitIviTy! What is its purpose in programming language syntax? |
| 11/11/2005 | The Metronome people at IBM h | Battling Bugs: A Digital Quagmire |
| 11/06/2005 | And moreover - why not? If th | Programming Language Names |
| 10/30/2005 | This sort of thing (in a hand | The Type-System-Feature-Creep Death Spiral |
| 10/25/2005 | If their life was at stake, t | Bruce Tate: Technologies that may challenge Java |
| 10/18/2005 | IIRC, the main difference is | Object Oriented Programming + Referential Transparency |
| 10/12/2005 | Microsoft | Formal methods used in developing "profitable" software |
| 10/10/2005 | The halting problem... | The Church-Turing Thesis: Breaking the Myth |
| 10/12/2005 | I take analyse to be a univer | The Church-Turing Thesis: Breaking the Myth |
| 10/03/2005 | That is, in my opinion, the a | LtU etiquette |
| 04/25/2006 | A few examples... | Persistent functional databases |
| 10/05/2005 | Yearning for a practical scheme | Yearning for a practical scheme |
| 08/13/2005 | We discussed Adam and Eve, t | Syntax Design |
| 08/08/2005 | A self-hosting interpreter? | Have scripting languages peaked? |
| 08/05/2005 | Lack of a contract. | Overloading - Syntactic Heroin? |
| 08/05/2005 | Off topic | So what's Right and what is Wrong with the GNU GPL? |
| 08/05/2005 | I think that it's important t | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/09/2005 | Not to be rude or anything.. | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/09/2005 | A definition, a clarification and a suggestion. | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/05/2005 | "One, if not the central char | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/03/2005 | "What exactly are those effec | Mercury Vs Prolog |
| 08/03/2005 | Haskell (which is non-strict | Mercury Vs Prolog |
| 08/06/2005 | I don't like your dislike of the word "proof". | Mercury Vs Prolog |
| 08/06/2005 | What is logic about, if not s | Mercury Vs Prolog |
| 08/02/2005 | Sounds like data-flow concurr | The Simplicity of Concurrency |
| 08/01/2005 | Language Evolution applied to PLT | Language Evolution applied to PLT |
| 08/01/2005 | Parsing expression languages | Parsing expression languages |
| 08/01/2005 | Yes, yes it is... | An interview with Chris Date |
| 07/31/2005 | It's my impression (from the | CTM tour during the week of Nov. 7 |
| 07/28/2005 | Or perhaps the schools which | [Fun, crass] The Daily WTF |
| 06/23/2005 | I am reminded of a quote... | Why recursing is better than looping |
| 06/23/2005 | Portability -> safety? | Embedded Languages in Java |
| 06/12/2005 | http://okmij.org/ftp/ | Multilinguals learning computer languages faster than monol. |
| 06/10/2005 | An Efficient Implementation of Self, a Dynamically-Typed Object- | Classes or prototypes |
| 05/25/2005 | The halting problem does not | Parameterized Unit Tests |
| 05/27/2005 | I think that the above can be | Parameterized Unit Tests |
| 05/16/2005 | See your local library | Resources related to logic? |
| 05/13/2005 | The logic of communicating on channels | The logic of communicating on channels |
| 05/12/2005 | Mathematical and logical symbols | Why Dependent Types Matter |
| 06/10/2005 | Straw man? | Why do they program in C++? |
| 03/08/2005 | It can have problems... | JavaScript and domain specific Languages |
| 03/09/2005 | That was kinda the point :-). | JavaScript and domain specific Languages |
| 12/19/2006 | I think that Achilleas' | Transparent Persistence |
| 01/14/2005 | Both of these comments are correct (IIRC). | Ian Bicking: The challenge of metaprogramming |
| 10/23/2005 | Really, Really OT: I'm just a curious as you | the Chinese natual language |
| 10/25/2005 | I was thinking more of aiming | the Chinese natual language |
| 10/26/2005 | My guess is that these modes | the Chinese natual language |
| 10/26/2005 | There has been a bit of work | the Chinese natual language |
| 10/26/2004 | GMail accounts | GMail accounts |
| 10/27/2004 | All gone | GMail accounts |
| 10/31/2004 | I've got some more, if people still want them... | GMail accounts |
| 11/20/2004 | And I've got 6 more | GMail accounts |
| 11/28/2004 | All gone. | GMail accounts |
| 12/09/2004 | More invites here | GMail accounts |
| 10/13/2004 | Sentinals in DB programming? | Rel: an open source implementation of Date & Darwen's Tutorial D |
| 09/23/2004 | References for Beginners in PL Theory | References for Beginners in PL Theory |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |