close
1.

図書

図書
Pieter H. Hartel and Rinus Plasmeijer, (eds.)
出版情報: Berlin : Springer, c1995  x, 309 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1022
所蔵情報: loading…
2.

電子ブック

EB
Rinus Plasmeijer, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York NY : ACM, 2014
所蔵情報: loading…
3.

電子ブック

EB
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
4.

電子ブック

EB
Pieter Koopman, Takeo Kanade, Rinus Plasmeijer, Doaitse Swierstra
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
5.

電子ブック

EB
Ute Schmid, Takeo Kanade, Emanuel Kitzelmann, Rinus Plasmeijer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
6.

電子ブック

EB
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼