Posts By: ski
Date | Post | Topic |
12/17/2005 | Relevant Types | Djinn, a theorem prover in Haskell, for Haskell. |
12/07/2005 | Type-class generalization | Envisioning a New Language: A Conversation With Victoria Livschitz |
12/08/2005 | (Does Erik Poll's A Monad for | The breaking point of language usability? |
12/08/2005 | I thought there were no side- | The breaking point of language usability? |
12/07/2005 | Interpreter with continuation | Collection of links to monad implementations in various languages. |
11/30/2005 | Tcl | Collection of links to monad implementations in various languages. |
12/06/2005 | Slate | Collection of links to monad implementations in various languages. |
07/17/2005 | Nitpick | Generics are a mistake? |
09/20/2004 | Arrays as collections and arrays as mappings (~functions) | Multidimensional arrays |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |