Hacker News new | ask | show | jobs
by eli_gottlieb 4698 days ago
There are plenty of papers published giving calculi and type-safety proofs for object-oriented languages.