Asynchronicity

Sometimes synchronicity is not enough

Archive for the ‘links’ Category

Using LLVM from Haskell

leave a comment »

Brian O’Sullivan first announced the Haskell LLVM bindings on his blog.

Lennart Augustsson posted a series of posts about his extensions:

Also, check out the LLVM tag on Lennart’s blog.

Written by Andrei Formiga

March 20, 2009 at 3:10 pm

Posted in links

Tagged with ,

Ott

leave a comment »

Ott is a very interesting tool to work with semantics. One of the project suggestions of Peter Sewell (one of the authors of Ott) is an extension to animate the semantics, searching possible derivations and typing judgements for a term. I have often thought about doing something similar to this, especially for CCS/pi-calculus.

Written by Andrei Formiga

February 25, 2009 at 2:22 pm

Posted in links

Tagged with ,