bib.bib

@online{scott_five_2020,
	title = {Five benefits to using {StandaloneKindSignatures}},
	url = {https://ryanglscott.github.io/2020/01/05/five-benefits-to-using-standalonekindsignatures/},
	titleaddon = {Ryan Scott},
	type = {Blog},
	author = {Scott, Ryan},
	urldate = {2021-11-01},
	date = {2020-01-05},
}

@online{xia_haskell_2018,
	title = {Haskell with only one type family},
	url = {https://blog.poisson.chat/posts/2018-08-06-one-type-family.html},
	titleaddon = {Lysxia},
	type = {Blog},
	author = {Xia, Li-yao},
	urldate = {2021-11-04},
	date = {2018-08-06},
}

@software{kmett_profunctors_2011,
	location = {Hackage},
	title = {profunctors},
	url = {https://hackage.haskell.org/package/profunctors},
	version = {5.6.2},
	author = {Kmett, Edward},
	urldate = {2011-11-04},
	date = {2011-07-25},
}

@software{xia_first-class-families_nodate,
	location = {Hackage},
	title = {first-class-families},
	url = {https://hackage.haskell.org/package/first-class-families},
	version = {0.8.0.1},
	author = {Xia, Li-yao},
	urldate = {2021-11-04},
}

@book{skiena_algorithm_2020,
	location = {Cham},
	edition = {Third edition},
	title = {The algorithm design manual},
	isbn = {978-3-030-54255-9 978-3-030-54257-3 978-3-030-54258-0},
	series = {Texts in computer science},
	pagetotal = {793},
	publisher = {Springer},
	author = {Skiena, Steven S.},
	date = {2020},
	file = {Table of Contents PDF:/home/sandy/Zotero/storage/PIKJP6CE/Skiena - 2020 - The algorithm design manual.pdf:application/pdf},
}

@inproceedings{blondal_deriving_2018,
	location = {St. Louis {MO} {USA}},
	title = {Deriving via: or, how to turn hand-written instances into an anti-pattern},
	isbn = {978-1-4503-5835-4},
	url = {https://dl.acm.org/doi/10.1145/3242744.3242746},
	doi = {10.1145/3242744.3242746},
	shorttitle = {Deriving via},
	eventtitle = {{ICFP} '18: 23nd {ACM} {SIGPLAN} International Conference on Functional Programming},
	pages = {55--67},
	booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Symposium on Haskell},
	publisher = {{ACM}},
	author = {Blöndal, Baldur and Löh, Andres and Scott, Ryan},
	urldate = {2021-11-13},
	date = {2018-09-17},
	langid = {english},
}

@software{elliott_checkers_2008,
	location = {Hackage},
	title = {checkers},
	url = {https://hackage.haskell.org/package/checkers-0.5.6},
	abstract = {Check properties on standard classes and data structures.},
	author = {Elliott, Conal},
	urldate = {2021-11-19},
	date = {2008-10-29},
}