Central European Functional Programming School

>> Google Books

Central European Functional Programming School / Zoltán Horváth, Takeo Kanade, Rinus Plasmeijer, Viktória Zsók

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2010

著者名:

ISBN:

9783642176845 [3642176844]
9786613477415 [6613477419]

書誌ID:

OB00489167

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

LECTURE NOTES IN COMPUTER SCIENCE / THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES

主題:

Information Technology - Software Engineering

言語:

英語

目次情報:

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

Programming in Manticore, a Heterogenous Parallel Functional Language / Matthew Fluet ; Lars Bergstrom ; Nic Ford ; Mike Rainey ; John Reppy ; Adam Shaw ; Yingqi Xiao

Software Testing with QuickCheck / John Hughes

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Central European Functional Programming School Hutchison, David, Kanade, Takeo, Horváth, Zoltán, Plasmeijer, Rinus, Zsók, Viktória SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Central European Functional Programming School Horv?th, Zolt?n, Kanade, Takeo, Plasmeijer, Rinus, So?s, Anna, Zs?k, Vikt?ria Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック Central European Functional Programming School Horváth, Zoltán, Kanade, Takeo, Plasmeijer, Rinus, Soós, Anna, Zsók, Viktória, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Central European Functional Programming School ZsÃ〓k, Horváth, Zoltán, Porkoláb, Zoltán SpringerLink Books - AutoHoldings, Springer International Publishing
3 電子ブック Central European Functional Programming School Horv?th, Zolt?n, Kanade, Takeo, Plasmeijer, Rinus, Zs?k, Vikt?ria Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Implementation and Application of Functional Languages Horváth, Zoltán, Butterfield, Andrew, Kanade, Takeo, Zsók, Viktória SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Central European Functional Programming School Zsók, Csató, Lehel, Horvath, Zoltan SpringerLink Books - AutoHoldings, Springer International Publishing	10 電子ブック Implementation and Application of Functional Languages Chitil, Olaf, Horváth, Zoltán, Kanade, Takeo, Zsók, Viktória SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Trends in Functional Programming Page, Rex, Horvath, Zoltan, Horváth, Zoltán, Kanade, Takeo, Zsók, Viktória SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Approaches and Applications of Inductive Programming Schmid, Ute, Kanade, Takeo, Kitzelmann, Emanuel, Plasmeijer, Rinus Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Central European Functional Programming School Horváth, Zoltán, Horvaath, Zoltaan, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Approaches and Applications of Inductive Programming Schmid, Ute, Kanade, Takeo, Kitzelmann, Emanuel, Plasmeijer, Rinus, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12