Generic programming : advanced lectures

>> Google Books

所蔵情報QRコード

Generic programming : advanced lectures / Roland Backhouse, Jeremy Gibbons (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

ix, 221 p ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2793 <BA00009279>

著者名:

ISBN:

9783540201946 [3540201947]

書誌ID:

BA64251241

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index
"Based on lectures presented at a summer school on Generic Programming held at the University of Oxford in August 2002" - Pref.

主題:

Generic programming (Computer science)

言語:

英語

目次情報:

Generic Haskell: Practice and Theory / R. Hinze ; J. JeuringChapter 1：

Introduction / 1：

Type Systems / 1.1：

HaskellÃ†s data Construct / 1.2：

Towards Generic Programming / 1.3：

Towards Generic Haskell / 1.4：

Stocktaking / 1.5：

Related Work / 1.6：

Generic Haskell-Practice / 2：

Mapping Functions / 2.1：

Kind-Indexed Types and Type-Indexed Values / 2.2：

Embedding-Projection Maps / 2.3：

Reductions / 2.4：

Pretty Printing / 2.5：

Running Generic Haskell / 2.6：

Generic Haskell-Theory / 3：

The Simply Typed Lambda Calculus as a Type Language / 3.1：

The Polymorphic Lambda Calculus / 3.2：

Specializing Type-Indexed Values / 3.3：

Bridging the Gap / 3.4：

Conclusion / 4：

Generic Haskell: Applications / Chapter 2：

Generic Dictionaries

Signature

Properties

Type-Indexed Tries

Empty Tries

Singleton Tries

Look up / 2.7：

Inserting and Merging / 2.8：

Deleting / 2.9：

XComprez: A Generic XML Compressor / 2.10：

Implementing an XML Compressor as a Generic Program

Analysis

Conclusions

The Zipper

The Basic Idea / 4.1：

Data Types as Fixed Points of Pattern Functors / 4.2：

Type Indices of Higher Kinds / 4.3：

Locations / 4.4：

Navigation Functions / 4.5：

Generic Properties of Datatypes / R. Backhouse ; P. Hoogendijk5：

Theorems for Free

Verifiable Genericity

Commuting Datatypes - Introduction

Structure Multiplication

Broadcasts

Allegories and Relators

Allegories

Relators

Composition and Relators Are Parametric

Division and Tabulation

Domains

Datatype = Relator = Membership

Pointwise Closure / 5.1：

Regular Relators / 5.2：

Natural Transformations / 5.3：

Membership and Fans / 5.4：

Commuting Datatypes - Formal Specification / 6：

Naturality Requirements / 6.1：

Composition / 6.2：

Half Zips and Commuting Relators / 6.3：

Consequences / 7：

Shape Preservation / 7.1：

All Regular Datatypes Commute / 7.2：

Basic Category Theory for Models of Syntax / R.L. Crole8：

Prerequisites

The Aims

Learning Outcomes

Syntax Defined from Datatypes

An Example with Distinguished Variables and without Binding

An Example with Distinguished Variables and Binding

An Example with Arbitrary Variables and Binding

An Example without Variables but with Binding

Category Theory

類似資料:

1 電子ブック Generic Programming Roland Backhouse, Backhouse, Roland C., Gibbons, Jeremy SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 図書 Syntax of programming languages : theory and practice Backhouse, Roland C., 1948- Prentice-Hall International
2 電子ブック Datatype-Generic Programming Backhouse, Roland, Backhouse, Roland C., Gibbons, Jeremy, Hinze, Ralf, Jeuring, Johan Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Algebraic and Coalgebraic Methods in the Mathematics of Program Construction School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction, Backhouse, Roland C., Crole, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Datatype-Generic Programming Backhouse, Roland, Backhouse, Roland C., Gibbons, Jeremy, Hinze, Ralf, Jeuring, Johan SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 図書 Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings International Conference on the Mathematics of Program Construction, Backhouse, Roland C., 1948-, Oliveira, José N. Springer
4 図書 Generic programming : IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany IFIP TC2/WG2.1 Working Conference on Generic Programming, Gibbons, Jeremy, Jeuring, Johan, 1965- Kluwer Academic	10 電子ブック Mathematics of Program Construction International Conference on the Mathematics of Program Construction, Backhouse, Roland C., Oliveira, José N. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 図書 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised … Mathematics of Program Construction, Backhouse, Roland C., 1948-, Crole, Roy L, Gibbons, Jeremy Springer	11 電子ブック Generic Programming International Seminar on Generic Programming, Jazayeri, Mehdi, Loos, Rüdiger, Musser, David R. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 図書 Program construction and verification (: pbk) Backhouse, Roland C., 1948- Prentice-Hall	12 電子ブック Foundations of Health Information Engineering and Systems Jeremy Gibbons, Wendy MacCaull Springer eBooks Computer Science, Springer Berlin Heidelberg