Generic Programming: Advanced Lectures

Main
Computers - Programming
Generic Programming: Advanced Lectures

Generic Programming: Advanced Lectures

Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)

0 / 0

คุณชอบหนังสือเล่มนี้มากแค่ไหน

คุณภาพของไฟล์เป็นอย่างไรบ้าง

ดาวน์โหลดหนังสือเพื่อประเมินคุณภาพของไฟล์

คุณภาพของไฟล์ที่คุณดาวน์โหลดมาเป็นอย่างไรบ้าง

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

หมวดหมู่:

Computers - Programming

ปี:

2003

ฉบับพิมพ์ครั้งที่:

1

สำนักพิมพ์:

Springer-Verlag Berlin Heidelberg

ภาษา:

english

จำนวนหน้า:

230

ISBN 10:

3540201947

ISBN 13:

9783540201946

ซีรีส์:

Lecture Notes in Computer Science 2793

ไฟล์:

PDF, 3.01 MB

IPFS:

,

english, 2003

หนังสือเล่มนี้ไม่สามารถดาวน์โหลดได้เนื่องจากมีคำร้องเรียนจากผู้ถือลิขสิทธิ์

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

คุณอาจสนใจ

Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.) — Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

GoalKicker.com — Haskell Notes for Professionals

Bartosz Milewski — Category Theory for Programmers

it-ebooks — Generic Programming with Adjunctions

Hudak P. — Haskell school of music

Hudak Paul. — The Haskell School of Music-From Signals to Symphonies

Bartosz Milewski — Category Theory for Programmers

Umut A. Acar, Ruy Ley-Wild (auth.), Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra (eds.) — Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures

Neil Mitchell (auth.), Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.) — Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

Sandy Maguire — Thinking with Types : Type-level Programming in Haskell

Sandy Maguire — Thinking with Types

José Luiz Fiadeiro, Ionuț Țuțu — Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Bartosz Milewski — Category Theory for Programmers (Scala edition)

GoalKicker.com — Haskel Notes For Professionals. 200+ pages of professional hints and tricks

Sandy Maguire — Thinking with types: type-level programming in Haskell

Graham Hutton — Programming in Haskell

Milewski, Bartosz; Tabacnik, Igal — Category theory for programmers

Loeh A. (ed.) — Haskell '06 : proceedings of the ACM SIGPLAN 2006 Haskell workshop

Gill A. (ed.) — Haskell'08: proceedings of ACM SIGPLAN 2008 Haskell symposium

Ryan Lemmer — Haskell Design Patterns

Michael Codish & Eijiro Sumii (eds.) — LNCS 8475 - Functional and Logic Programming

Ralf Hinze, Janis Voigtländer (eds.) — Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Fernando Castor, Yu David Liu (eds.) — Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Samson Abramsky, Radha Jagadeesan (auth.), Andrew D. Gordon (eds.) — Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.) — Generic Programming: Advanced Lectures

Paul Hudak (auth.), Bharat Jayaraman (eds.) — Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings

Greg Nelson (auth.), Dexter Kozen (eds.) — Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.) — Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Guy L. Steele (auth.), Masami Hagiya, Philip Wadler (eds.) — Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

Robin Cockett (auth.), Tarmo Uustalu (eds.) — Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.) — Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Lex Augusteijn (auth.), S. Doaitse Swierstra, José N. Oliveira, Pedro R. Henriques (eds.) — Advanced Functional Programming: Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures

Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.) — Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.) — Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Koopman P. (Editor), Plasmeijer R. (Editor), Doaitse Swierstra (Editor) — Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures

คำที่ถูกค้นหาบ่อยที่สุด