@techreport(berkeley06,
 author       = "Krste Asanovic and Ras Bodik and Bryan Christopher Catanzaro and Joseph James Gebis and Parry Husbands and Kurt Keutzer and David A. Patterson and William Lester Plishker and John Shalf and Samuel Webb Williams and Katherine A. Yelick",
 year         = "2006",
 title        = "The Landscape of Parallel Computing Research: A View from Berkeley",
 type         = "Technical Report",
 number       = "UCB/EECS-2006-183",
 institution  = "EECS Department, University of California, Berkeley",
)
@article(chapel-stencils,
 author       = "R.F. Barrett and P.C. Roth and S.W. Poole",
 year         = "2007",
 title        = "Finite {D}ifference {S}tencils {I}mplemented {U}sing {C}hapel",
 journal      = "Oak Ridge National Laboratory, Tech. Rep. ORNL Technical Report TM-2007/122",
)
@article(bodik2000abcd,
 author       = "R. Bod{\'\i }k and R. Gupta and V. Sarkar",
 year         = "2000",
 title        = "{ABCD: Eliminating Array Bounds Checks on Demand}",
 journal      = "ACM SIGPLAN Notices",
 volume       = "35",
 number       = "5",
 pages        = "321--333",
 doi          = "10.1145/358438.349342",
)
@inproceedings(associated-type-synonyms,
 author       = "Manuel M. T. Chakravarty and Gabriele Keller and Simon Peyton Jones",
 year         = "2005",
 title        = "Associated type synonyms",
 booktitle    = "ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "241--253",
 doi          = "10.1145/1086365.1086397",
)
@inproceedings(datta2008stencil,
 author       = "K. Datta and M. Murphy and V. Volkov and S. Williams and J. Carter and L. Oliker and D. Patterson and J. Shalf and K. Yelick",
 year         = "2008",
 title        = "Stencil computation optimization and auto-tuning on state-of-the-art multicore architectures",
 booktitle    = "Proceedings of the 2008 ACM/IEEE conference on Supercomputing",
 organization = "IEEE Press",
 pages        = "1--12",
)
@inproceedings(guillemette2008type,
 author       = "L.J. Guillemette and S. Monnier",
 year         = "2008",
 title        = "{A type-preserving compiler in Haskell}",
 booktitle    = "Proceeding of the 13th ACM SIGPLAN international conference on Functional programming",
 organization = "ACM",
 pages        = "75--86",
 doi          = "10.1145/1411203.1411218",
)
@article(hall1996type,
 author       = "C.V. Hall and K. Hammond and S.L. Peyton Jones and P.L. Wadler",
 year         = "1996",
 title        = "{Type classes in Haskell}",
 journal      = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
 volume       = "18",
 number       = "2",
 pages        = "109--138",
 doi          = "10.1145/227699.227700",
)
@book(machine-vision,
 author       = "R. Jain and R. Kasturi and B.G. Schunck",
 year         = "1995",
 title        = "{Machine vision}",
 volume       = "5",
 publisher    = "McGraw-Hill New York",
)
@inproceedings(kamil2006implicit,
 author       = "S. Kamil and K. Datta and S. Williams and L. Oliker and J. Shalf and K. Yelick",
 year         = "2006",
 title        = "Implicit and explicit optimizations for stencil computations",
 booktitle    = "Proceedings of the 2006 workshop on Memory system performance and correctness",
 organization = "ACM",
 pages        = "51--60",
 doi          = "10.1145/1178597.1178605",
)
@inproceedings(repa1,
 author       = "Gabriele Keller and Manuel M.T. Chakravarty and Roman Leshchinskiy and Simon Peyton Jones and Ben Lippmeier",
 year         = "2010",
 title        = "Regular, shape-polymorphic, parallel arrays in Haskell",
 series       = "ICFP '10",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "261--272",
 doi          = "10.1145/1863543.1863582",
)
@inproceedings(kiselyov2004strongly,
 author       = "Oleg Kiselyov and Ralf L\"{a}mmel and Keean Schupke",
 year         = "2004",
 title        = "Strongly typed heterogeneous collections",
 series       = "Haskell '04",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "96--107",
 doi          = "10.1145/1017472.1017488",
)
@article(krishnamoorthy2007effective,
 author       = "S. Krishnamoorthy and M. Baskaran and U. Bondhugula and J. Ramanujam and A. Rountev and P. Sadayappan",
 year         = "2007",
 title        = "Effective {A}utomatic {P}arallelization of {S}tencil {C}omputations",
 journal      = "ACM Sigplan Notices",
 volume       = "42",
 number       = "6",
 pages        = "235--244",
 doi          = "10.1145/1250734.1250761",
)
@inproceedings(pastha,
 author       = "Michael Lesniak",
 year         = "2010",
 title        = "PASTHA: parallelizing stencil calculations in Haskell",
 booktitle    = "Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming",
 series       = "DAMP '10",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "5--14",
 doi          = "10.1145/1708046.1708052",
)
@misc(repa2,
 author       = "Ben Lippmeier and Gabriele Keller and Simon Peyton Jones",
 year         = "2011",
 title        = "{Efficient Parallel Stencil Convolution in Haskell}",
 url          = "http://www.cse.unsw.edu.au/~benl/papers/stencil/stencil-icfp2011-sub.pdf",
 note         = "Draft manuscript. Retrieved April, 2011",
)
@inproceedings(quasiquotes,
 author       = "Geoffrey Mainland",
 year         = "2007",
 title        = "Why it's {N}ice to be Quoted: {Q}uasiquoting for {H}askell",
 booktitle    = "Haskell '07",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "73--82",
 doi          = "10.1145/1291201.1291211",
)
@inproceedings(markstein1982optimization,
 author       = "V. Markstein and J. Cocke and P. Markstein",
 year         = "1982",
 title        = "Optimization of range checking",
 booktitle    = "ACM SIGPLAN Notices",
 volume       = "17",
 organization = "ACM",
 pages        = "114--119",
)
@inproceedings(ref-ypnos,
 author       = "Dominic Orchard and Max Bolingbroke and Alan Mycroft",
 year         = "2010",
 title        = "Ypnos: {D}eclarative, {P}arallel {S}tructured {G}rid {P}rogramming",
 booktitle    = "DAMP '10: Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming",
 publisher    = "ACM",
 address      = "NY, USA",
 pages        = "15--24",
 doi          = "10.1145/1708046.1708053",
)
@inproceedings(peyton2006simple,
 author       = "Simon Peyton Jones and Dimitrios Vytiniotis and Stephanie Weirich and Geoffrey Washburn",
 year         = "2006",
 title        = "Simple unification-based type inference for GADTs",
 booktitle    = "Proceedings of ACM SIGPLAN international conference on Functional programming",
 series       = "ICFP '06",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "50--61",
 doi          = "10.1145/1159803.1159811",
)
@techreport(jones2004wobbly,
 author       = "Simon Peyton Jones and Geoffrey Washburn and Stephanie Weirich",
 year         = "July 2004",
 title        = "Wobbly Types: Type Inference for Generalised Algebraic Data Types",
 type         = "Technical Report",
)
@book(haskell98,
 author       = "Simon Peyton Jones",
 year         = "2003",
 title        = "Haskell 98 {L}anguage and {L}ibraries: {T}he {R}evised {R}eport",
 publisher    = "{Cambridge University Press}",
)
@inproceedings(sackman2009safely,
 author       = "M. Sackman and S. Eisenbach",
 title        = "Safely Speaking in Tongues",
 booktitle    = "Preliminary Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications LDTA 2009",
 pages        = "34",
)
@article(sac,
 author       = "Sven-Bodo Scholz",
 year         = "2003",
 title        = "{S}ingle {A}ssignment {C}: efficient support for high-level array operations in a functional setting",
 journal      = "Journal of Functional Programming",
 volume       = "13",
 number       = "6",
 pages        = "1005--1059",
 doi          = "10.1017/S0956796802004458",
)
@article(sheardgadts+,
 author       = "T. Sheard and J. Hook and N. Linger",
 title        = "{GADTs + extensible kinds = dependent programming}",
 journal      = "\url {http://www.cs.pdx.edu/ sheard/papers/GADT+ExtKinds.ps}",
)
@inproceedings(edsl-position,
 author       = "Don Stewart",
 year         = "2009",
 title        = "{D}omain {S}pecific {L}anguages for {D}omain {S}pecific {P}roblems",
 booktitle    = "{W}orkshop on {N}on-{T}raditional {P}rogramming {M}odels for {H}igh-{P}erformance {C}omputing, {LACSS}",
)
@conference(swierstra2008dependent,
 author       = "W. Swierstra and T. Altenkirch",
 year         = "2008",
 title        = "{Dependent types for distributed arrays}",
 booktitle    = "Proceedings of the Ninth Symposium on Trends in Functional Programming",
 organization = "Citeseer",
)
@inproceedings(wurthinger2007array,
 author       = "T. W{\"u}rthinger and C. Wimmer and H. M{\"o}ssenb{\"o}ck",
 year         = "2007",
 title        = "{Array bounds check elimination for the Java HotSpot(TM) client compiler}",
 booktitle    = "Proceedings of the 5th international symposium on Principles and practice of programming in Java",
 organization = "ACM",
 pages        = "125--133",
 doi          = "10.1145/1294325.1294343",
)
@phdthesis(xi1998dependent-thesis,
 author       = "H. Xi",
 year         = "1998",
 title        = "{Dependent Types in Practical Programming}",
 school       = "Carnegie Mellon University",
)
@conference(xi1999dependent,
 author       = "H. Xi and F. Pfenning",
 year         = "1999",
 title        = "{Dependent Types in Practical Programming}",
 booktitle    = "Conference Record Of The ACM Sypmosium On Principles Of Programming Languages",
 volume       = "26",
 pages        = "214--227",
 doi          = "10.1145/292540.292560",
)
@book(yang2006high,
 author       = "L.T. Yang and M. Guo",
 year         = "2006",
 title        = "{High-performance computing: Paradigm and Infrastructure}",
 publisher    = "John Wiley and Sons",
)
@article(yelick2007parallel,
 author       = "K. Yelick and P. Hilfinger and S. Graham and D. Bonachea and J. Su and A. Kamil and K. Datta and P. Colella and T. Wen",
 year         = "2007",
 title        = "Parallel {L}anguages and {C}ompilers: {P}erspective from the {T}itanium experience",
 journal      = "International Journal of High Performance Computing Applications",
 volume       = "21",
 number       = "3",
 pages        = "266",
 doi          = "10.1177/1094342007078449",
)