Wyniki wyszukiwania:

This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate to the implementation and application of functional languages and function-based programming.

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Konigswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language...

MIRA. You have often Begun to tell me what I am; but stopp 'd, And teft me to a bootless inquisition, Concluding, Stay; not yet. ' PRO. The how"'" now come, . The very minute bids thee ope thine car. "The Tempest" von William Shakespeare (Akt 1, S:: cnc 1) Das vorliegende Buch ist aus Begleitmaterialien zu einem Programmierkurs entstanden, den ich im Sommersemester 1991 an der Universitat Bonn gehalten habe. Es beschreibt grundlegende und weiterfuhrende Kom;epte der funktionalen l Programmierung und der Programmiersprache Miranda . Eine rein funktionale Sprache wie Miranda ist aus mindestens...