Skip to content

Unification of program expressions with recursive bindings.

Manfred Schmidt-Schau, David Sabel

VenueCPPDP
Year2016
ProceedingsPPDP

Browse the full PPDP paper archive.