This is a short summary. ↗ Open original to view full content
Type Systems for Memory Safety
from blog Fernando Borretti, | ↗ original
Related
More from Fernando Borretti
Type Inference Was a Mistake
29 Mar 2024 |
original ↗
On type inference as an academic computer science lab leak.
Thoughts on LLM Agents
5 Jan 2024 |
original ↗
Entropy, criticality, and complexity classes of cellular automata.