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 |