Hacker News new | ask | show | jobs
by drmajormccheese 3937 days ago
Type checked state is known as "typestate". A Google search will bring up the typestate paper.