Typing

Results: 1599



#Item
51

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
    52

    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
      53

      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
        54

        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
          55

          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
            56

            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
              57

              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
                58

                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
                  59

                  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
                    60

                    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
                      UPDATE