Posts By: hannes
| Date | Post | Topic |
| 04/13/2011 | Game semantics | Imperative Programs as Proofs via Game Semantics |
| 05/21/2010 | The Glasgow Haskell Compiler and LLVM | The Glasgow Haskell Compiler and LLVM |
| 05/23/2010 | I agree | The Glasgow Haskell Compiler and LLVM |
| 04/01/2009 | Dylan macro system | PLOT: Programming Language for Old Timers |
| 04/01/2009 | thank you | PLOT: Programming Language for Old Timers |
| 01/22/2009 | Non-null References by Default in Java: Alleviating the Nullity | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 01/22/2009 | mutable vector implementation problem | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 01/22/2009 | procedural macro paper | Macro systems |
| 05/01/2007 | Harlequin Dylan is open source | Arc in action (a.k.a. it's aliiiiive!) |
| 11/18/2009 | Dylan is using it | The Memory Pool System: Thirty person-years of memory management development goes Open Source |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |