Sound specialization in the presence of computational effects

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/bfb0014551 ◽

1997 ◽

pp. 165-190 ◽

Cited By ~ 10

Author(s):

Julia L. Lawall ◽

Peter Thiemann

Download Full-text