This video is an overview of the Tagless Final (TF) approach.

The code for the entire series is here:
https://github.com/DevInsideYou/tagless-final

The False Hope of Managing Effects with Tagless Final in Scala (TF Critique):
https://degoes.net/articles/tagless-horror

Structure and Interpretation of Computer Programs (SICP):
https://web.mit.edu/alexmv/6.037/sicp.pdf

Oleg Kiselyov's website:
http://okmij.org/ftp/

The "Typed Tagless Final Interpreters" paper from Oleg Kiselyov's website:
http://okmij.org/ftp/tagless-final/course/lecture.pdf

If you decide to follow along with the paper, this might help:
https://gist.github.com/OlivierBlanvillain/48bb5c66dbb0557da50465809564ee80

The "Extensible Denotational Language Specifications" paper by Robert Cartwright and Matthias Felleisen:
https://pdfs.semanticscholar.org/321c/a540ce3a9beed5db54c8f8047191b8185c50.pdf

This video is part of the following playlist:
https://www.youtube.com/playlist?list=PLJGDHERh23x-3_T3Dua6Fwp4KlG0J25DI

Table of Contents:
00:00 Introduction…

A Type-Safe General Cryptography Library on the JVM