Gradual Guarantee for FJ with lambda-Expressions.

Pedro ngelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mrio Florido

Browse the full FTfJP paper archive.