Title: A note on "D-Cases as proofs as programs"
Subjects: Systems programming (Computer science)