To answer my own question, I came across this paper today which was I found quit...

		lgas on Jan 3, 2018 \| parent \| context \| favorite \| on: Why is writing mathematical proofs more fault-proo... To answer my own question, I came across this paper today which was I found quite insightful and had little to no math especially for a PLT paper: Elementary Strong Functional Programming by D.A. Turner https://pdfs.semanticscholar.org/b60b/1c2e49ec6f574f220f162c...