Going Wrong

Will Faught

1 minute

Robin Milner:

Well-typed programs cannot ‘go wrong’.

π