FPCDSL@ICFP

Keyphrases

Publications

2013

Abhishek Kulkarni, Ryan R. Newton
Embrace, defend, extend: a methodology for embedding preexisting DSLs. FPCDSL@ICFP (2013)
Andrei Lapets, Martin Roetteler
Abstract resource cost derivation for logical quantum circuit descriptions. FPCDSL@ICFP (2013)
Doaa Hassan, Amr Sabry
Encoding secure information flow with restricted delegation and revocation in Haskell. FPCDSL@ICFP (2013)
Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce
Sensitivity analysis using type-based constraints. FPCDSL@ICFP (2013)
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, FPCDSL@ICFP 2013, Boston, Massachusetts, USA, September 22, 2013 FPCDSL@ICFP (2013)
Jacob Beal, Aaron Adler
Functional synthesis of genetic regulatory networks. FPCDSL@ICFP (2013)
Andrei Lapets, Marcus P. da Silva, Mike Thome, Aaron Adler, Jacob Beal, Martin Roetteler
QuaFL: a typed DSL for quantum programming. FPCDSL@ICFP (2013)
Arvind
Bluespec and Haskell. FPCDSL@ICFP (2013)