News for hackers. Stuff that matters.

A comment on The SeL4 Foundation: What and Why. Parent comment

Re:The SeL4 Foundation: What and Why by opnitro on Tuesday April 07, 2020 @08:59AM (#22802747)
In fact all major type systems work this way.
[ Parent | on HN ]

There are no comments on this comment yet.