Posts By: michaelw
Date | Post | Topic |
12/20/2011 | Forgetting the past | Cambridge Course on "Usability of Programming Languages" |
03/10/2010 | Keeping up with the state-of-the-art | Have tracing JIT compilers won? |
03/10/2010 | Dog food | Have tracing JIT compilers won? |
02/03/2010 | Course focusing on JIT compilers? | Course focusing on JIT compilers? |
02/04/2010 | Past courses | Course focusing on JIT compilers? |
02/04/2010 | JIT specific aspects | Course focusing on JIT compilers? |
06/23/2009 | SSA Bibliography | SSA vs. CPS (and ANF?) |
06/19/2009 | Context | Factor Mixins |
10/14/2008 | Static types of partial functions | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
10/27/2008 | OT: runtime assertion vs crashing | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
07/19/2008 | How about CL? | Systems programming in languages other than C? |
01/31/2008 | Mu | Arc is released |
08/08/2007 | No Free Lunch | Ralph Johnson: Erlang, the next Java |
05/12/2007 | Type-level hackery | The Monad.Reader |
05/12/2007 | Illegal states | The Monad.Reader |
05/12/2007 | Illegal states | The Monad.Reader |
03/23/2007 | Really? | No Ifs, Ands, or Buts |
03/24/2007 | Typo bugs | A Real-World Use of Lift, a Scala Web Application Framework |
05/27/2006 | Hash | Linspire chooses Haskell as preferred language |
03/26/2007 | Stacking your thoughts | Unix as programming language |
10/18/2005 | Grunt work | Mechanizing Language Definitions |
10/18/2005 | Page not found | Mechanizing Language Definitions |
09/09/2005 | Deja Vu | Asynchronous Exceptions in Haskell |
08/30/2005 | SLIME48 | Yearning for a practical scheme |
08/22/2005 | Another example | When to create syntax? |
07/21/2005 | "if" | Grady Booch: Software Engineering Grand Challenges |
06/15/2005 | Fully constructed messages? | Tim Bray: On Threads |
06/15/2005 | What scales and what doesn't | Tim Bray: On Threads |
06/13/2005 | Would you like some | Transducer Composition and CPS |
06/03/2005 | Shortly discussed | Today's Status of Functional Programming Languages for Verification Tools ? |
06/05/2005 | development environment != IDE | Today's Status of Functional Programming Languages for Verification Tools ? |
06/06/2005 | Pretty much the same | Today's Status of Functional Programming Languages for Verification Tools ? |
05/23/2005 | Maybe... | Haskell for C Programmers |
04/26/2005 | Lisp Editors | Implementing a Lisp Editor - Would like some advice. |
04/25/2005 | LLVM | Virtual Machine and Runtime Framework |
06/04/2005 | More than language has to be taken into account | Why do they program in C++? |
06/04/2005 | Lambda: the ultimate... | Why do they program in C++? |
04/13/2005 | Parse tree munching with XSLT | Links |
03/26/2005 | lazy concurrent constraint logic language | Transparent Persistence |
01/26/2005 | Lisp Machine | Langauges and Hardware... |
12/12/2004 | FP? | Tim Bray: Sun & Dynamic Java |
12/13/2004 | Lisp? | Tim Bray: Sun & Dynamic Java |
12/13/2004 | Armed Bear | Tim Bray: Sun & Dynamic Java |
12/13/2004 | Missing: Pattern Matching | Tim Bray: Sun & Dynamic Java |
11/13/2004 | Haskell vs. ML study | Language comparison experiment |
11/16/2004 | re: conclusion | Language comparison experiment |
11/13/2004 | Haskell vs. Ada vs. C++ vs. Awk vs. ... | Language comparison experiment |
11/13/2004 | Another comparison | Language comparison experiment |
11/04/2004 | Views | Predicate Dispatch in the news |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |