A Constructive Type System Based on Data Terms.

Hans-Joachim Goltz

Browse the full JELIA paper archive.