The essence of eta-expansion in partial evaluation Olivier DanvyKaroline MalmkjærJens Palsberg OriginalPaper Pages: 209 - 227
Type theory and projections for static analysis Clement A. Baker-Finch OriginalPaper Pages: 267 - 285