An amazingly lucid paper that cuts straight to the heart of the issues of type theory and subtyping. Every academic paper should describe the problem being solved as Dolan and Mycroft do in section 1. https://www.cl.cam.ac.uk/~sd601/papers/mlsub-preprint.pdf …
-
-
I spent Sep to Mar making a fairly large, complicated website by myself. I had C#/ASP experience from way back, but had mostly been in data science world past few years. Did the whole client and server with Node and Typescript and it was so much better than my past web dev.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.