Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Data types à la carte (2008): http://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf
Build systems à la carte (2020): https://www.cambridge.org/core/journals/journal-of-functional-programming/article/build-systems-a-la-carte-theory-and-practice/097CE52C750E69BD16B78C318754C7A4
Compilation à la carte (2013) http://www.cs.nott.ac.uk/~pszgmh/bib.html#alacarte Meta-theory à la carte (2013) https://people.csail.mit.edu/bendy/MTC/MTC.pdf
Data types à la carte (2008): http://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf
Build systems à la carte (2020): https://www.cambridge.org/core/journals/journal-of-functional-programming/article/build-systems-a-la-carte-theory-and-practice/097CE52C750E69BD16B78C318754C7A4
Compilation à la carte (2013) http://www.cs.nott.ac.uk/~pszgmh/bib.html#alacarte
Meta-theory à la carte (2013) https://people.csail.mit.edu/bendy/MTC/MTC.pdf