Eelco Dolstra's original PhD Thesis that started it all is worth a read: https://edolstra.github.io/pubs/phd-thesis.pdf https://edolstra.github.io/pubs/phd-the

Eelco Dolstra's original PhD Thesis that started it all is worth a read: https://edolstra.github.io/pubs/phd-thesis.pdf https://edolstra.github.io/pubs/phd-thesis.pdf https://philandstuff.github.io/pf-deployment/#/ https://philandstuff.github.io/pf-deployment/#/