Вы здесь
Mcbride C.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Constructing Polymorphic Programs with Quotient Types | 2004 | Abbott M., Altenkirch Th., Ghani N., Mcbride C. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 03.09.2004 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday | 2016 | Lecture Notes in Computer Science |
|
08.06.2016 | |||
СБ | Types for Proofs and Programs: Revised Selected Papers/International Workshop, TYPES 2006. Nottingham, UK, April 2006 | 2007 | Lecture Notes in Computer Science |
|
07.01.2008 |