Typing

Results: 1599



#Item
41SQuirreL, a Universal SQL Client by Gerd Wagner and Glenn Griffin Do you use a Relational Database System (RDBMS)? If so, you have probably run across one or more of the following situations: Typing a long SQL statement

SQuirreL, a Universal SQL Client by Gerd Wagner and Glenn Griffin Do you use a Relational Database System (RDBMS)? If so, you have probably run across one or more of the following situations: Typing a long SQL statement

Add to Reading List

Source URL: squirrel-sql.sourceforge.net

Language: English - Date: 2012-01-03 06:33:38
    42Gradual Security Typing (for Java) APLS 2015 Albert-Ludwigs-Universit¨ at Freiburg

    Gradual Security Typing (for Java) APLS 2015 Albert-Ludwigs-Universit¨ at Freiburg

    Add to Reading List

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

    - Date: 2017-10-04 11:31:52
      43Trace Typing: An Approach for Evaluating Retrofitted Type Systems Esben Andreasen1 , Colin S. Gordon2 , Satish Chandra3 , Manu Sridharan4 , Frank Tip5 , and Koushik Sen6 1 2

      Trace Typing: An Approach for Evaluating Retrofitted Type Systems Esben Andreasen1 , Colin S. Gordon2 , Satish Chandra3 , Manu Sridharan4 , Frank Tip5 , and Koushik Sen6 1 2

      Add to Reading List

      Source URL: manu.sridharan.net

      - Date: 2018-02-03 20:39:22
        44Typing the Numeric Tower Vincent St-Amour1 , Sam Tobin-Hochstadt1 , Matthew Flatt2 , and Matthias Felleisen1 1 Northeastern University

        Typing the Numeric Tower Vincent St-Amour1 , Sam Tobin-Hochstadt1 , Matthew Flatt2 , and Matthias Felleisen1 1 Northeastern University

        Add to Reading List

        Source URL: users.eecs.northwestern.edu

        - Date: 2018-03-30 15:48:57
          45Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

          Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

          Add to Reading List

          Source URL: www.eecs.northwestern.edu

          - Date: 2017-05-11 23:26:18
            46Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version) Esben Andreasen1 , Colin S. Gordon2 , Satish Chandra3 , Manu Sridharan3 , Frank Tip3 , and Koushik Sen4 1 2

            Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version) Esben Andreasen1 , Colin S. Gordon2 , Satish Chandra3 , Manu Sridharan3 , Frank Tip3 , and Koushik Sen4 1 2

            Add to Reading List

            Source URL: arxiv.org

            - Date: 2016-05-04 20:54:35
              47http://www.bioinform.com/issues/12_16/featureshtml Microsoft Research and Partners Develop Tool to Refine Low-Res HLA-Typing Data April 18, 2008 | Vol. 12 No. 16 By Vivien Marx

              http://www.bioinform.com/issues/12_16/featureshtml Microsoft Research and Partners Develop Tool to Refine Low-Res HLA-Typing Data April 18, 2008 | Vol. 12 No. 16 By Vivien Marx

              Add to Reading List

              Source URL: www.jennifer.listgarten.com

              - Date: 2016-07-01 13:40:28
                48SCIENTIFIC COMMUNICATIONS In Silico Resolution of Ambiguous HLA Typing Data Jennifer Listgarten,1 * Zabrina Brumme,2 Carl Kadie,1 Gao Xiaojiang,3 Bruce Walker,2,4

                SCIENTIFIC COMMUNICATIONS In Silico Resolution of Ambiguous HLA Typing Data Jennifer Listgarten,1 * Zabrina Brumme,2 Carl Kadie,1 Gao Xiaojiang,3 Bruce Walker,2,4

                Add to Reading List

                Source URL: www.jennifer.listgarten.com

                - Date: 2016-07-01 13:40:22
                  49Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

                  Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

                  Add to Reading List

                  Source URL: drops.dagstuhl.de

                  - Date: 2017-05-03 03:13:43
                    50Gradual Typing for First-Class Classes ∗ Asumu Takikawa T. Stephen Strickland Christos Dimoulas Sam Tobin-Hochstadt Matthias Felleisen

                    Gradual Typing for First-Class Classes ∗ Asumu Takikawa T. Stephen Strickland Christos Dimoulas Sam Tobin-Hochstadt Matthias Felleisen

                    Add to Reading List

                    Source URL: www.ccs.neu.edu

                    - Date: 2012-11-26 16:43:36