golem.ph.utexas.edu/category… “The paper is written for computer scientists, so I’ll try to provide a more category-theorist-accessible intro here.” Reaffirmed I'm neither, couldn't read arxiv.org/abs/1802.00061 either.

Call-by-name Gradual Type Theory

We present gradual type theory, a logic and type theory for call-by-name gradual typing. We define the central constructions of gradual typing (the dynamic type, type casts and type error) in a...

arxiv.org
1
1
There should be a MTTQ (à la MTTR) for mean time to quit indicating how early in the paper it becomes obvious that closing the tab is the most sensible course of action.

Feb 21, 2018 · 3:54 PM UTC