Skip to content

A precise type analysis of logic programs.

Lunjin Lu

VenueCPPDP
Year2000
ProceedingsPPDP

Browse the full PPDP paper archive.