Brendan Zabarauskas on Twitter: "@bentnib @laMudri Ooooh, this does look exciting! 🤩" / Twitter

"Context Constrained Computing", an extended abstract submitted to TyDe by myself and

. Linear types, monotonicity types, sensitivity types, information flows types, all in a unified framework! bentnib.org/context-constr

3

13

30

Replying to

and

Ooooh, this does look exciting! 🤩

Conversation