BibTeX records: David Raymond Christiansen

download as .bib file

@inproceedings{DBLP:conf/icfp/HarringtonDSC14,
  author    = {Christian Harrington and
               Nicolai Dahl and
               Peter Sestoft and
               David Raymond Christiansen},
  editor    = {Jost Berthold and
               Mary Sheeran and
               Ryan Newton},
  title     = {Pension reserve computations on GPUs},
  booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} workshop on Functional high-performance
               computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014},
  pages     = {3--10},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2636228.2636230},
  doi       = {10.1145/2636228.2636230},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/conf/icfp/HarringtonDSC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Christiansen14,
  author    = {David Raymond Christiansen},
  editor    = {Sam Tobin{-}Hochstadt},
  title     = {Type-Directed Elaboration of Quasiquotations: {A} High-Level Syntax
               for Low-Level Reflection},
  booktitle = {Proceedings of the 26th 2014 International Symposium on Implementation
               and Application of Functional Languages, {IFL} '14, Boston, MA, USA,
               October 1-3, 2014},
  pages     = {1:1--1:9},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2746325.2746326},
  doi       = {10.1145/2746325.2746326},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ifl/Christiansen14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AndersenBC13,
  author    = {Jacob Andersen and
               Claus Brabrand and
               David Raymond Christiansen},
  title     = {Banana Algebra: Compositional syntactic language extension},
  journal   = {Sci. Comput. Program.},
  volume    = {78},
  number    = {10},
  pages     = {1845--1870},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.scico.2012.11.004},
  doi       = {10.1016/j.scico.2012.11.004},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/AndersenBC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Christiansen13,
  author    = {David Raymond Christiansen},
  editor    = {Jacques Carette and
               Jeremiah Willcock},
  title     = {Dependent type providers},
  booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
               {WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
  pages     = {25--34},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2502488.2502495},
  doi       = {10.1145/2502488.2502495},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/conf/icfp/Christiansen13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iseud/Christiansen13,
  author    = {David Raymond Christiansen},
  editor    = {Yvonne Dittrich and
               Margaret M. Burnett and
               Anders I. M{\o}rch and
               David F. Redmiles},
  title     = {Software Development for the Working Actuary},
  booktitle = {End-User Development - 4th International Symposium, {IS-EUD} 2013,
               Copenhagen, Denmark, June 10-13, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7897},
  pages     = {266--271},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38706-7\_24},
  doi       = {10.1007/978-3-642-38706-7\_24},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/iseud/Christiansen13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/ChristiansenCH10,
  author    = {David Raymond Christiansen and
               Marco Carbone and
               Thomas T. Hildebrandt},
  editor    = {Mario Bravetti and
               Tevfik Bultan},
  title     = {Formal Semantics and Implementation of {BPMN} 2.0 Inclusive Gateways},
  booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
               2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6551},
  pages     = {146--160},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-19589-1\_10},
  doi       = {10.1007/978-3-642-19589-1\_10},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/wsfm/ChristiansenCH10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics