Sorry, we do not have enough data to show an influence graph for this author.
- Full text PDF available (3)
- This year (0)
- Last 5 years (1)
- Last 10 years (3)
Journals and Conferences
The stubbornly high incidence of new HIV infections belies the overwhelming evidence showing that sustained highly active antiretroviral therapy (HAART) has the power to dramatically reduce the… (More)
Sound exhaustiveness checking of pattern-matching is an essential feature of GADTs, and OCaml has supported it from day one, by showing that the remaining cases could never be typed . Not only… (More)