4
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      In Search of Elegance in the Theory and Practice of Computation 

      Record Polymorphism: Its Development and Applications

      Springer Berlin Heidelberg

      Read this book at

      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
          • Conference Proceedings: not found

          Principal type-schemes for functional programs

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

            Towards a theory of type structure

             John Reynolds (1974)
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types

                Bookmark

                Author and book information

                Book
                978-3-642-41659-0
                978-3-642-41660-6
                2013
                10.1007/978-3-642-41660-6
                Book Chapter
                2013
                : 432-444
                10.1007/978-3-642-41660-6_23

                Comments

                Comment on this book

                Book chapters

                Similar content 4,972