refs.bib

@article{th1,
 author = {Sheard, Tim and Jones, Simon Peyton},
 title = {Template Meta-programming for Haskell},
 journal = {SIGPLAN Not.},
 issue_date = {December 2002},
 volume = {37},
 number = {12},
 month = dec,
 year = {2002},
 issn = {0362-1340},
 pages = {60--75},
 numpages = {16},
 url = {http://doi.acm.org/10.1145/636517.636528},
 doi = {10.1145/636517.636528},
 acmid = {636528},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Meta programming, templates},
}

@misc{th2,
Author = {Sheard, Tim and Jones, Simon Peyton},
Title = {Notes on Template Haskell, Version 2},
Year  = {2003},
howpublished = {http://research.microsoft.com/~simonpj/papers/meta-haskell/notes2.ps}
}

@misc{th3,
Author = {Jones, Simon Peyton},
Title = {Major proposed revision of Template Haskell},
Year  = {2010},
howpublished = {https://ghc.haskell.org/trac/ghc/blog/Template\%20Haskell\%20Proposal}
}

@InCollection{aosa,
   author = {Simon Marlow and Simon {Peyton Jones}},
   title = {The {G}lasgow {H}askell {C}ompiler},
   booktitle = {The Architecture of Open Source Applications, Volume 2},
   year = {2012},
   url = {http://www.aosabook.org/en/ghc.html},
   publisher = {Lulu}
}

@article{regexps-derivs,
 author = {Brzozowski, Janusz A.},
 title = {Derivatives of Regular Expressions},
 journal = {J. ACM},
 issue_date = {Oct. 1964},
 volume = {11},
 number = {4},
 month = oct,
 year = {1964},
 issn = {0004-5411},
 pages = {481--494},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/321239.321249},
 doi = {10.1145/321239.321249},
 acmid = {321249},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@misc{quasitext,
author = {Ledger, Mike},
Title = {A look at QuasiQuotation},
Year = {2012},
howpublished = {http://quasimal.com/posts/2012-05-25-quasitext-and-quasiquoting.html}
}

@misc{yesod,
author = {Snoyman, Michael},
Title = {Yesod},
Year = {2012},
howpublished = {http://www.yesodweb.com/book}
}

@misc{shakespeare,
author = {Snoyman, Michael},
Title = {Shakespearean Templates},
Year = {2012},
howpublished = {http://www.yesodweb.com/book/shakespearean-templates}
}

@misc{shakespeare-lib,
author = {Snoyman, Michael},
Title = {The Shakespeare library},
Year = {2012},
howpublished = {http://hackage.haskell.org/package/shakespeare}
}

@misc{patsyns-patch,
author = {Dominik Bollmann},
Title = {Add Template Haskell support for Pattern Synonyms},
Year = {2016},
howpublished = {https://phabricator.haskell.org/D1940}
}

@misc{patsyns-bugfix,
author = {Dominik Bollmann},
Title = {Template Haskell splices are not renamer-resolved correctly},
Year = {2016},
howpublished = {https://phabricator.haskell.org/D2091}
}

@misc{ghc-users-guide,
author = {The GHC Team},
Title = {The Glorious Glasgow Haskell Compilation System User's Guide},
Year = {2016},
howpublished = {https://downloads.haskell.org/~ghc/latest/docs/html/users\_guide/syntax-extns.html\#pattern-synonyms}
}

@INPROCEEDINGS{rec-schemes,
    author = {Erik Meijer and Maarten Fokkinga and Ross Paterson},
    title = {Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire},
    booktitle = {},
    year = {1991},
    pages = {124--144},
    publisher = {Springer-Verlag}
}
@misc{rdragon-patch,
author = {Steenkamp, Rik},
Title = {Improve Printing of Pattern Synonym Types},
Year = {2016},
howpublished = {https://phabricator.haskell.org/D1896}
}

@inproceedings{qq,
 author = {Mainland, Geoffrey},
 title = {Why It's Nice to Be Quoted: Quasiquoting for Haskell},
 booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell Workshop},
 series = {Haskell '07},
 year = {2007},
 isbn = {978-1-59593-674-5},
 location = {Freiburg, Germany},
 pages = {73--82},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1291201.1291211},
 doi = {10.1145/1291201.1291211},
 acmid = {1291211},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {meta programming, quasiquoting},
}

@inproceedings{systemfc,
 author = {Sulzmann, Martin and Chakravarty, Manuel M. T. and Jones,
                  Simon Peyton and Donnelly, Kevin},
 title = {System F with Type Equality Coercions},
 booktitle = {Proceedings of the 2007 ACM SIGPLAN International
                  Workshop on Types in Languages Design and
                  Implementation},
 series = {TLDI '07},
 year = {2007},
 isbn = {1-59593-393-X},
 location = {Nice, Nice, France},
 pages = {53--66},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1190315.1190324},
 doi = {10.1145/1190315.1190324},
 acmid = {1190324},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {advanced type features, typed intermediate language},
}

@article{faking-dep-tys,
    address = {New York, NY, USA},
    author = {Fridlender, Daniel and Indrika, Mia},
    citeulike-article-id = {2310046},
    citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=967469.967474},
    citeulike-linkout-1 = {http://dx.doi.org/10.1017/s0956796800003658},
    doi = {10.1017/s0956796800003658},
    issn = {0956-7968},
    journal = {J. Funct. Program.},
    keywords = {dependent-types, functional-programming, type-theory},
    month = jul,
    number = {4},
    pages = {409--415},
    posted-at = {2008-02-28 15:48:48},
    priority = {3},
    publisher = {Cambridge University Press},
    title = {Do we need dependent types?},
    url = {http://dx.doi.org/10.1017/s0956796800003658},
    volume = {10},
    year = {2000}
}