Вы здесь

Hinze R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Polytypic Programming with Ease 1999 Hinze R. Lecture Notes in Computer Science 25.11.1999
СТ A New Approach to Generic Functional Programming 2000 Hinze R. Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages 05.06.2000
СТ Type-Indexed Data Types 2002 Hinze R., Jeuring J., Loh A. Lecture Notes in Computer Science 31.07.2002
СТ Constructing Tournament Representations: An Exercise in Pointwise Relational Programming 2002 Hinze R. Lecture Notes in Computer Science 31.07.2002