Posts By: Jed Davis
| Date | Post | Topic |
| 12/22/2008 | What kind of abstraction? | If Programming Languages were <T> |
| 03/03/2008 | And, in ML-land: | Bell-LaPadula and type safety |
| 10/05/2007 | Concurrent Caml Light | Derivation and Evaluation of Concurrent Collectors |
| 10/17/2006 | Closures, you say? | Good Ideas, Through the Looking Glass |
| 09/23/2006 | Phonebooks | Draft R6RS available |
| 08/23/2006 | Reentrancy? | Closures for Java or money back |
| 08/03/2006 | Object layout | Covariance and typing |
| 06/09/2006 | In C, too... | Joshua Bloch: "Nearly All Binary Searches Broken" |
| 06/09/2006 | sliding | Joshua Bloch: "Nearly All Binary Searches Broken" |
| 06/05/2006 | Operatic Observations | Hop: a Language for Programming the Web 2.0 |
| 06/07/2006 | Maybe not the best introduction, but something: | The Weird World of Bi-Directional Programming |
| 05/26/2006 | CAMLP4, anyone? | Code Generation Network |
| 04/09/2006 | PL/I | Flexible Exception Handling (in Smalltalk) |
| 11/17/2005 | It occurs to me that the diff | What good is Strong Normalization in Programming Languages? |
| 08/06/2005 | CamlP4, anyone? | Overloading - Syntactic Heroin? |
| 08/06/2005 | See also: The Little JavaScri | A Lisp to JavaScript Compiler in 100 Lines |
| 07/11/2005 | To follow or not to follow. | Spam |
| 05/24/2005 | Your example sounds not unlik | Parameterized Unit Tests |
| 04/05/2005 | Another way to approach C++ | expressivity of "idiomatic C++" |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |