Posts By: naughty
| Date | Post | Topic |
| 09/28/2005 | Pffft | Looking for FP Debuggers |
| 09/21/2005 | Tcl | Good languages with simple grammar |
| 09/21/2005 | That is too true for comfort. | RPC Under Fire |
| 09/19/2005 | Efficiency | Functional multi-method programming language |
| 09/13/2005 | Here, here... | Haskell and creative freedom |
| 09/08/2005 | Noether's theorem | Combining Theorem Proving and Programming |
| 09/09/2005 | Yes, that one. | Combining Theorem Proving and Programming |
| 08/24/2005 | Information != Data | Should Computer Science Get Rid of Protocols? |
| 08/12/2005 | Mental Limits? | Larger Subroutines == Fewer Defects |
| 08/09/2005 | Derivatives of Regular Types = The Type of One Hole Contexts | Simpler representation of operational semantics? |
| 08/05/2005 | Sea, Islands | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/01/2005 | Cross Fertilisation | Language Evolution applied to PLT |
| 07/20/2005 | Programming Systems | Grady Booch: Software Engineering Grand Challenges |
| 07/04/2005 | Constructive Type Theory, Laziness and Relevant Implication | Why Dependent Types Matter |
| 07/05/2005 | The paper you link to is the | Why Dependent Types Matter |
| 07/05/2005 | Resources | The Four Questions |
| 07/05/2005 | Not always so | In Search of the Ideal Programming Language |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |