Monthly Archives: January 2005

SQLite for Moscow ML

Posted on January 27, 2005 by Ken

Stop The Press! Henning has started to make a binding of SQLite for Moscow ML. This absolutelly great news. I’m looking so much forward to play with this binding (hint, hint, Henning). At work we are using SQLite with great … Continue reading →

Posted in General, SML | 6 Comments

Lambda-DAG

Posted on January 20, 2005 by Ken

Yesterday I attended a talk by Olin Shivers about a clever way to representing lambda terms as DAGs. Olin talking about uplinks. (Yes, I mainly took the picture to test my new camera mobile phone.) It was a nifty technique … Continue reading →

Posted in Coding | 2 Comments