@amir@types.pl · Feb 21, 2018 · 3:54 PM UTC

@amir@types.pl · Feb 21, 2018 · 3:54 PM UTC

@amir@types.pl

@amir@types.pl @gluegadget

21 Feb 2018

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

Feb 21, 2018 · 3:54 PM UTC

@amir@types.pl · Feb 21, 2018 · 3:54 PM UTC

@amir@types.pl @gluegadget

21 Feb 2018

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.