Matthias

Results: 3580



#Item
191

Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

Add to Reading List

Source URL: www.cs.utah.edu

- Date: 2004-04-03 19:39:33
    192

    Functional Logic Overloading Matthias Neubauer Peter Thiemann Universitat ¨ Freiburg

    Add to Reading List

    Source URL: www.deinprogramm.de

    - Date: 2003-04-09 07:33:06
      193

      Where are you going with those types? Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen PLT / Northeastern University Boston, MA, USA

      Add to Reading List

      Source URL: users.eecs.northwestern.edu

      - Date: 2018-03-30 15:49:00
        194

        Scheme with Classes, Mixins, and Traits Matthew Flatt1 , Robert Bruce Findler2 , and Matthias Felleisen3 1 2 3

        Add to Reading List

        Source URL: www.cs.utah.edu

        - Date: 2006-08-25 13:33:58
          195

          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
            196

            N EWS AND N OTES 553 R Teaching Column by Matthias Gehrke, Reed Davis, Norman Matloff, Paul Thompson, Tiffany Chen, Emily Watkins

            Add to Reading List

            Source URL: journal.r-project.org

            - Date: 2018-01-29 07:20:23
              197

              Where are you going with those types? Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen Northeastern University, University of Utah {stamourv,samth,matthias}@ccs.neu.edu, Abstra

              Add to Reading List

              Source URL: users.eecs.northwestern.edu

              - Date: 2018-03-30 15:48:58
                198

                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
                  199

                  Early Stage & Expansion | M&A-Kolumne Sinn und Unsinn von Acceleratoren Dr. Matthias Birkholz ist Gründungspartner der Berliner Rechtsanwaltssozietät Lindenpartners. Die Beratung

                  Add to Reading List

                  Source URL: lindenpartners.eu

                  - Date: 2016-03-29 08:17:10
                    200

                    RiPKI: The Tragic Story of RPKI Deployment in the Web Ecosystem Matthias Wählisch Robert Schmidt

                    Add to Reading List

                    Source URL: conferences.sigcomm.org

                    - Date: 2015-10-30 12:23:59
                      UPDATE