Intrinsic/extrinsic
https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/
Simone Martini, Several Types of Types in Programming Languages, https://hal.inria.fr/hal-01399694
Simone Martini. Types in programming languages, between modelling, abstraction,and correctness. In Arnold Beckmann, Laurent Bienvenu, and Nataˇsa Jonoska,editors,CiE 2016, volume 9709 ofLNCS. Springer, 2016. (For, “The story of abstract data types, their relation to polymorphism, and how their parabola gives way to object oriented programming, is something to be told in a different paper”)
Variations: strong, applicative functors, idioms, parametric
Vs algebraic effects
[SIGCIS-Members] Invention of the concept of process
A general context for geometrical spaces and processes in these spaces is a cohesive (∞,1)-topos. higher category theory and physics
Why does cohesion allow for this?
Last revised on March 24, 2021 at 20:46:08. See the history of this page for a list of all contributions to it.