Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures Redaktion: Swierstra, S. Doaitse; Oliveira, Jose N.; Henriques, Pedro R.
Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures Redaktion: Swierstra, S. Doaitse; Oliveira, Jose N.; Henriques, Pedro R.
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
This book originates from the Third Summer School on Advanced Functional Programming, held in Barga, Portugal, in September 1998. The lectures presented are targeted at individual students and programming professionals as well as at small study groups and lecturers who wish to become acquainted with recent work in the rapidly developing area of functional programming.The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: Sorting Morphisms; Generic Programming: An Introduction; Generic Program Transformation; Designing and…mehr
This book originates from the Third Summer School on Advanced Functional Programming, held in Barga, Portugal, in September 1998. The lectures presented are targeted at individual students and programming professionals as well as at small study groups and lecturers who wish to become acquainted with recent work in the rapidly developing area of functional programming.The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: Sorting Morphisms; Generic Programming: An Introduction; Generic Program Transformation; Designing and Implementing Combinator Languages; Using MetaML: A Staged Programming Language; Cayenne: A Language with Dependent Types; Haskell as an Automation Controller.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
Sorting Morphisms.- Generic Programming.- Generic Program Transformation.- Designing and Implementing Combinator Languages.- Using MetaML: A Staged Programming Language.- Cayenne - A Language with Dependent Types.- Haskell as an Automation Controller.
Sorting Morphisms.- Generic Programming.- Generic Program Transformation.- Designing and Implementing Combinator Languages.- Using MetaML: A Staged Programming Language.- Cayenne - A Language with Dependent Types.- Haskell as an Automation Controller.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826