<div dir="ltr"><a href="https://github.com/NICTA/cogent/">https://github.com/NICTA/cogent/</a> 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 :) <br></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, May 28, 2016 at 11:39 AM, Nicola Gigante <span dir="ltr"><<a href="mailto:nicola.gigante@gmail.com" target="_blank">nicola.gigante@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><span class=""><div></div><div>Il giorno 28 mag 2016, alle ore 19:53, Carter Schonwald <<a href="mailto:carter.schonwald@gmail.com" target="_blank">carter.schonwald@gmail.com</a>> ha scritto:</div><div><br></div><blockquote type="cite"><div>Hello !<div>So my colleagues and I have some linear logical language engineering in various states of immaturity at <a href="http://github.com/hopper-lang" target="_blank">github.com/hopper-lang</a></div><div><br></div></div></blockquote><div><br></div></span><div>Nice! I will take a look!</div><span class=""><br><blockquote type="cite"><div><div>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)</div><div><br></div></div></blockquote><div><br></div></span><div>Yes, I saw his paper and it was indeed what made me think about what Quipper authors said.</div><span class=""><br><blockquote type="cite"><div>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<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
</blockquote></div>
</blockquote><br></span><div>Then I hope the near future comes soon enough ;)</div><div><br></div><div>Greetings,</div><div>Nicola</div></div></blockquote></div><br></div>