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 |