close
1.

電子ブック
ＥＢ
1. Proceedings of the 19th ACM SIGPLAN international conference on Functional programming
Johan Jeuring, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York NY : ACM, 2014
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Datatype-Generic Programming
Roland Backhouse, Roland C. Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Datatype-Generic Programming / Jeremy Gibbons
Comparing Approaches to Generic Programming in Haskell / Ralf Hinze ; Johan Jeuring ; Andres Loh
Generic Programming, Now!
Generic Programming with Dependent Types / Thorsten Altenkirch ; Conor McBride ; Peter Morris
Generic Programming in [Omega]mega / Tim Sheard
Revealing the X/O Impedance Mismatch / Ralf Lammel ; Erik Meijer
Author Index
Datatype-Generic Programming / Jeremy Gibbons
Comparing Approaches to Generic Programming in Haskell / Ralf Hinze ; Johan Jeuring ; Andres Loh
Generic Programming, Now!
3.

電子ブック
ＥＢ
3. Datatype-Generic Programming
Roland Backhouse, Roland C. Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Datatype-Generic Programming / Jeremy Gibbons
Comparing Approaches to Generic Programming in Haskell / Ralf Hinze ; Johan Jeuring ; Andres Loh
Generic Programming, Now!
Generic Programming with Dependent Types / Thorsten Altenkirch ; Conor McBride ; Peter Morris
Generic Programming in [Omega]mega / Tim Sheard
Revealing the X/O Impedance Mismatch / Ralf Lammel ; Erik Meijer
Author Index
Datatype-Generic Programming / Jeremy Gibbons
Comparing Approaches to Generic Programming in Haskell / Ralf Hinze ; Johan Jeuring ; Andres Loh
Generic Programming, Now!
4.

電子ブック
ＥＢ
4. Games and Learning Alliance
Bottino, Johan Jeuring, Remco C. Veltkamp
出版情報: SpringerLink Books - AutoHoldings , Springer International Publishing, 2016
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Advanced Functional Programming
AFP 2002, Johan Jeuring, Simon L. Peyton Jones, Simon Peyton Jones
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2003
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Advanced Functional Programming
International Spring School on Advanced Functional Programming Techniques, Johan Jeuring, Erik Meijer
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1995
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Mathematics of Program Construction
International Conference on the Mathematics of Program Construction, Johan Jeuring
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1998
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼