Posts By: Mike Hearn
| Date | Post | Topic |
| 10/14/2009 | Benefits? | Safe Garbage Collection = Regions + Intensional Type Analysis |
| 10/14/2009 | OK, that sounds good. | Safe Garbage Collection = Regions + Intensional Type Analysis |
| 04/12/2009 | Not mistaken | Jonathon Shapiro Wraps Up BitC |
| 05/19/2008 | Interesting but probably pointless | HOPL-III: A History of Erlang |
| 04/20/2008 | Comparison? | Register Allocation by Proof Transformation |
| 02/01/2008 | Need to learn how to use existing type systems first | The YNot Project |
| 08/22/2006 | JIT for JavaScript? | Technometria: AJAX Progress and Challenges |
| 05/30/2006 | ShedSkin | Type inference for Python |
| 05/20/2006 | UI design | Gilad Bracha: Will Continuations continue? |
| 05/20/2006 | Memory | Gilad Bracha: Will Continuations continue? |
| 05/20/2006 | Client-side state | Gilad Bracha: Will Continuations continue? |
| 05/20/2006 | Cool | Gilad Bracha: Will Continuations continue? |
| 05/17/2006 | That's rather harsh | Paul Vick: BASIC principles |
| 05/17/2006 | Massive opportunity | Paul Vick: BASIC principles |
| 05/17/2006 | REALbasic not actually compatible | Paul Vick: BASIC principles |
| 05/18/2006 | Could be ... | Paul Vick: BASIC principles |
| 05/13/2006 | Non-null references? | Non-null references? |
| 05/15/2006 | Thanks! | Non-null references? |
| 05/12/2006 | Nemerle | The case for Semantic Analysis |
| 05/13/2006 | "Memory Safety Without Runtime Checks or Garbage Collection" | Cyclone 1.0 released. |
| 05/09/2006 | Examples? | The Push Programming Language |
| 05/09/2006 | Familiarity/apps | The Nature of Lisp (a tutorial) |
| 05/13/2006 | Google not a substitute for centralised Church | The Nature of Lisp (a tutorial) |
| 05/13/2006 | Relatively speaking ... | The Nature of Lisp (a tutorial) |
| 05/09/2006 | Personally .... | Computer Science Looks for a Remake |
| 05/09/2006 | Experience | Computer Science Looks for a Remake |
| 05/09/2006 | Experience changes your perspective | Computer Science Looks for a Remake |
| 05/09/2006 | 6/7 years? | Computer Science Looks for a Remake |
| 05/10/2006 | SDV not correctness proof | Computer Science Looks for a Remake |
| 05/04/2006 | Probably correct | A note on distributed computing |
| 05/09/2006 | Devil is in the details | A note on distributed computing |
| 04/18/2006 | SELinux | E Thesis: Robust Composition |
| 02/02/2006 | A few things | The Next Mainstream Programming Languages |
| 02/04/2006 | Especially with C++ | The Next Mainstream Programming Languages |
| 02/05/2006 | Escape analysis | The Next Mainstream Programming Languages |
| 02/05/2006 | Boehm GC | The Next Mainstream Programming Languages |
| 01/27/2006 | jNode | Promising OS's from a Programming Language Perspective |
| 01/27/2006 | :( | Promising OS's from a Programming Language Perspective |
| 01/19/2006 | Macro Languages | Lisp is sin |
| 01/19/2006 | Monkeys? | Lisp is sin |
| 01/19/2006 | And the other side of the coin | Lisp is sin |
| 01/18/2006 | Practicality | Joel Spolsky views on CS education |
| 01/19/2006 | Right | Joel Spolsky views on CS education |
| 11/30/2008 | Unreachable code | Shoot-out: most annoying compiler error message |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |