Posts By: em
| Date | Post | Topic |
| 12/19/2007 | Concurrency vs. parallelism | Concurrency with Scheme |
| 12/13/2007 | Domain of runtime values | functions, statements, expressions |
| 09/06/2007 | Relational algebra is a functional language. | Q: Modularizing SQL? |
| 09/06/2007 | But sometimes when we say | Q: Modularizing SQL? |
| 09/06/2007 | Yes, relational algebra is functional. | Q: Modularizing SQL? |
| 09/07/2007 | My main point was simply | Q: Modularizing SQL? |
| 08/30/2007 | Static? | R6RS Validated |
| 07/16/2007 | Nope. | A Natural Axiomatization of Church's Thesis |
| 07/16/2007 | Is "knowledge" really relevant to this? | A Natural Axiomatization of Church's Thesis |
| 07/16/2007 | What do you mean by "knowable"? | A Natural Axiomatization of Church's Thesis |
| 07/16/2007 | This isn't a "proof" of C-T. | A Natural Axiomatization of Church's Thesis |
| 06/28/2007 | Yes, they express it | Pirahã living-in-the-present language |
| 06/28/2007 | Basically, utterances are | Pirahã living-in-the-present language |
| 06/28/2007 | You're drawing too strong a | Pirahã living-in-the-present language |
| 06/29/2007 | You're misunderstanding the issue. | Pirahã living-in-the-present language |
| 04/14/2007 | superficial | Thoughts about the Best Introductory Language |
| 04/15/2007 | To me it's not even "street | Thoughts about the Best Introductory Language |
| 06/28/2007 | "This statement is false." | Piraha Exceptionality: a Reassessment |
| 01/06/2007 | empty list | Why numbering should start at 0 |
| 01/06/2007 | Quantification isn't the same thing as counting. | Why numbering should start at 0 |
| 07/22/2006 | Concurrent ML | Erlang concurrency: why asynchronious messages? |
| 05/29/2006 | Single-type lists exist because of recursive combinators | First Class Values, Types as values within a Programming Language |
| 04/30/2006 | Aggregation and databases | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 04/30/2006 | So if I understand you, | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 04/28/2006 | For many years Sapir-Whorf | Rethinking Linguistic Relativity |
| 04/28/2006 | Ooops. I meant the third | Rethinking Linguistic Relativity |
| 03/18/2006 | I think that programming | Social science research about programming language adoption? |
| 01/29/2006 | Given all this, can somebody | Lambda the Ultimate Set Comprehension |
| 01/20/2006 | No, that's wrong. | What is a Proposition? |
| 01/20/2006 | No, that's wrong too. | What is a Proposition? |
| 01/20/2006 | Even if both statements are a | What is a Proposition? |
| 01/21/2006 | No, the classic (in the field | What is a Proposition? |
| 01/20/2006 | The Aristotelian concept you | What is a Proposition? |
| 01/23/2006 | Um, no. | Lisp is sin |
| 12/16/2005 | ummm, if they're different co | Countering Trusting Trust through Diverse Double-Compiling |
| 12/16/2005 | Ah, I'm definitely getting mileage out of this one. | The Haskell Programmer's Guide to the IO Monad --- Don't Panic |
| 11/21/2005 | Java is *both* statically and dynamically typed. | Ruby the Rival |
| 11/14/2005 | folding != aggregation | Algebra Of Programming (Bird, De Moor) |
| 11/04/2005 | Nice tutorial, but you should | Tutorial on Good Lisp Programming Style |
| 11/07/2005 | I would have thought that a b | Slashdot asks: "how would you improve SQL?" |
| 09/09/2005 | How are you using Scheme? | Haskell and creative freedom |
| 03/19/2005 | I largely agree | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/16/2005 | I think the guy actually has a point. | OCaml vs. C++ for Dynamic Programming |
| 03/16/2005 | That one's really because C i | OCaml vs. C++ for Dynamic Programming |
| 03/18/2005 | What do you mean by weak typi | OCaml vs. C++ for Dynamic Programming |
| 01/21/2005 | Program organization vs. domain modeling | OOP Is Much Better in Theory Than in Practice |
| 01/22/2005 | The extra emphasis you gave t | OOP Is Much Better in Theory Than in Practice |
| 11/23/2004 | "Nice paper"? | RDF and Databases |
| 11/23/2004 | I took that into account. | RDF and Databases |
| 10/27/2004 | It's *internal* defines that are at stake | Scheme Language Standardization Process: R6RS Progress Report |
| 10/07/2004 | hmmm. | Research ethics |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |