bib.bib

@inproceedings{BirdListTh,
 author = {R. S. Bird},
 title = {An {I}ntroduction to the {T}heory of {L}ists},
 booktitle = {NATO Inst. on Logic of Progr. and Calculi of Discrete Design},
 year = {1987},
 isbnOPT = {0-387-18003-6},
 locationOPT = {Marktoberdorf, Germany},
 pages = {5--42},
 numpagesOPT = {38},
 urlOPT = {http://dl.acm.org/citation.cfm?id=42675.42676},
 acmidOPT = {42676},
 publisherOPT = {Springer-Verlag New York, Inc.},
 addressOPT = {New York, NY, USA},
}

@article{moore1965,
   author = {Gordon E. Moore},
   title = "{Cramming more components onto integrated circuits}",
   journal = "Electronics",
   month = {April},
   volume = "38",
   number = "8",
   pages = "114-117",
   year = "1965"
}

@article{Flynn1972,
 author = {Flynn, Michael J.},
 title = {Some Computer Organizations and Their Effectiveness},
 journal = {IEEE Transactions of Computers},
 volume = {21},
 number = {9},
 month = {September},
 year = {1972},
 issn = {0018-9340},
 pages = {948--960},
 numpages = {13},
 publisher = {IEEE Computer Society}
}

@techreport{vonneumann1945,
  author={John von Neumann},
  title={First Draft of a Report on the {EDVAC}},
  year={1945},
  month={June},
  institution={Moore School of Electrical Engineering, University of Pennsylvania}
}

@BOOK{opencl2011,
        AUTHOR = {Benedict Gaster and Lee Howes and David R. Kaeli and Perhaad Mistry and Dana Schaa},
        TITLE = {Heterogeneous Computing with {OpenCL}},
	NOTE={Second Edition},
        YEAR = {2011},
	MONTH={September},
        PUBLISHER = {Morgan Kaufmann}
}

@book{blelloch1990vector,
  title={Vector models for data-parallel computing},
  author={Blelloch, Guy E},
  volume={75},
  year={1990},
  publisher={MIT press Cambridge}
}

@article{blelloch1994implementation,
  title={Implementation of a {P}ortable {N}ested {D}ata-{P}arallel {L}anguage},
  author={Blelloch, Guy E and Hardwick, Jonathan C and Sipelstein, Jay and Zagha, Marco and Chatterjee, Siddhartha},
  journal={Journal of parallel and distributed computing},
  volume={21},
  number={1},
  pages={4--14},
  year={1994},
  publisher={Elsevier}
}

@BOOK{algdesign:parseq2016,
        AUTHOR = {Course Organizers},
        TITLE = {Algorithm Design: Parallel and Sequential},
	NOTE={Course Book Draft Edition. Course Taught Fall 2016 by Umut Acar and Robert Harper},
        YEAR = {2016},
	MONTH={September},
        PUBLISHER = {Carnegie Mellon University}
}

@inproceedings{Henriksen:2017:FPF:3062341.3062354,
 author = {Henriksen, Troels and Serup, Niels G. W. and Elsman, Martin and Henglein, Fritz and Oancea, Cosmin E.},
 title = {Futhark: Purely Functional {GPU}-programming with Nested Parallelism and In-place Array Updates},
 booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI 2017},
 year = {2017},
 isbn = {978-1-4503-4988-8},
 location = {Barcelona, Spain},
 pages = {556--571},
 numpages = {16},
 url = {http://doi.acm.org/10.1145/3062341.3062354},
 doi = {10.1145/3062341.3062354},
 acmid = {3062354},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {GPGPU, compilers, functional language, parallel},
}

@inproceedings{Larsen:2017:SRS:3122948.3122952,
 author = {Larsen, Rasmus Wriedt and Henriksen, Troels},
 title = {Strategies for Regular Segmented Reductions on {GPU}},
 booktitle = {Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing},
 series = {FHPC 2017},
 year = {2017},
 isbn = {978-1-4503-5181-2},
 location = {Oxford, UK},
 pages = {42--52},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/3122948.3122952},
 doi = {10.1145/3122948.3122952},
 acmid = {3122952},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {GPGPU, functional programming, parallelism},
}

@phdthesis{henriksen:phdthesis,
  author       = {Troels Henriksen},
  title        = {Design and Implementation of the Futhark Programming Language},
  school       = {University of Copenhagen},
  year         = 2017,
  address      = {Universitetsparken 5, DK-2100 Copenhagen},
  month        = 11,
}

@inproceedings{henriksen2014size,
  title={Size slicing: a hybrid approach to size inference in {Futhark}},
  author={Henriksen, Troels and Elsman, Martin and Oancea, Cosmin E},
  booktitle={Proceedings of the 3rd ACM SIGPLAN workshop on Functional High-Performance Computing (FHPC'14)},
  pages={31--42},
  year={2014},
  organization={ACM}
}

@inproceedings{henriksen2016design,
  title={Design and {GPGPU} performance of {Futhark}'s redomap construct},
  author={Henriksen, Troels and Larsen, Ken Friis and Oancea, Cosmin E},
  booktitle={Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming},
  pages={17--24},
  year={2016},
  organization={ACM}
}

@inproceedings{henriksen2014bounds,
  title={Bounds checking: An instance of hybrid analysis},
  author={Henriksen, Troels and Oancea, Cosmin E},
  booktitle={Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY'14)},
  pages={88},
  year={2014},
  organization={ACM}
}

@inproceedings{henriksen2013t2,
  title={A {T2} graph-reduction approach to fusion},
  author={Henriksen, Troels and Oancea, Cosmin Eugen},
  booktitle={Proceedings of the 2nd ACM SIGPLAN workshop on Functional High-Performance Computing (FHPC'13)},
  pages={47--58},
  year={2013},
  organization={ACM}
}

@inproceedings{finpar,
	author = {Andreetta, Christian and B\'egot, Vivien and Berthold, Jost and Elsman, Martin and Henglein, Fritz and Henriksen, Troels and Nordfang, Maj-Britt and Oancea, Cosmin E},
        title = {FinPar: A Parallel Financial Benchmark},
        booktitle = "ACM TACO",
	year = 2016
}

@INPROCEEDINGS{apltofuthark2016,
    author = {Troels Henriksen and Martin Dybdal and Henrik Urms and Anna Sofie Kiehn and Daniel Gavin and Hjalte Abelskov and Martin Elsman and Cosmin Oancea},
    title = {{APL} on {GPUs}---A {TAIL} from the Past, Scribbled in {Futhark}},
    booktitle = {Proceedings of the 5th {ACM SIGPLAN} workshop on Functional High-Performance Computing (FHPC'16)},
    month={September},
    year = {2016},
    organization={ACM}
}

@article{Elsman:2018:SIH:3243631.3236792,
 author = {Elsman, Martin and Henriksen, Troels and Annenkov, Danil and Oancea, Cosmin E.},
 title = {Static Interpretation of Higher-order Modules in {Futhark}: Functional {GPU} Programming in the Large},
 journal = {Proc. ACM Program. Lang.},
 issue_date = {September 2018},
 volume = {2},
 number = {ICFP},
 month = jul,
 year = {2018},
 issn = {2475-1421},
 pages = {97:1--97:30},
 articleno = {97},
 numpages = {30},
 url = {http://doi.acm.org/10.1145/3236792},
 doi = {10.1145/3236792},
 acmid = {3236792},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {GPGPU, compilers, functional languages, modules},
}

@inproceedings{Peterson:1993:ITC:155090.155112,
 author = {Peterson, John and Jones, Mark},
 title = {Implementing Type Classes},
 booktitle = {Proceedings of the ACM SIGPLAN 1993 Conference on Programming Language Design and Implementation},
 series = {PLDI '93},
 year = {1993},
 isbn = {0-89791-598-4},
 location = {Albuquerque, New Mexico, USA},
 pages = {227--236},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/155090.155112},
 doi = {10.1145/155090.155112},
 acmid = {155112},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@InProceedings{Els98,
  author = 	 {Martin Elsman},
  title = 	 {Polymorphic Equality---No Tags Required},
  booktitle = 	 {Second International Workshop on Types in Compilation (TIC'98)},
  year = 	 {1998},
  month = 	 {March}
}

@InProceedings{tfp18hovgaard,
  author = 	 {Anders Kiel Hovgaard and Troels Henriksen and Martin Elsman},
  title = 	 {High-performance defunctionalization in {Futhark}},
  booktitle = 	 {Symposium on Trends in Functional Programming (TFP'18)},
  year = 	 {2018},
  month =        {September}
}

@MastersThesis{hovgaard18thesis,
  author    = {Anders Kiel Hovgaard},
  title     = {Higher-order functions for a high-performance programming language for {GPUs}},
  school    = {Department of Computer Science, Faculty of Science, University of Copenhagen},
  address   = {Universitetsparken 5, DK-2100 Copenhagen},
  month     = {May},
  year      = {2018},
}

@InProceedings{tfp05elsman,
  author = 	 {Martin Elsman},
  title = 	 {Type-Specialized Serialization with Sharing},
  booktitle = 	 {Sixth Symposium on Trends in Functional Programming (TFP'05)},
  year = 	 {2005},
  month =        {September}
}

@article{functional-pearl-pickler-combinators,
 author = {Kennedy, Andrew J.},
 title = {Functional Pearl: Pickler Combinators},
 journal = {Jounal of Functional Programming},
 issue_date = {November 2004},
 volume = {14},
 number = {6},
 month = {November},
 year = {2004},
 pages = {727--739},
 numpages = {13},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
}

@InCollection{Elliott03:FOP,
  author       = {Conal Elliott},
  title        = {Functional Images},
  url          = {http://conal.net/papers/functional-images/},
  booktitle    = {The Fun of Programming},
  publisher    = {Palgrave},
  year         = 2003,
  series       = {``Cornerstones of Computing'' series},
  month        = {March}
}

@InProceedings{elsman99,
  author = 	 {Martin Elsman},
  title = 	 {Static Interpretation of Modules},
  booktitle = 	 {Procedings of Fourth International Conference on Functional Programming (ICFP'99)},
  year = 	 {1999},
  month =        {September},
  pages =        {208--219},
  publisher =    {ACM Press}
}

@phdthesis{Annenkov:phdthesis,
  author       = {Danil Annenkov},
  title        = {Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory},
  year         = {2018},
  school       = {Department of Computer Science, Faculty of Science, University of Copenhagen},
  month        = {April},
}

@inproceedings{futhark:fhpc18,
 author = {Troels Henriksen and Martin Elsman and Cosmin E. Oancea},
 title = {Modular Acceleration: Tricky Cases of Functional High-Performance Computing},
 booktitle = {Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing},
 series = {FHPC 2018},
 year = {2018},
 location = {St. Louis, USA},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{Schwartz:1980:ULT:357114.357116,
 author = {Schwartz, Jacob T.},
 title = {Ultracomputers},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {Oct. 1980},
 volume = {2},
 number = {4},
 month = oct,
 year = {1980},
 issn = {0164-0925},
 pages = {484--521},
 numpages = {38},
 url = {http://doi.acm.org/10.1145/357114.357116},
 doi = {10.1145/357114.357116},
 acmid = {357116},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{ppopp19henriksen,
 author = {Troels Henriksen and Frederik Thorøe and Martin Elsman and Cosmin E. Oancea},
 title = {Incremental Flattening for Nested Data Parallelism},
 booktitle = {Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
 series = {PPoPP '19},
 year = {2019},
 month = {February},
 location = {Washington, DC, USA},
 publisher = {ACM},
}

@inproceedings{moore1975,
   author = {Gordon E. Moore},
   title = "{Progress in Digital Integrated Electronics}",
   booktitle = "Technical Digest 1975",
   note="International Electron Devices Meeting",
   pages = "11-13",
   year = "1975",
   organization={IEEE}
}

@article{Nickolls:2008:SPP:1365490.1365500,
 author = {Nickolls, John and Buck, Ian and Garland, Michael and Skadron, Kevin},
 title = {Scalable Parallel Programming with CUDA},
 journal = {Queue},
 issue_date = {March/April 2008},
 volume = {6},
 number = {2},
 month = mar,
 year = {2008},
 issn = {1542-7730},
 pages = {40--53},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1365490.1365500},
 doi = {10.1145/1365490.1365500},
 acmid = {1365500},
 publisher = {ACM},
 address = {New York, NY, USA},
}