44
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Generic Programming 

      Concrete Generic Functionals

      other
      Springer US

      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 references29

          • Record: found
          • Abstract: not found
          • Book: not found

          A Compendium of Continuous Lattices

            Bookmark
            • Record: found
            • Abstract: not found
            • Book: not found

            Predicate Calculus and Program Semantics

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

              Subtypes for specifications: predicate subtyping in PVS

                Bookmark

                Author and book information

                Book Chapter
                2003
                : 89-119
                10.1007/978-0-387-35672-3_5
                cfe759d0-e2c2-46d8-814d-476c5ca1c449
                History

                Comments

                Comment on this book