Languages with Reducing Reflective Types

Egidio Astesiano, Gerardo Costa. Languages with Reducing Reflective Types. In J. W. de Bakker, Jan van Leeuwen, editors, Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings. Volume 85 of Lecture Notes in Computer Science, pages 38-50, Springer, 1980.

Abstract

Abstract is missing.