𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Generic Programming Volume 2793 || Chapter 1. Generic Haskell: Practice and Theory

✍ Scribed by Backhouse, Roland; Gibbons, Jeremy

Book ID
115533878
Publisher
Springer Berlin Heidelberg
Year
2003
Tongue
English
Weight
925 KB
Edition
1
Category
Article
ISBN
3540451919

No coin nor oath required. For personal study only.

✦ Synopsis

Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate. The book presents the following four revised and extended chapters first given as lectures at the Generic Programming Summer School held at the University of Oxford, UK in August 2002: - Generic Haskell: Practice and Theory - Generic Haskell: Applications - Generic Properties of Datatypes - Basic Category Theory for Models of Syntax

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Gene
[Lecture Notes in Computer Science] Generic Programming Volume 2793 || Chapter 1. Generic Haskell: Practice and Theory
✍ Backhouse, Roland; Gibbons, Jeremy πŸ“‚ Article πŸ“… 2003 πŸ› Springer Berlin Heidelberg 🌐 English βš– 925 KB

Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate. The book presents the following four revised and extended chapters

[Lecture Notes in Computer Science] Gene
[Lecture Notes in Computer Science] Generic and Indexed Programming Volume 7470 || Generic Programming with Adjunctions
✍ Gibbons, Jeremy πŸ“‚ Article πŸ“… 2012 πŸ› Springer Berlin Heidelberg 🌐 English βš– 815 KB

Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, but also of things such as the shape of data, algebraic structures, strategies, computational paradigms, and so on. Indexed programming is a

[Lecture Notes in Computer Science] Data
[Lecture Notes in Computer Science] Database Programming Languages Volume 2397 || A Model Theory for Generic Schema Management
✍ Ghelli, Giorgio; Grahne, GΓΆsta πŸ“‚ Article πŸ“… 2002 πŸ› Springer Berlin Heidelberg 🌐 German βš– 228 KB

This Book Constitutes The Thoroughly Refereed Post-proceedings Of The 8th International Workshop On Database Programming Languages, Dbpl 2001, Held In Frascati, Italy, In September 2001.the 18 Revised Full Papers Presented Together With An Invited Paper Were Carefully Selected During Two Rounds Of R

[Lecture Notes in Computer Science] Cent
[Lecture Notes in Computer Science] Central European Functional Programming School Volume 7241 || Parallel and Concurrent Programming in Haskell
✍ ZsΓ³k, ViktΓ³ria; HorvΓ‘th, ZoltΓ‘n; Plasmeijer, Rinus πŸ“‚ Article πŸ“… 2012 πŸ› Springer Berlin Heidelberg 🌐 English βš– 1018 KB

This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by experts on functional programming and revised based