Posts By: Neil M
| Date | Post | Topic |
| 03/29/2012 | Other benefits of RC | Retrospective Thoughts on BitC |
| 03/13/2012 | Darcs | Reversing operations |
| 02/28/2012 | First class or higher order? | why first-class functions |
| 02/19/2012 | Devil's advocate | Julia, a language for technical computing |
| 02/05/2012 | Variable traces in Tcl/Tk | Active Variables in Common Lisp |
| 10/05/2011 | Predicate Calculus | What space does SQL cover, or, why is max so weird in SQL? |
| 10/07/2011 | Non-monotonocity | What space does SQL cover, or, why is max so weird in SQL? |
| 10/10/2011 | Nitpick | What space does SQL cover, or, why is max so weird in SQL? |
| 10/01/2011 | Blackboard architecture? | Opa |
| 04/24/2011 | Automata theory | Elephants don't play chess |
| 04/25/2011 | Subsumption + extras == subsumption? | Elephants don't play chess |
| 04/26/2011 | I don't think that's how | Elephants don't play chess |
| 04/27/2011 | Unfortunately, the model is | Elephants don't play chess |
| 04/27/2011 | I don't believe symbolic | Elephants don't play chess |
| 05/01/2011 | Similarly, a glance at the | Elephants don't play chess |
| 05/01/2011 | I may be wrong, but I | Elephants don't play chess |
| 05/01/2011 | Grammars and agents | Elephants don't play chess |
| 12/10/2010 | Tcl | languages with call by value only (and maybe closures)? |
| 04/12/2010 | OT: "meta-platform" | iPhone PL lockdown |
| 04/07/2010 | Passing error/event handlers | Go's proposed panic/recover exception-like mechanism |
| 04/07/2010 | Excellent! | Go's proposed panic/recover exception-like mechanism |
| 04/07/2010 | Exceptions + Futures | Go's proposed panic/recover exception-like mechanism |
| 12/03/2008 | Transactions | Functional building blocks as concurrency patterns |
| 12/03/2008 | I know | Functional building blocks as concurrency patterns |
| 11/27/2008 | Explicit tailcall statement | Clojure: Trampoline for mutual recursion |
| 11/11/2008 | No, the comment is right | Subtyping + overloading |
| 11/12/2008 | I notice that this only | Subtyping + overloading |
| 11/04/2008 | Prolog | New Programming Language Idea |
| 10/21/2008 | Reflection and Semantics in LISP | A bit of Scheming |
| 09/19/2008 | Jason | AgentSpeak(L): programming with beliefs, desires and intentions |
| 09/19/2008 | AgentSpeak(L) | AgentSpeak(L): programming with beliefs, desires and intentions |
| 09/19/2008 | AS(L) over Alice ML | AgentSpeak(L): programming with beliefs, desires and intentions |
| 09/19/2008 | This is true of | AgentSpeak(L): programming with beliefs, desires and intentions |
| 08/10/2008 | Logic vs Lambda | Usefullness of constants |
| 08/11/2008 | Visitor: pattern matching or fold? | Patrick Logan on patterns |
| 08/11/2008 | Encapsulation | Patrick Logan on patterns |
| 08/13/2008 | Why? | Patrick Logan on patterns |
| 07/21/2008 | XML | Multi-Artifact Languages |
| 07/21/2008 | DSLs | Multi-Artifact Languages |
| 06/10/2008 | Correct | using foldr to do map |
| 05/10/2008 | Deductive/inductive? | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 04/23/2008 | SAT solvers | program verification: the very idea |
| 07/25/2008 | Types of null | Is null needed? |
| 02/19/2008 | Console.WriteLine etc | Gilad Bracha: Cutting out Static |
| 09/08/2007 | Datalog | Q: Modularizing SQL? |
| 06/09/2006 | Debug REPL | Common Lisp Exception Handling |
| 05/24/2006 | Because locking an operation | ruby vs python |
| 02/12/2006 | Mutability vs scope | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | Cognitive model? | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | But I do think that backward | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | Forward chaining usually | Guido: Language Design Is Not Just Solving Puzzles |
| 01/31/2006 | Set theory vs type theory (vs. ...) | Lambda the Ultimate Set Comprehension |
| 01/23/2006 | Mac OS X | Choice of OS of LtU readers |
| 01/18/2006 | AIMA | Lisp is sin |
| 12/01/2005 | Need work | Collection of links to monad implementations in various languages. |
| 10/17/2005 | TOOT | Object Oriented Programming + Referential Transparency |
| 10/10/2005 | Will you answer "no" to this question? | The Church-Turing Thesis: Breaking the Myth |
| 07/21/2005 | ...and Tcl too | Grady Booch: Software Engineering Grand Challenges |
| 07/15/2005 | Types as functions? | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/06/2005 | Scripted Compiler | The design of C++0x |
| 07/04/2005 | Tk | Behaviour: Using CSS selectors to apply Javascript functionality |
| 04/29/2005 | Language Representation | The Fortress Language Spec v0.618 |
| 04/22/2005 | C vs C++ | Why do they program in C++? |
| 04/22/2005 | Haskell/Ocaml and Tcl | Why do they program in C++? |
| 05/18/2005 | Tcl library docs | Why do they program in C++? |
| 04/29/2005 | mmap | Why do they program in C++? |
| 03/22/2005 | "Procedural Manifesto" | Will Wright Presents Spore... and a New Way to Think About Games |
| 01/20/2005 | OO or relational? | OOP Is Much Better in Theory Than in Practice |
| 01/20/2005 | Definition of "good" programmer | OOP Is Much Better in Theory Than in Practice |
| 01/21/2005 | What is programming? | OOP Is Much Better in Theory Than in Practice |
| 01/22/2005 | Objects as interpreters? | OOP Is Much Better in Theory Than in Practice |
| 07/15/2004 | Imperfect/incomplete knowledge | Why type systems are interesting |
| 07/16/2004 | Example | Why type systems are interesting |
| 07/16/2004 | Not a solution | Why type systems are interesting |
| 07/16/2004 | Implementation hiding | Why type systems are interesting |
| 07/16/2004 | Not true | Why type systems are interesting |
| 07/16/2004 | Exactly | Why type systems are interesting |
| 07/18/2004 | Nice | Why type systems are interesting |
| 07/14/2004 | Still don't quite get it | Explaining monads |
| 07/14/2004 | Ahhh! | Explaining monads |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |