Posts By: michael-fig
| Date | Post | Topic |
| 10/27/2010 | C+@ | The Myths of Object-Orientation |
| 03/16/2010 | I'm probably naive... | Recent Progress in Quantum Algorithms |
| 12/27/2009 | From one non-expert... | Need volunteer help/feedback from stronger academic/competent profiles (on testing T-diags expressiveness with semantics, etc) |
| 12/27/2009 | Types and online communities | Ward's Wiki |
| 08/04/2009 | In defense of timeouts (not timers) | Simplicity |
| 06/16/2009 | What Joe has in mind | A-Z of Programming Languages: Erlang |
| 10/03/2007 | COLA and Open, extensible object models | COLA and Open, extensible object models |
| 02/13/2007 | Erlang already has STM... | Patrick Logan on Software Transaction Memory |
| 12/31/2006 | Optimizer object graphs | AgentSheets: End-User Programing (and Secret Lisp Success Story!) |
| 12/01/2006 | There is a language... | SK Calculus not Consider SeKsy? |
| 08/03/2006 | Convergence | Convergence |
| 08/03/2006 | Front page? | Convergence |
| 08/02/2006 | Ocean implementation begins | Ocean implementation begins |
| 08/02/2006 | Why separate compilation? | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 08/02/2006 | Even better news... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/01/2006 | Leaving side-effects at the programmer's whim | Transactional Memory with data invariants (draft sequel to the STM-Haskell paper) |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |