[Haskell-cafe] Quantum Programming EDSLs other than Quipper

[Nicola Gigante]

Il giorno 28 mag 2016, alle ore 19:53, Carter Schonwald <carter.schonwald at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160528/7a7ae26c/attachment.html>