@inproceedings{alti:msfp08,
  author	= {Andreas Abel and Thorsten Altenkirch},
  title		= {A Partial Type Checking Algorithm for {Type:Type}},
        booktitle = "{Workshop on Mathematically 
                Structured Functional Programming, MSFP 2008}",
        address = "Kuressaare, Estonia",
        year = 2008,
}