![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
1. FPCDSL@ICFP 2013: Boston, Massachusetts, USA
- Richard Lazarus, Assaf J. Kfoury, Jacob Beal:
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, FPCDSL@ICFP 2013, Boston, Massachusetts, USA, September 22, 2013. ACM 2013, ISBN 978-1-4503-2380-2
Workshop pesentations
- Arvind:
Bluespec and Haskell. 1-2 - Jacob Beal
, Aaron Adler:
Functional synthesis of genetic regulatory networks. 3-10 - Doaa Hassan, Amr Sabry
:
Encoding secure information flow with restricted delegation and revocation in Haskell. 11-18 - Andrei Lapets
, Marcus P. da Silva
, Mike Thome, Aaron Adler, Jacob Beal
, Martin Roetteler
:
QuaFL: a typed DSL for quantum programming. 19-26 - Abhishek Kulkarni
, Ryan R. Newton:
Embrace, defend, extend: a methodology for embedding preexisting DSLs. 27-34 - Andrei Lapets
, Martin Roetteler
:
Abstract resource cost derivation for logical quantum circuit descriptions. 35-42 - Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce:
Sensitivity analysis using type-based constraints. 43-50
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.