Functional and Logic Programming

13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

  • Oleg Kiselyov
  • Andy King

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9613)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9613)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Arthur Blot, Pierre-Évariste Dagand, Julia Lawall
    Pages 12-28
  3. Wouter Swierstra, Joao Alpuim
    Pages 29-44
  4. Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov
    Pages 62-79
  5. Taus Brock-Nannestad
    Pages 94-108
  6. Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
    Pages 126-143
  7. Jay McCarthy, Burke Fetscher, Max New, Daniel Feltey, Robert Bruce Findler
    Pages 144-162
  8. R. Haemmerlé, P. López-García, U. Liqat, M. Klemen, J. P. Gallagher, M. V. Hermenegildo
    Pages 163-180
  9. Francisco J. López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá
    Pages 181-197
  10. Jeremy Yallop, David Sheets, Anil Madhavapeddy
    Pages 198-214
  11. Andre van Delft, Anatoliy Kmetyuk
    Pages 232-251
  12. Back Matter
    Pages 253-253

About these proceedings


This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.
The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of their correctness. 


Distributed systems Functional language Logic programming Model checking Type system Concurrent programming languages Constraint and logic languages Decision diagrams Distributed computing Formal methods Graphical user interfaces Haskell Parametric polymorphism Program analysis Prolog Resolution Rewrite systems Type inference Type theory Unification

Editors and affiliations

  • Oleg Kiselyov
    • 1
  • Andy King
    • 2
  1. 1.Tohoku UniversitySendaiJapan
  2. 2.School of ComputingUniversity of KentCanterburyUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-29603-6
  • Online ISBN 978-3-319-29604-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment