Вы здесь
Hinze R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Type-Indexed Data Types | 2002 | Hinze R., Jeuring J., Loh A. | Lecture Notes in Computer Science | 31.07.2002 | |||
| СТ | Polytypic Programming with Ease | 1999 | Hinze R. | Lecture Notes in Computer Science | 25.11.1999 | |||
| СТ | Constructing Tournament Representations: An Exercise in Pointwise Relational Programming | 2002 | Hinze R. | Lecture Notes in Computer Science | 31.07.2002 | |||
| СТ | 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 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Mathematics of Program Construction: Proc./12th International Conference, MPC 2015, Konigswinter, Germany, June 2015 | 2015 | Lecture Notes in Computer Science |
|
22.07.2015 | |||
| СБ | Implementation and Application of Functional Languages: Revised Selected Papers/24th International Symposium, IFL 2012, Oxford, UK, August 2012 | 2013 | Lecture Notes in Computer Science |
|
13.01.2014 | |||
| СБ | Datatype-Generic Programming: Revised Lectures/International Spring School, SSDGP 2006. Nottingham, UK, April 2006 | 2007 | Lecture Notes in Computer Science |
|
15.04.2008 |