[Haskell-cafe] Enforcing data structures invariant in the type system

[Richard Eisenberg]

On Mar 31, 2015, at 12:46 PM, Nicola Gigante <nicola.gigante at gmail.com> wrote:

> Hi! is you dissertation available somewhere (or is still work in progress)?

It's work not-yet-in-progress. Though (I think) I have a clear idea of where it's going, I have yet to write a proposal. The proposal is due in about a month and a half, and I expect the work to be done by summer 2016. If things go well, expect more announcements in this space when there are things to announce. :)

Richard