15-814 Type Refinements
15-814 Type Refinements. Robert Harper Fall Semester, 2003. Type Refinements. Goal : increase expressive power of type systems. Languages, not tools. Checkable, live with the code. A little goes a long way. Methods : refinement checking, constraints, polymorphism, sub-structural logics.
237 views • 13 slides