@misc(webassembly,
 year         = {2017},
 title        = {WebAssembly: High Level Goals},
 url          = {http://webassembly.org/docs/high-level-goals/},
)
@misc(webghc,
 year         = {2017},
 title        = {WebGHC},
 url          = {https://webghc.github.io/},
)
@phdthesis(baxter,
 author       = {L.D. Baxter},
 year         = {1977},
 title        = {The Complexity of Unification},
 school       = {University of Waterloo},
 address      = {New York},
)
@misc(fay,
 author       = {A. Bergmark},
 year         = {2010},
 title        = {Fay},
 url          = {https://github.com/faylang/fay/wiki},
)
@inproceedings(incredible,
 author       = {J. Breitner},
 year         = {2016},
 title        = {Visual Theorem Proving with the Incredible Proof Machine},
 editor       = {Blanchette J. and Merz S.},
 booktitle    = {Interactive Theorem Proving---ITP 2016},
 series       = {Lecture Notes in Computer Science},
 volume       = {9807},
 publisher    = {Springer},
 pages        = {123--139},
 doi          = {10.1007/978-3-319-43144-4\_8},
)
@inproceedings(elm,
 author       = {E. Czaplicki and S. Chong},
 year         = {2013},
 title        = {Asynchronous Functional Reactive Programming for GUIs},
 booktitle    = {Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation---PLDI},
 publisher    = {ACM Press},
 pages        = {411--422},
 doi          = {10.1145/2491956.2462161},
)
@incollection(handbook,
 author       = {G. Dowek},
 year         = {2001},
 title        = {Higher-Order Unification and Matching},
 editor       = {A.J Robinson and A. Voronkov},
 booktitle    = {Handbook of Automated Reasoning},
 publisher    = {Elsevier},
 pages        = {1009--1062},
 doi          = {10.1016/B978-044450813-3/50018-7},
)
@mastersthesis(haste,
 author       = {A. Ekbald},
 year         = {2015},
 title        = {A Distributed Haskell for the Modern Web},
 type         = {Licentiate thesis},
 school       = {Chalmers University of Technology and G{\"o}teborg University},
)
@book(purescript,
 author       = {P. Freeman},
 year         = {2017},
 title        = {PureScript By Example},
 publisher    = {Leanpub},
)
@misc(intromodal,
 author       = {G. Hardegree},
 year         = {2016},
 title        = {Introduction to Modal Logic},
 howpublished = {Online Textbook},
 url          = {http://courses.umass.edu/phil511-gmh/text.htm},
)
@incollection(coq1,
 author       = {M. Henz and J. Hobor},
 year         = {2011},
 title        = {Teaching Experience: Logic and Formal Methods with Coq},
 editor       = {J. Jouannaud and Z. Shao},
 booktitle    = {Certified Programs and Proofs---CPP 2011},
 series       = {Lecture Notes in Computer Science},
 volume       = {7086},
 publisher    = {Springer},
 pages        = {199--215},
 doi          = {10.1007/978-3-642-25379-9\_16},
)
@misc(mlplayground,
 author       = {R. Kirsling},
 year         = {2017},
 title        = {The Modal Logic Playground},
 url          = {https://rkirsling.github.io/modallogic/},
)
@article(logict,
 author       = {O. Kiselyov and C. C. Shan and D. P. Friedman and A. Sabry},
 year         = {2005},
 title        = {Backtracking, interleaving, and terminating monad transformers},
 journal      = {ACM SIGPLAN Notices},
 volume       = {40},
 number       = {9},
 pages        = {192--203},
 doi          = {10.1145/1090189.1086390},
)
@misc(carnap,
 author       = {Leach-Krouse, G.},
 year         = {2017},
 title        = {About Carnap},
 url          = {http://carnap.io/about},
)
@misc(slides,
 author       = {Leach-Krouse, G.},
 year         = {2017},
 title        = {Carnap @ ThEdu2017},
 howpublished = {Presentation at ThEdu2017, G{\"o}teborg, Sweden},
 url          = {https://gleachkr.github.io/CADEslides/},
)
@misc(carnap-book,
 author       = {Leach-Krouse, G.},
 year         = {2017},
 title        = {The Carnap Book},
 howpublished = {Online Textbook},
 url          = {http://carnap.io/book},
)
@misc(pandoc,
 author       = {J. MacFarlane},
 year         = {2017},
 title        = {Pandoc},
 url          = {https://www.pandoc.org/},
)
@inproceedings(nipkow,
 author       = {T. Nipkow},
 year         = {1993},
 title        = {Functional unification of higher-order patterns},
 booktitle    = {Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science, 1993---LICS'93},
 publisher    = {IEEE},
 pages        = {64--74},
 doi          = {10.1109/LICS.1993.287599},
)
@inproceedings(lambdata,
 author       = {B. Peirce},
 year         = {2009},
 title        = {Lambda: The Ultimate TA},
 booktitle    = {Proceedings of the 14th ACM SIGPLAN international conference on Functional programming---ICFP'09},
 publisher    = {ACM},
 pages        = {121--122},
 doi          = {10.1145/1596550.1596552},
)
@article(cmu,
 author       = {W. Sieg},
 year         = {2007},
 title        = {The AProS project: Strategic thinking \& computational logic},
 journal      = {Logic Journal of IGPL},
 volume       = {15},
 number       = {4},
 pages        = {359--368},
 doi          = {10.1093/jigpal/jzm026},
)
@book(yesod,
 author       = {M. Snoyman},
 year         = {2012},
 title        = {Developing web applications with Haskell and Yesod},
 publisher    = {O'Reilly Media, Inc.},
)
@misc(ghcjs,
 author       = {L. Stegeman},
 year         = {2013},
 title        = {Concurrent Haskell in the Browser with GHCJS},
 howpublished = {Presentation at ZuriHac 2013, Zurich, Switzerland},
 url          = {https://wiki.haskell.org/ZuriHac2013#FP_Afternoon},
)
@article(alacarte,
 author       = {W. Swierstra},
 year         = {2008},
 title        = {Data types {\`a} la carte},
 journal      = {Journal of functional programming},
 volume       = {18},
 number       = {4},
 pages        = {423--436},
 doi          = {10.1017/S0956796808006758},
)