PLACES 2016 – Call for papers
http://places16.by.di.fc.ul.pt
9th Workshop on Programming Language Approaches to
Concurrency- and Communication-cEntric Software
Co-located with ETAPS 2016, Eindhoven, The Netherlands
***
Modern hardware pl
linearscan[1] is a linear scan register allocator[2], written in Coq[3], and
extracted to Haskell, as a library for Haskell programs that need to allocate
registers. It may also be used directly from Coq.
This project is the result of a year-long effort, funded by BAE Systems[4], to
explore the ap
Regrettably, I must announce that Haskell Weekly News will go on hiatus
until the new year.
I recognize that the last issue was back in September. It's been said that
"The more a man possesses over and above what he uses, the more careworn he
becomes." In my case, mundane possessions have indeed i
> Beta Ziliani writes:
> I'd be interested to know what was the outcome of the project from the point
> of view of BEA Systems. Is there any report about it?
>From BAE's point of view, we gained some industrial perspective. Separately, I
have prepared an experience report that is currently s
cacophony[1] is a library which implements the Noise[2] protocol.
Noise is a framework for cryptographic protocols based on ECDH key
agreement authored by Trevor Perrin.
pipes-cacophony[3] builds on cacophony to provide pipes that facilitate
key agreement and secure messaging (in conjunction with,