Semantics of roundoff error propagation in finite precision calculations Matthieu Martel OriginalPaper Pages: 7 - 30
Dynamic state restoration using versioning exceptions V. Krishna NandivadaSuresh Jagannathan OriginalPaper Pages: 101 - 124
Polymorphic typed defunctionalization and concretization François PottierNadji Gauthier OriginalPaper Pages: 125 - 162