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 |