Talks
Simple, partial type inference for System F
based on type containment.
Papers
Version presented at ICFP 05 [
PDF
,
PSGZ
]
Related talks
ICFP talk in Tallinn, Sep 2005 [
PDF
]