Typing

Results: 1599



#Item
51Typing Documents on the UNIX System: Using the −ms Macros with Troff and Nroff M. E. Lesk Bell Laboratories Murray Hill, New Jersey 07974

Typing Documents on the UNIX System: Using the −ms Macros with Troff and Nroff M. E. Lesk Bell Laboratories Murray Hill, New Jersey 07974

Add to Reading List

Source URL: wolfram.schneider.org

- Date: 2012-01-08 15:19:27
    52Typing Dynamic Layer Composition Atsushi Igarashi (Kyoto U.)

    Typing Dynamic Layer Composition Atsushi Igarashi (Kyoto U.)

    Add to Reading List

    Source URL: proglang.informatik.uni-freiburg.de

    - Date: 2017-10-04 11:31:52
      53From Optional to Gradual Typing via Transient Checks Michael M. Vitousek Jeremy G. Siek Indiana University

      From Optional to Gradual Typing via Transient Checks Michael M. Vitousek Jeremy G. Siek Indiana University

      Add to Reading List

      Source URL: homes.soic.indiana.edu

      - Date: 2016-05-04 18:20:04
        54Is Sound Gradual Typing Dead? Asumu Takikawa Max S. New Daniel Feltey

        Is Sound Gradual Typing Dead? Asumu Takikawa Max S. New Daniel Feltey

        Add to Reading List

        Source URL: www.ccs.neu.edu

        - Date: 2016-01-22 01:03:27
          55Towards Practical Gradual Typing˚ Asumu Takikawa1 , Daniel Feltey1 , Earl Dean2 , Matthew Flatt3 , Robert Bruce Findler4 , Sam Tobin-Hochstadt2 , and Matthias Felleisen1 1

          Towards Practical Gradual Typing˚ Asumu Takikawa1 , Daniel Feltey1 , Earl Dean2 , Matthew Flatt3 , Robert Bruce Findler4 , Sam Tobin-Hochstadt2 , and Matthias Felleisen1 1

          Add to Reading List

          Source URL: drops.dagstuhl.de

          - Date: 2015-06-26 03:10:18
            56APPLICATION FOR MEMBERSHIP Please send by facsimile to: +or by Email to Please complete all fields by clicking onto the respective field and typing. I herewith apply for me

            APPLICATION FOR MEMBERSHIP Please send by facsimile to: +or by Email to Please complete all fields by clicking onto the respective field and typing. I herewith apply for me

            Add to Reading List

            Source URL: bio-mechanik.org

            - Date: 2016-12-14 06:26:32
              57Statistical Resolution of Ambiguous HLA Typing Data Jennifer Listgarten1*, Zabrina Brumme2, Carl Kadie1, Gao Xiaojiang3, Bruce Walker2,4, Mary Carrington3, Philip Goulder2,5, David Heckerman1* 1 Microsoft Research, Redmo

              Statistical Resolution of Ambiguous HLA Typing Data Jennifer Listgarten1*, Zabrina Brumme2, Carl Kadie1, Gao Xiaojiang3, Bruce Walker2,4, Mary Carrington3, Philip Goulder2,5, David Heckerman1* 1 Microsoft Research, Redmo

              Add to Reading List

              Source URL: www.jennifer.listgarten.com

              - Date: 2016-07-01 13:40:42
                58Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa1 1

                Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa1 1

                Add to Reading List

                Source URL: users.eecs.northwestern.edu

                - Date: 2018-03-30 15:48:58
                  59Position Paper: Performance Evaluation for Gradual Typing Asumu Takikawa Daniel Feltey Ben Greenman Jan Vitek Matthias Felleisen

                  Position Paper: Performance Evaluation for Gradual Typing Asumu Takikawa Daniel Feltey Ben Greenman Jan Vitek Matthias Felleisen

                  Add to Reading List

                  Source URL: www.ccs.neu.edu

                  - Date: 2015-07-06 21:33:02
                    60QUICK REFERENCE GUIDE SEARCHING WITH BOOLEAN TERMS AND CONNECTORS On Westlaw, you can search for documents by either typing a Boolean Terms and Connectors query or typing a plain language query in the Search box at the

                    QUICK REFERENCE GUIDE SEARCHING WITH BOOLEAN TERMS AND CONNECTORS On Westlaw, you can search for documents by either typing a Boolean Terms and Connectors query or typing a plain language query in the Search box at the

                    Add to Reading List

                    Source URL: static.legalsolutions.thomsonreuters.com

                    - Date: 2017-05-11 09:29:46