Implementation and Application of Functional Languages

24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Our rough guess is there are 60,250 words in this book.

At a pace averaging 250 words per minute, this book will take 4 hours and 1 minutes to read. With a half hour per day, this will take 8 days to read.

How long will it take you?

Enter your reading speed

You can take one of our WPM reading speed tests to find your reading speed.

Get it on Amazon Buy on Bookshop.org

We earn a commission on purchases

Author

Ralf Hinze

Publication

2013 - Springer London, Limited

Language

English

Word Count

60,250 words, Guess

Page Count

241 pages

Identifiers

ISBN-139783642415821
ISBN-103642415822
Better World Books9783642415821
Open LibraryOL34520732M

Classifications

LCCQA75.5-76.95

Description

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.

Subjects

Topics

Logic design Computer science Software engineering Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters

Other Editions

Implementation and Application of Functional LanguagesSpringer London, Limited2013

Similar Books

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

edited by Farhad Arbab, Peter Csaba Ölveczky

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

edited by Alexander Romanovsky, Tullio Vardanega

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

edited by Sergei Artemov, Anil Nerode

Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Peter Jipsen, Michael Winter, Uli Fahrenberg, Peter Höfner, Martin Eric Müller, Wolfram Kahl

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!