close
1.

電子ブック
ＥＢ
1. Central European Functional Programming School
Zolt?n Horv?th, Takeo Kanade, Rinus Plasmeijer, Anna So?s, Vikt?ria Zs?k
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
An Introduction to iTasks: Defining Interactive Work Flows for the Web / Rinus Plasmeijer ; Peter Achten ; Pieter Koopman
Proving Properties of Lazy Functional Programs with Sparkle / Maarten de Mol ; Marko van Eekelen
An Introduction to the Lambda Calculus / Zoltan Csornyei ; Gergely Devai
Abstract [lambda]-Calculus Machines / Werner E. Kluge
Programming in [Omega]mega / Tim Sheard ; Nathan Linger
A Tutorial on Object-Oriented Functional Programming / Horia F. Pop
Use Cases for Refactoring in Erlang / Tamas Kozsik ; Zoltan Horvath ; Roland Kiraly ; Robert Kitlei ; Laszlo Lovei ; Tamas Nagy ; Melinda Toth ; Aniko Vig
From Interpretation to Compilation / Jan Martin Jansen
Author Index
An Introduction to iTasks: Defining Interactive Work Flows for the Web / Rinus Plasmeijer ; Peter Achten ; Pieter Koopman
Proving Properties of Lazy Functional Programs with Sparkle / Maarten de Mol ; Marko van Eekelen
An Introduction to the Lambda Calculus / Zoltan Csornyei ; Gergely Devai
2.

電子ブック
ＥＢ
2. Advanced Functional Programming
Pieter Koopman, Takeo Kanade, Rinus Plasmeijer, Doaitse Swierstra
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Approaches and Applications of Inductive Programming
Ute Schmid, Takeo Kanade, Emanuel Kitzelmann, Rinus Plasmeijer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Central European Functional Programming School
Zolt?n Horv?th, Takeo Kanade, Rinus Plasmeijer, Vikt?ria Zs?k
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Rapid Prototyping of DSLs with F# / Adam Granicz
Erlang Behaviours: Programming with Process Design Patterns / Francesco Cesarini ; Simon Thompson
Reasoning about Codata / Raf Hinze
Programming in Manticore, a Heterogenous Parallel Functional Language / Matthew Fluet ; Lars Bergstrom ; Nic Ford ; Mike Rainey ; John Reppy ; Adam Shaw ; Yingqi Xiao
Non-monadic Models of Mutable References / Péter Diviánszky
Software Testing with QuickCheck / John Hughes
An Effective Methodology for Defining Consistent Semantics of Complex Systems / Pieter Koopman ; Rinus Plasmeijer ; Peter Achten
Types for Units-of-Measure: Theory and Practice / Andrew Kennedy
Functional Programming with C++ Template Metaprograms / Zoltán Porkoláb
Embedding a Proof System in Haskell / Gergely Dévai
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs / Melinda Tóth ; István Bozó ; Zoltán Horváth ; László Lövei ; Máté Tejfel ; Tamás Kozsik
Author Index
Rapid Prototyping of DSLs with F# / Adam Granicz
Erlang Behaviours: Programming with Process Design Patterns / Francesco Cesarini ; Simon Thompson
Reasoning about Codata / Raf Hinze
5.

電子ブック
ＥＢ
5. Approaches and Applications of Inductive Programming
Ute Schmid, Takeo Kanade, Emanuel Kitzelmann, Rinus Plasmeijer, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Central European Functional Programming School
Zoltán Horváth, Takeo Kanade, Rinus Plasmeijer, Anna Soós, Viktória Zsók, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
An Introduction to iTasks: Defining Interactive Work Flows for the Web / Rinus Plasmeijer ; Peter Achten ; Pieter Koopman
Proving Properties of Lazy Functional Programs with Sparkle / Maarten de Mol ; Marko van Eekelen
An Introduction to the Lambda Calculus / Zoltan Csornyei ; Gergely Devai
Abstract [lambda]-Calculus Machines / Werner E. Kluge
Programming in [Omega]mega / Tim Sheard ; Nathan Linger
A Tutorial on Object-Oriented Functional Programming / Horia F. Pop
Use Cases for Refactoring in Erlang / Tamas Kozsik ; Zoltan Horvath ; Roland Kiraly ; Robert Kitlei ; Laszlo Lovei ; Tamas Nagy ; Melinda Toth ; Aniko Vig
From Interpretation to Compilation / Jan Martin Jansen
Author Index
An Introduction to iTasks: Defining Interactive Work Flows for the Web / Rinus Plasmeijer ; Peter Achten ; Pieter Koopman
Proving Properties of Lazy Functional Programs with Sparkle / Maarten de Mol ; Marko van Eekelen
An Introduction to the Lambda Calculus / Zoltan Csornyei ; Gergely Devai
7.

電子ブック
ＥＢ
7. Central European Functional Programming School
Zoltán Horváth, Takeo Kanade, Rinus Plasmeijer, Viktória Zsók
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Rapid Prototyping of DSLs with F# / Adam Granicz
Erlang Behaviours: Programming with Process Design Patterns / Francesco Cesarini ; Simon Thompson
Reasoning about Codata / Raf Hinze
Programming in Manticore, a Heterogenous Parallel Functional Language / Matthew Fluet ; Lars Bergstrom ; Nic Ford ; Mike Rainey ; John Reppy ; Adam Shaw ; Yingqi Xiao
Non-monadic Models of Mutable References / Péter Diviánszky
Software Testing with QuickCheck / John Hughes
An Effective Methodology for Defining Consistent Semantics of Complex Systems / Pieter Koopman ; Rinus Plasmeijer ; Peter Achten
Types for Units-of-Measure: Theory and Practice / Andrew Kennedy
Functional Programming with C++ Template Metaprograms / Zoltán Porkoláb
Embedding a Proof System in Haskell / Gergely Dévai
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs / Melinda Tóth ; István Bozó ; Zoltán Horváth ; László Lövei ; Máté Tejfel ; Tamás Kozsik
Author Index
Rapid Prototyping of DSLs with F# / Adam Granicz
Erlang Behaviours: Programming with Process Design Patterns / Francesco Cesarini ; Simon Thompson
Reasoning about Codata / Raf Hinze
8.

電子ブック
ＥＢ
8. Central European Functional Programming School
David Hutchison, Takeo Kanade, Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Advanced Functional Programming
Pieter Koopman, Takeo Kanade, Rinus Plasmeijer, Doaitse Swierstra, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼