Abstract is missing.
- Bluespec and HaskellArvind. 1-2 [doi]
- Functional synthesis of genetic regulatory networksJacob Beal, Aaron Adler. 3-10 [doi]
- Encoding secure information flow with restricted delegation and revocation in HaskellDoaa Hassan, Amr Sabry. 11-18 [doi]
- QuaFL: a typed DSL for quantum programmingAndrei Lapets, Marcus P. da Silva, Mike Thome, Aaron Adler, Jacob Beal, Martin Roetteler. 19-26 [doi]
- Embrace, defend, extend: a methodology for embedding preexisting DSLsAbhishek Kulkarni, Ryan R. Newton. 27-34 [doi]
- Abstract resource cost derivation for logical quantum circuit descriptionsAndrei Lapets, Martin Roetteler. 35-42 [doi]
- Sensitivity analysis using type-based constraintsLoris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce. 43-50 [doi]