Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract.

Pablo Barenbaum, Eduardo Bonelli, Kareem Mohamed

Browse the full PPDP paper archive.