Too theoretical, needs something practical in browser to live test.
So make it. You've got the theory right there.
I don't know about running them in a browser, but the related projects CakeML [1] and CompCert [2] are both pretty easy to download and run, and very featureful.