\begin{code}
main = putStrLn "Easter Egg: to force Makefile"
\end{code}
LiquidHaskell
==============
Refinement Types for Haskell
------------------------------
**Ranjit Jhala**
University of California, San Diego
Joint work with:
N. Vazou, E. Seidel, P. Rondon, M. Kawaguchi
D. Vytiniotis, S. Peyton-Jones
{#plan}
-------
**Part I**
Refinement Types
**Part II**
Case Studies
**Part III**
Haskell (Lazy Evaluation)
{#plan}
--------
(And *if* we have time...)
**Part IV**
Abstract Refinements
I: Refinement Types
-------------------
**Motivation**
II: Case Studies
----------------
**Red-Black Trees**
**Low-level Memory Safety**
III: Haskell
------------
**Lazy Evaluation**
IV: Abstract Refinements
------------------------
**Abstracting Refinements over Types**
**Demos**
+ [Basic](../hs/02_AbstractRefinements.hs)
+ [Induction](../hs/02_AbstractRefinements.hs)
+ [Recursion](../hs/02_AbstractRefinements.hs)
+ [Key-Value](../hs/02_AbstractRefinements.hs)
Conclusion
----------