[Haskell-cafe] Quantum Programming EDSLs other than Quipper

Carter Schonwald carter.schonwald at gmail.com
Sat May 28 19:25:18 UTC 2016


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 at gmail.com>
wrote:

> 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/a1391db1/attachment.html>


More information about the Haskell-Cafe mailing list