{#ASD} ======= Abstract Refinement Types -------------------------

**Ranjit Jhala** University of California, San Diego

Joint work with: N. Vazou, E. Seidel, P. Rondon, D. Vytiniotis, S. Peyton-Jones
[[continue]](00_Motivation.lhs.slides.html)
Plan ---- + Motivation +
Refinements
+
Measures
+
Abstract Refinements: Functions,Trees,Arrays
+
Evaluation
+
Conclusion