Posts By: alti
| Date | Post | Topic |
| 06/16/2005 | Math for CS | Basic(er) Simple(r) Type Theory(?) |
| 06/16/2005 | Meanings of type theory | Basic(er) Simple(r) Type Theory(?) |
| 05/28/2005 | mutually recursive datatypes | Differentiating Data Structures |
| 05/28/2005 | features | Why Dependent Types Matter |
| 05/28/2005 | revolution or evolution | Why Dependent Types Matter |
| 05/28/2005 | backgound knowledge | Why Dependent Types Matter |
| 05/29/2005 | Epigram editor interface | Why Dependent Types Matter |
| 05/30/2005 | Epigram, partiality and the real world | Why Dependent Types Matter |
| 05/30/2005 | Eclipse? | Why Dependent Types Matter |
| 05/31/2005 | wxHaskell | Why Dependent Types Matter |
| 08/29/2004 | lists as functions | Multidimensional arrays |
| 08/29/2004 | Turing completeness | The Origins of the Turing Thesis Myth |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |