@misc{Liu07,
    author = {Likai Liu},
    title = {Verification of Network Flows Using a Type System with
Constrained Polymorphism},
    howpublished = {Presented at NEPLS, Tufts University},
    month = {{April 11}},
    year = {2007},
}