142
Voted
ESOP
1999
Springer
15 years 7 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...