leastfixedpoint

Archived tweet #11880 from the @leastfixedpoint Twitter Archive
@DrDeeGlaze Oh! I read it differently: there shouldn't be an OS *distinct* from its associated PL, but its functionality should instead be part of the programming model. So it doesn't make a value statement about the security model; if it's worthwhile, it should be part of the PL, etc.