Skip to content

A type system equivalent to static single assignment.

Yutaka Matsuno, Atsushi Ohori

VenueCPPDP
Year2006
ProceedingsPPDP

Browse the full PPDP paper archive.