Languages with Reducing Reflective Types.

Egidio Astesiano, Gerardo Costa

Browse the full ICALP paper archive.