Functional and Logic Programming

9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

  • Editors
  • Jacques Garrigue
  • Manuel V. Hermenegildo
Conference proceedings FLOPS 2008

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Refereed Papers

    1. Constraints I

      1. Veena S. Mellarkod, Michael Gelfond
        Pages 15-31
      2. Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck
        Pages 32-47
  4. Constructive Arithmetic

    1. Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan
      Pages 64-80
  5. Dependent Types

    1. Hiroshi Unno, Naoki Kobayashi
      Pages 81-96
    2. Rawle Prince, Neil Ghani, Conor McBride
      Pages 97-112
  6. Rewriting

    1. Martin Avanzini, Georg Moser
      Pages 130-146
    2. Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
      Pages 147-162
  7. Program Transformation

  8. Logic and Lambda-Calculus

  9. Types

About these proceedings

Keywords

Constraint Debugging curry declarative arithmetic delimited continuation dependent types expressivity functional programming logic logic programming logical relations meta-programming nondeterminism parallel programming programming

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-78969-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-78968-0
  • Online ISBN 978-3-540-78969-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book