Skip to content

A framework for the recursive definition of data structures.

Jean-Louis Giavitto

VenueCPPDP
Year2000
ProceedingsPPDP

Browse the full PPDP paper archive.