Intersection type assignment systems with higher-order algebraic rewriting
Franco Barbanera, Maribel FernándezVolume:
170
Year:
1996
Language:
english
Pages:
35
DOI:
10.1016/s0304-3975(96)80706-7
File:
PDF, 2.41 MB
english, 1996