Type-In

Results: 21044



#Item
361

Type Inference and Rule Dependencies in Xcerpt Wlodzimierz Drabent1,2 , Artur Wilk1 MayDept. of Computer and Information Science,

Add to Reading List

Source URL: rewerse.net

- Date: 2008-10-16 09:18:32
    362

    Polymorphism, Subtyping, and Type Inference in MLsub Alan Mycroft tifact OPL *

    Add to Reading List

    Source URL: www.cl.cam.ac.uk

    - Date: 2016-11-07 17:18:10
      363

      Federal Register / Vol. 81, NoWednesday, November 30, Proposed Rules found in FAA Advisory Circular (AC–2A, ‘‘Type Certification—FixedWing Gliders (Sailplanes), Including Powered Gliders,’

      Add to Reading List

      Source URL: docs.regulations.justia.com

      - Date: 2016-11-30 07:30:30
        364

        ROLE OF INNATE IMMUNE RECEPTORS IN THE TYPE 1 DIABETES PATHOGENESIS Post-doctoral: Dra. Daniela Carlos Ribeirão Preto Medical School Department of Biochemistry and Immunology

        Add to Reading List

        Source URL: www.fapesp.br

        - Date: 2016-06-09 14:15:54
          365

          Improving Type Error Messages in OCaml Arthur Charguéraud Inria & LRI, Université Paris Sud, CNRS

          Add to Reading List

          Source URL: ocaml.org

          - Date: 2016-12-21 02:07:06
            366

            THE INTERNATIONAL AND AMERICAN ASSOCIATIONS OF CLINICAL NUTRITIONISTS APPLICATION FOR MEMBERSHIP Type in form. Save to computer. Then email/fax/mail to office.

            Add to Reading List

            Source URL: 000g18e.myregisteredwp.com

            - Date: 2016-11-07 13:35:40
              367

              A Model of Cubical Type Theory in Nuprl Mark Bickford Cornell University, Computer Science July 13, 2016

              Add to Reading List

              Source URL: www.math.ias.edu

              - Date: 2016-07-28 14:34:55
                368

                Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University leanprover.github.io

                Add to Reading List

                Source URL: www.math.ias.edu

                - Date: 2016-07-28 14:38:46
                  369

                  A Dirac-type theorem for Hamilton Berge cycles in random hypergraphs Dennis Clemens a,1 , Julia Ehrenm¨ uller a,2 , and Yury Person b,3,4 a

                  Add to Reading List

                  Source URL: discretemath.upc.edu

                  - Date: 2016-07-10 20:00:19
                    370

                    THE INTERNATIONAL AND AMERICAN ASSOCIATIONS OF CLINICAL NUTRITIONISTS APPLICATION FOR MEMBERSHIP Type in form. Save to computer. Then email/fax/mail to office.

                    Add to Reading List

                    Source URL: 000g18e.myregisteredwp.com

                    - Date: 2016-11-07 14:05:26
                      UPDATE