close
1.

図書

図書
Zoltán Horváth (ed.)
出版情報: Berlin : Springer, c2006  256 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4164
所蔵情報: loading…
2.

電子ブック

EB
Zoltán Horváth, Zoltaan Horvaath, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: 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
Olaf Chitil, Zoltán Horváth, Takeo Kanade, Viktória Zsók
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Graph Parser Combinators / Steffen Mazanek ; Mark Minas
Testing Erlang Refactorings with QuickCheck / Huiqing Li ; Simon Thompson
Optimal Lambda Lifting in Quadratic Time / Marco T. Morazan ; Ulrik P. Schultz
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity / Atze Dijkstra ; Jeroen Fokker ; S. Doaitse Swierstra
XHaskell - Adding Regular Expression Types to Haskell / Martin Sulzmann ; Kenny Zhuo Ming Lu
Partial Parsing: Combining Choice with Commitment / Malcolm Wallace
Lazy Contract Checking for Immutable Data Structures / Robert Bruce Findler ; Shu-yu Guo ; Anne Rogers
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA / Matthew Naylor ; Colin Runciman
A Supercompiler for Core Haskell / Neil Mitchell
Checking Dependent Types Using Compiled Code: Preliminary Report / Dirk Kleeblatt
Debugging Lazy Functional Programs by Asking the Oracle / Bernd Brassel ; Holger Siegel
Uniqueness Typing Simplified / Edsko de Vries ; Rinus Plasmeijer ; David M. Abrahamson
Tabular Expressions and Total Functional Programming / Baltasar Trancon y Widemann ; David Lorge Parnas
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler / Marc Feeley
From Contracts Towards Dependent Types: Proofs by Partial Evaluation / Stephan Herhut ; Sven-Bodo Scholz ; Robert Bernecky ; Clemens Grelck ; Kai Trojahner
Author Index
Graph Parser Combinators / Steffen Mazanek ; Mark Minas
Testing Erlang Refactorings with QuickCheck / Huiqing Li ; Simon Thompson
Optimal Lambda Lifting in Quadratic Time / Marco T. Morazan ; Ulrik P. Schultz
5.

電子ブック

EB
Zoltán Horváth, Andrew Butterfield, Takeo Kanade, Viktória Zsók
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: 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
7.

電子ブック

EB
Rex Page, Zoltan Horvath, Zoltán Horváth, Takeo Kanade, Viktória Zsók
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼