https://github.com/NICTA/cogent/ is also a (very different!) linear logical language thats recently been made public by nicta, the associated papers on their projects are very illuminating. and either way, thers a lot of great theoretical and semi applied work intersecting with linear logical semantics thats ripe for use :)

On Sat, May 28, 2016 at 11:39 AM, Nicola Gigante <nicola.gigante@gmail.com> wrote:

Il giorno 28 mag 2016, alle ore 19:53, Carter Schonwald <carter.schonwald@gmail.com> ha scritto:

Hello !
So my colleagues and I have some linear logical language engineering in various states of immaturity at github.com/hopper-lang

Nice! I will take a look!

Last fall Jeff polakow presented a paper at Haskell symposium or Icfp (forget which) for embedding linear types in Haskell , might be worth googling around for a copy of that paper (Google scholar might get you a non paywalled pdf)

Yes, I saw his paper and it was indeed what made me think about what Quipper authors said.

There's some cool stuff related to this I hope to share with the community in the near future, but that's all I can offer off the cuff

Then I hope the near future comes soon enough ;)

Greetings,
Nicola