Skip to content

Generic record combinators with static type checking.

Wolfgang Jeltsch

VenueCPPDP
Year2010
ProceedingsPPDP

Browse the full PPDP paper archive.