Posts By: keean
| Date | Post | Topic |
| 04/01/2006 | Automated theorem prover + Compiler | Extremely static language? |
| 11/10/2005 | In Haskell (as implemented in | The Role of Type Equality in Meta-Programming |
| 11/13/2005 | Screws are not special.. | Classification according to type vs function - An anecdote |
| 10/30/2005 | Misses the point | Does Visual Studio Rot the Mind? |
| 10/30/2005 | Programming is programming no | Does Visual Studio Rot the Mind? |
| 10/30/2005 | Vocational... | Does Visual Studio Rot the Mind? |
| 10/30/2005 | I certainly don't dismiss tha | Does Visual Studio Rot the Mind? |
| 11/01/2005 | I have used IDE's and find so | Does Visual Studio Rot the Mind? |
| 11/01/2005 | Let me look at these points: | Does Visual Studio Rot the Mind? |
| 11/03/2005 | SIPs low overhead and Haskell. | An Overview of the Singularity Project |
| 11/04/2005 | Type safe channels (like Occa | An Overview of the Singularity Project |
| 11/05/2005 | I agree with most of that... | An Overview of the Singularity Project |
| 11/07/2005 | Okay... I guess thats my mist | An Overview of the Singularity Project |
| 10/28/2005 | Errors | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 10/28/2005 | Just to clarify | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |