What’s my Type?
Examining how strict typing is not always enough, how model checking can be excessive, and how to bridge the gap between the two for the benefit of both.
Keywords
Software correctness & verification, Formal methods, Type checking, Type driven development
Staff
[Edwin Brady]{ecb10} and Thomas Hansen