Ensuring Global Termination of Partial Deduction While Allowing Flexible Polyvariance

Publisher Website

16 June 1995

book chapter
Published by MIT Press

p. 597-612
https://doi.org/10.7551/mitpress/4298.003.0059

Abstract

No abstract available

This publication has 0 references indexed in Scilit: