Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory Nuyts, Devriese 2018 https://dl.acm.org/citation.cfm?id=3209119 …
-
Show this thread
-
I'm really looking forward to seeing more work with these kinds of unifying modal frameworks which incorporate multiple theories/features.
1 reply 0 retweets 0 likesShow this thread
Replying to @scottfleischman
Along different axes, my unifying theory of what an "implementation" is? And my co-unifying theory of what "metaprogramming" breaks down to? https://j.mp/FarePhD
4:40 AM - 15 Jul 2018
0 replies
0 retweets
1 like
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.
Read my blog!