Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This Festschrift has been published in honor of Rinus Plasmeijer, to celebrate the combined occasion of his 61st birthday and the 25th Symposium on Implementation and Application of Functional Languages, IFL 2013, held in Nijmegen, The Netherlands, in August 2013. Rinus Plasmeijer was the main designer of the lazy functional programming language "Clean" and has always been the leader of the associated research team. He has played a decisive role in making the Radboud University of Nijmegen an important center of research in functional programming by organizing and hosting the first few IFL symposia in Nijmegen. This Festschrift contains 19 scientific essays written by former PhD students of Rinus Plasmeijer and researchers in the field of functional programming who have collaborated with him. The authors write about the influence the beauty of functional programming has had or still has on their work.

Mathematical logic --- Computer science --- Programming --- computers --- programmeren (informatica) --- programmeertalen --- wiskunde --- logica --- computerkunde

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in Heijen, The Netherlands in May 2008. The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: Self-adjusting: Computation with Delta ML, spider spinning for dummies, from reduction-based to reduction-free normalization, libraries for generic programming in Haskell, dependently typed programming in agda, parallel and concurrent programming in Haskell and an iTask case study: a conference management system.

Functional programming (Computer science) --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Computer Science (Hardware & Networks) --- Computer programming --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computers. --- Algorithms. --- Mathematical logic. --- Computer Science. --- Theory of Computation. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Foundations --- Programming --- Information theory. --- Computer software. --- Software, Computer --- Communication theory --- Communication --- Compilers (Computer programs). --- Machine theory. --- Compilers and Interpreters. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in Heijen, The Netherlands in May 2008. The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: Self-adjusting: Computation with Delta ML, spider spinning for dummies, from reduction-based to reduction-free normalization, libraries for generic programming in Haskell, dependently typed programming in agda, parallel and concurrent programming in Haskell and an iTask case study: a conference management system.

Mathematical logic --- Complex analysis --- Computer science --- Programming --- Computer. Automation --- toegepaste informatica --- complexe analyse (wiskunde) --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- logica

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Logics and Meanings of Programs. --- Functional programming languages --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer science logic --- Logic, Symbolic and mathematical --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming --- Functional programming languages - Congresses