
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div></div><div>Il giorno 28 mag 2016, alle ore 19:53, Carter Schonwald <<a href="mailto:carter.schonwald@gmail.com">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">github.com/hopper-lang</a></div><div><br></div></div></blockquote><div><br></div><div>Nice! I will take a look!</div><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><div>Yes, I saw his paper and it was indeed what made me think about what Quipper authors said.</div><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><div>Then I hope the near future comes soon enough ;)</div><div><br></div><div>Greetings,</div><div>Nicola</div></body></html>