Gradual

Results: 533



#Item
11

Gradual Type Precision as Retraction Max S. New Northeastern University POPL 2017 Student Research Competition Extended Abstract

Add to Reading List

Source URL: maxsnew.github.io

- Date: 2018-03-23 16:34:38
    12

    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
      13

      Big Types in Little Runtime Open-World Soundness and Collaborative Blame for Gradual Type Systems Jeremy G. Siek Ar tifact

      Add to Reading List

      Source URL: homes.soic.indiana.edu

      - Date: 2017-01-20 03:43:22
        14

        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
          15

          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
            16

            ProfessorJ : A Gradual Introduction to Java through Language Levels Kathryn E. Gray Matthew Flatt University of Utah

            Add to Reading List

            Source URL: www.cs.utah.edu

            - Date: 2003-11-20 15:24:07
              17

              ProfessorJ : A Gradual Introduction to Java through Language Levels Kathryn E. Gray Matthew Flatt University of Utah

              Add to Reading List

              Source URL: www.cs.utah.edu

              - Date: 2003-11-20 15:24:07
                18

                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
                  19

                  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
                    20

                    A CW QRP Transceiver for 20 m band The little QRP presented in this article may be built in a gradual manner, in fact it is divided in two main modules (plus VFO), you may also complete only a single part (RX or TX modul

                    Add to Reading List

                    Source URL: www.ik3oil.it

                    - Date: 2009-08-27 13:16:06
                      UPDATE