Terra Cognita

A Polyvariant Binding-Time Analysis for Off-line Partial Deduction

Licence unknown link only — licence forbids redistribution arxiv

Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas (Katholieke Universiteit Leuven, Belgium)

arXiv preprint (cs.PL, cs.LO).

Source ↗

ABSTRACT · 0.0 MB · sha256 dd44e852ea0b…

Concepts this teaches

Not yet mapped to any concept.

A resource only becomes useful here once a curator has anchored it to concepts at specific pages. Until then it is a book on a shelf.