twiddle.bib

@inproceedings{carette2007finally,
  title={Finally tagless, partially evaluated},
  author={Carette, Jacques and Kiselyov, Oleg and Shan, Chung-Chieh},
  booktitle={Asian Symposium on Programming Languages and Systems},
  pages={222--238},
  year={2007},
  organization={Springer}
}

@incollection{kiselyov2012typed,
  title={Typed tagless final interpreters},
  author={Kiselyov, Oleg},
  booktitle={Generic and Indexed Programming},
  pages={130--174},
  year={2012},
  publisher={Springer}
}

@article{sabry1993reasoning,
  title={Reasoning about programs in continuation-passing style},
  author={Sabry, Amr and Felleisen, Matthias},
  journal={Lisp and symbolic computation},
  volume={6},
  number={3-4},
  pages={289--360},
  year={1993},
  publisher={Springer}
}

@article{anderson2005bit,
  title={Bit twiddling hacks},
  author={Anderson, Sean Eron},
  journal={URL: http://graphics. stanford. edu/\~{} seander/bithacks. html},
  year={2005}
}

@inproceedings{amin2017lms,
  title={Lms-verify: Abstraction without regret for verified systems programming},
  author={Amin, Nada and Rompf, Tiark},
  booktitle={ACM SIGPLAN Notices},
  volume={52},
  number={1},
  pages={859--873},
  year={2017},
  organization={ACM}
}

@inproceedings{rompf2010lightweight,
  title={Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs},
  author={Rompf, Tiark and Odersky, Martin},
  booktitle={Acm Sigplan Notices},
  volume={46},
  number={2},
  pages={127--136},
  year={2010},
  organization={ACM}
}

@article{lee2011implementing,
  title={Implementing domain-specific languages for heterogeneous parallel computing},
  author={Lee, HyoukJoong and Brown, Kevin and Sujeeth, Arvind and Chafi, Hassan and Rompf, Tiark and Odersky, Martin and Olukotun, Kunle},
  journal={Ieee Micro},
  volume={31},
  number={5},
  pages={42--53},
  year={2011},
  publisher={IEEE}
}

@inproceedings{wadler1989make,
  title={How to make ad-hoc polymorphism less ad hoc},
  author={Wadler, Philip and Blott, Stephen},
  booktitle={Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  pages={60--76},
  year={1989},
  organization={ACM}
}

@inproceedings{cuoq2012frama,
  title={Frama-c},
  author={Cuoq, Pascal and Kirchner, Florent and Kosmatov, Nikolai and Prevosto, Virgile and Signoles, Julien and Yakobowski, Boris},
  booktitle={International Conference on Software Engineering and Formal Methods},
  pages={233--247},
  year={2012},
  organization={Springer}
}