Tobin

Results: 1395



#Item
161

Refined Criteria for Gradual Typing Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland, Sam Tobin-Hochstadt Indiana University Bloomington SNAPL 2015

Add to Reading List

Source URL: dl.dropboxusercontent.com

    162

    Validation of Atmospheric InfraRed Sounder (AIRS) Spectral Radiances with the Scanning High-resolution Interferometer Sounder (S-HIS) aircraft instrument Henry E. Revercomb, David C. Tobin, Robert O. Knuteson, Fred A. Be

    Add to Reading List

    Source URL: cimss.ssec.wisc.edu

    - Date: 2004-04-17 15:12:04
      163

      Optimization Coaching ∗ Optimizers Learn to Communicate with Programmers Vincent St-Amour Sam Tobin-Hochstadt

      Add to Reading List

      Source URL: www.ccs.neu.edu

      - Date: 2015-04-30 08:41:05
        164

        Languages as Libraries Sam Tobin-Hochstadt Vincent St-Amour Ryan Culpepper

        Add to Reading List

        Source URL: www.cs.utah.edu

        Language: English - Date: 2011-03-18 16:51:17
          165

          Kinoshita, M., Tobin, H., Ashi, J., Kimura, G., Lallemant, S., Screaton, E.J., Curewitz, D., Masago, H., Moe, K.T., and the ExpeditionScientists Proceedings of the Integrated Ocean Drilling Program, Volume 3

          Add to Reading List

          Source URL: publications.iodp.org

          Language: English - Date: 2011-06-08 16:54:41
            166

            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: www.ccs.neu.edu

            Language: English - Date: 2015-05-11 21:04:51
              167

              Parallel Type-checking with Saturating LVars Peter Fogg Sam Tobin-Hochstadt Ryan R. Newton

              Add to Reading List

              Source URL: www.ccs.neu.edu

              Language: English - Date: 2015-02-28 14:54:53
                168

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

                Add to Reading List

                Source URL: www.ccs.neu.edu

                Language: English - Date: 2015-04-30 08:41:04
                  169

                  Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant Rowan Davies Sam Tobin-Hochstadt

                  Add to Reading List

                  Source URL: www.ccs.neu.edu

                  Language: English - Date: 2015-02-28 14:54:53
                    170

                    Youth Creating Disaster Recovery March 13, 2013 Created by: Robin Cox, Lori Peek, and Jennifer Tobin-Gurley

                    Add to Reading List

                    Source URL: disaster.colostate.edu

                    Language: English - Date: 2013-03-14 14:41:24
                      UPDATE