Polytypic values possess polykinded types

Библиографические подробности
Главный автор: Hinze, R
Формат: Report
Опубликовано: Institut für Informatik III‚ Universität Bonn 1999