3 ms·
The SecureVec is nice. I've been waiting to see this become more common. Reminds me of this talk at ICFP 2010 on compile time Authorization checks. http://jami
by seanmceligot 6y ago
The SecureVec is nice. I've been waiting to see this become more common. Reminds me of this talk at ICFP 2010 on compile time Authorization checks.
http://jamiemorgenstern.com/papers/ml10sectyp.pdf http://jamiemorgenstern.com/papers/ml10sectyp.pdf