3
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Programming Languages and Systems 

      Non-linear Pattern Matching with Backtracking for Non-free Data Types

      ,

      Springer International Publishing

      Read this book at

      Publisher
      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references 15

          • Record: found
          • Abstract: not found
          • Article: not found

          Functional logic programming

            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Views: a way for pattern matching to cohabit with data abstraction

             P. Wadler (1987)
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Miranda: A non-strict functional language with polymorphic types

               D. Turner (1985)
                Bookmark

                Author and book information

                Book
                978-3-030-02767-4
                978-3-030-02768-1
                2018
                10.1007/978-3-030-02768-1
                Book Chapter
                2018
                October 22 2018
                : 3-23
                10.1007/978-3-030-02768-1_1

                Comments

                Comment on this book