Posts By: Dave Menendez
| Date | Post | Topic |
| 11/24/2008 | Uninhabited types can be useful | Non-standard type theories for FP |
| 10/19/2008 | Approximating it in Haskell | A Modular, Verifiable Exception-Handling Mechanism |
| 06/23/2008 | Bad link | Revisiting Coroutines |
| 06/24/2008 | Hyperfunctions and coroutines | Revisiting Coroutines |
| 04/25/2008 | What's functorial composition? | Species: making analytic functors practical for functional programming |
| 06/23/2006 | Is the code available? | Delimited dynamic binding |
| 06/11/2006 | Definite vs indefinite articles | Inform 7: A relational DSL for interactive fiction with natural language syntax |
| 06/07/2006 | Resumable exceptions in Haskell? | Common Lisp Exception Handling |
| 04/13/2006 | Why don't these work? | foldl and foldr |
| 02/11/2006 | (Non-dependent) sums | Type theory question... |
| 02/02/2006 | Codifying the current extensions | A New Haskell and those anxious to change |
| 02/01/2006 | The Maybe datatype is a monad | What is a monad, why should I use it, and when is it appropriate? |
| 02/02/2006 | Rats | What is a monad, why should I use it, and when is it appropriate? |
| 02/01/2006 | Maybe in Haskell is the same as in ML | What is a monad, why should I use it, and when is it appropriate? |
| 02/02/2006 | Nifty combinators | What is a monad, why should I use it, and when is it appropriate? |
| 02/02/2006 | So the intuition here is | Naked Objects |
| 02/03/2006 | Where does equality of arrows come from? | Lambda the Ultimate Set Comprehension |
| 01/23/2006 | Fortunately for me, the time | Haskell is not not ML |
| 01/03/2006 | Dataflow and comonads | The new old or The "Return" to Concurrency |
| 01/06/2006 | id has a hidden parameter | The Haskell Programmer's Guide to the IO Monad --- Don't Panic |
| 12/03/2005 | The monads are there implicitly | The breaking point of language usability? |
| 11/15/2005 | I like it | Extensible Records With Scoped Labels |
| 11/07/2005 | Hash and Sharp are usually written distinctly | Programming Language Names |
| 11/01/2005 | Modern Haskell supports type annotation on arguments | Does Visual Studio Rot the Mind? |
| 10/28/2005 | Relation to Pure Type Systems? | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 10/28/2005 | Thanks for the clarification | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 11/01/2005 | Array and list interfaces versus implementations | Why Lists? |
| 10/22/2005 | Not that different | Linear types for aliased resources |
| 11/01/2005 | Sounds like resource files on the Mac | Bruce Tate: Technologies that may challenge Java |
| 10/18/2005 | XML is well-suited for document markup | LINQ BOF at OOPSLA |
| 10/06/2005 | Multiple recursion schemes | Scoping based on control flow graph |
| 10/06/2005 | For that example, I find "zip" more readable | Scoping based on control flow graph |
| 10/03/2005 | Automatic conversion to continuation-passing? | "The Anatomy of a Loop" |
| 10/03/2005 | Aren't all loops constructed with goto? | "The Anatomy of a Loop" |
| 10/03/2005 | How is that different from tail-call recursion? | "The Anatomy of a Loop" |
| 10/04/2005 | Tail calls aren't just for recursion/iteration | "The Anatomy of a Loop" |
| 09/18/2005 | Extending classes in Dylan | Nemerle and C# 3.0 |
| 09/13/2005 | An example algebra | Distributive laws for the Coinductive Solution of Recursive Equations |
| 09/09/2005 | We talk more about the clever stuff | Haskell and creative freedom |
| 08/15/2005 | Re: Strings and glue | Syntax Design |
| 08/11/2005 | Stack-based is point-free? | Concatenative Language Kont |
| 08/08/2005 | A less-annoying resumption monad | Guarded Induction and Weakly Final Coalgebras in Dependent Type Theory |
| 08/06/2005 | O'Caml doesn't have side-effects? | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 07/31/2005 | Are you familiar with Kleisli? | An interview with Chris Date |
| 06/27/2005 | First-class classes | Functions as Classes: Which languages? |
| 06/23/2005 | Rewrite the examples | How To Read a Paper |
| 06/23/2005 | Or a reader monad | A Monadic Framework for Subcontinuations |
| 06/03/2005 | Some successors to Henk | What is so bad about compiling? |
| 06/04/2005 | Perhaps the "nazi" part disturbs people | Judy Stores |
| 05/03/2005 | You'd use fromIntegral | Call for Papers: ACM Symposium on Dynamic Languages |
| 02/12/2006 | Documentation is nice when you have it | The fate of reduce() in Python 3000 |
| 03/02/2005 | How about GADTs? | Embedded Interpreters |
| 03/02/2005 | Re: How about GADTs? | Embedded Interpreters |
| 02/23/2005 | You can't do that with System F | The HM system does not have principal typings for all terms |
| 02/25/2005 | I don't think so | The HM system does not have principal typings for all terms |
| 02/26/2005 | It's less general | The HM system does not have principal typings for all terms |
| 01/23/2005 | OOHaskell + YAMPA? | O'Haskell - a functional object-oriented concurrent PL |
| 12/23/2004 | Sounds like the passive voice | the Chinese natual language |
| 10/20/2004 | Read the last sentence of the | Whitespace |
| 09/28/2004 | AppleScript, too | WikiTalk |
| 09/13/2004 | You can do modular arithetic in Haskell | Apple Flunks First Grade Math |
| 10/20/2004 | Illegal moves are wins for the opponent | Introduction to computability logic |
| 09/11/2005 | Not a bad idea | Why type systems are interesting - part II |
| 07/20/2004 | PDF version also on-line | Wobbly types |
| 09/29/2004 | What are the superior alternatives to monads? | Explaining monads |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |