Posts By: H Lenzi
| Date | Post | Topic |
| 07/18/2008 | Rewriting logic | Ada, the Ultimate Lambda? |
| 10/15/2007 | Axiom kind of like ML | Examples of large-scale functional language projects |
| 10/12/2007 | Are traders writing their stuff in OCaml ? | Examples of large-scale functional language projects |
| 10/15/2007 | I meant quants | Examples of large-scale functional language projects |
| 10/12/2007 | PolySpace at MathWorks | Examples of large-scale functional language projects |
| 10/15/2007 | You forgot something | Examples of large-scale functional language projects |
| 10/15/2007 | A commercial Linux distribution uses Haskell | Examples of large-scale functional language projects |
| 08/15/2005 | There are very nice IDEs | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/15/2005 | Maybe the answer lies in metaprogramming | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/15/2005 | Tools that model | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/15/2005 | Enforcement of programming logic | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/15/2005 | FP slow | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |