Skip to content

A Semantic Account of Type-Directed Partial Evaluation.

Andrzej Filinski

VenueCPPDP
Year1999
ProceedingsPPDP

Browse the full PPDP paper archive.