[Haskell-cafe] Cabalizing LVM

2012-10-24 Thread Jurriaan Hage
Dear all, in an effort to Cabalize the Helium compiler and make it available on Hackage, it would be helpful to have an example of a Cabal file that shows how to deal with compilation of platform dependent C-code. Anybody out there who has a sample for me? best, Jurriaan Hage

[Haskell-cafe] Follow up on type error diagnosis for DSLs in Haskell

2013-05-05 Thread Jurriaan Hage
r (as mentioned by Stephen) up to Haskell 2011 (or whatever variant will be appropriate). The plan is to first prototype this work in the UHC compiler, and, if succesful, build it into the GHC. I shall surely send out a job vancancy on some of the Haskell mailing lists. best, Jurriaan

[Haskell-cafe] Job opening Ph D student in type error diagnosis for domain specific languages in Haskell

2013-05-31 Thread Jurriaan Hage
n closes on the 20th of June 2013. For application, visit http://www.cs.uu.nl/vacatures/en/583630.html and follow the link to the official job application page at the bottom. --- Contact person --- For further information you can direct your inquiries to: Dr. Jurriaan H

[Haskell-cafe] Liber Amicorum for Doaitse Swierstra.

2013-07-03 Thread Jurriaan Hage
. You can find a download of this book at: http://www.cs.uu.nl/people/jur/liberdoaitseswierstra.pdf Not all contributions are ``technical'', and not all of them are in English, but counting up the pages, I guess about 75 percent is. best, Jur