Posts By: citylight
| Date | Post | Topic |
| 02/08/2009 | Bertrand Russel invented type systems | What is the dual of { } ? |
| 02/08/2009 | OK... well I'm still not | What is the dual of { } ? |
| 02/08/2009 | About ZF, | What is the dual of { } ? |
| 03/14/2007 | I think the Relational model casts interesting light on this. | Implementation Inheritance |
| 02/17/2007 | Check out the 'prototype' library for Javascript | How to teach Functional Programming... in Flash??? |
| 01/31/2007 | This would appeal to me more, aesthetically | First Class Relationships in an Object-oriented Language |
| 01/02/2007 | Undecidable in general, but | Question About Computational Complexity |
| 12/23/2006 | Name-free graph-based representations | Quotation and evaluation -- or, how pure is the pure lambda calculus? |
| 12/22/2006 | How would you type S ? | Modeling and Typing Combinatory Calculus |
| 11/16/2006 | Abstractly typed languages | Abstractly typed languages |
| 11/18/2006 | Yes, optimization wasn't really the main point | Abstractly typed languages |
| 11/23/2006 | Interesting | Abstractly typed languages |
| 09/28/2006 | I'd suggest C, not C++ | Designing a Programming Textbook |
| 09/18/2006 | Why Johnny can't code | Why Johnny can't code |
| 09/21/2006 | Actually yes | Why Johnny can't code |
| 09/03/2006 | In a dependently typed language | Constant Values as Types |
| 09/03/2006 | More thoughts - | Constant Values as Types |
| 09/03/2006 | I think it would be undecideable | Constant Values as Types |
| 09/04/2006 | I see what you're saying | Constant Values as Types |
| 09/04/2006 | Now I think about it | Constant Values as Types |
| 05/02/2006 | This looks really interesting | Links: Web Programming Without Tiers |
| 05/04/2006 | Well I was thinking more along the lines | Links: Web Programming Without Tiers |
| 04/22/2006 | Mathematical perspective | The fundamental difference between Sets and Lists? |
| 12/23/2005 | Simple question I expect but | An Operational Foundation for Delimited Continuations in the CPS Hierarchy |
| 12/24/2005 | Ah thanks | An Operational Foundation for Delimited Continuations in the CPS Hierarchy |
| 12/11/2005 | Have a play with Max/MSP | Is this a new programming paradigm |
| 11/08/2005 | Nitpick | Type Nomenclature |
| 11/01/2005 | Looks like a fairly trivial | Parsing and syntax reordering |
| 10/27/2005 | I know nothing about hardware design but | Would LISP/FP help here? |
| 09/30/2005 | Tail recursion sacrafices | "The Anatomy of a Loop" |
| 09/30/2005 | Hmm... yeah I can see it woul | "The Anatomy of a Loop" |
| 09/30/2005 | (Sorry just thinking aloud th | "The Anatomy of a Loop" |
| 09/25/2005 | Recursion feels quite intuitive | What is Intuitive? |
| 09/22/2005 | Maybe I'm missing something b | Table Oriented Programming |
| 09/23/2005 | ...except that, IIRC, you can | Most Productive FP Lang? |
| 09/15/2005 | Category theory | Category theory |
| 09/15/2005 | Ah that sounds like the kind | Category theory |
| 09/02/2005 | MySQL and foreign keys | Ruby on Rails: An Interview with David Heinemeier Hansson |
| 09/02/2005 | ActiveRecord and the relational model | Ruby on Rails: An Interview with David Heinemeier Hansson |
| 09/02/2005 | Oh right | Ruby on Rails: An Interview with David Heinemeier Hansson |
| 09/03/2005 | Oops | Ruby on Rails: An Interview with David Heinemeier Hansson |
| 09/03/2005 | Well I expect you could cook | Ruby on Rails: An Interview with David Heinemeier Hansson |
| 09/03/2005 | True, Ruby is perhaps more ha | Ruby on Rails: An Interview with David Heinemeier Hansson |
| 09/02/2005 | Wow | Yearning for a practical scheme |
| 07/22/2005 | Poly time church-turing | The Complexity Zoo |
| 07/23/2005 | Of course, although most of c | The Complexity Zoo |
| 07/28/2005 | I agree! I was merely pointin | The Complexity Zoo |
| 06/27/2005 | Not intuitive | Why recursing is better than looping |
| 06/27/2005 | More so than iteration, I mea | Why recursing is better than looping |
| 06/09/2005 | popularity | Happy Birthday, PHP... |
| 05/10/2005 | More sites like Lambda | More sites like Lambda |
| 05/11/2005 | Maths sites | More sites like Lambda |
| 09/28/2004 | Someone already has :-) | The Language of Biology |
| 07/14/2004 | IO monads | Explaining monads |
| 06/22/2004 | Binary relations | Binary relations |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |