Skip to content

Inferring precise polymorphic type dependencies in logic programs.

Lunjin Lu

VenueCPPDP
Year2008
ProceedingsPPDP

Browse the full PPDP paper archive.