Type and Effect Systems via Abstract Interpretation (1995)

by Jerome Vouillon , Pierre Jouvelot
Citations:1 - 0 self