Flanagan

Results: 915



#Item
11Hybrid Type Checking KENNETH KNOWLES CORMAC FLANAGAN University of California at Santa Cruz Traditional static type systems are effective for verifying basic interface specifications. Dynamicallychecked contracts suppor

Hybrid Type Checking KENNETH KNOWLES CORMAC FLANAGAN University of California at Santa Cruz Traditional static type systems are effective for verifying basic interface specifications. Dynamicallychecked contracts suppor

Add to Reading List

Source URL: kennknowles.com

- Date: 2014-03-19 14:17:46
    12Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan

    Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan

    Add to Reading List

    Source URL: kennknowles.com

    - Date: 2011-09-06 01:40:51
      13Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan

      Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan

      Add to Reading List

      Source URL: kennknowles.com

      - Date: 2011-09-06 01:40:50
        14Multiple Facets for Dynamic Information Flow Thomas H. Austin Cormac Flanagan

        Multiple Facets for Dynamic Information Flow Thomas H. Austin Cormac Flanagan

        Add to Reading List

        Source URL: users.soe.ucsc.edu

        - Date: 2018-02-28 12:31:37
          15May 8, 2017 Senator Jennifer L. Flanagan, Senate Chair Representative Denise C. Garlick Joint Committee on Mental Health, Substance Use, and Recovery State House Boston, MA 02133

          May 8, 2017 Senator Jennifer L. Flanagan, Senate Chair Representative Denise C. Garlick Joint Committee on Mental Health, Substance Use, and Recovery State House Boston, MA 02133

          Add to Reading List

          Source URL: www.aimnet.org

          - Date: 2017-05-13 19:00:02
            16Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy

            Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy

            Add to Reading List

            Source URL: jeapostrophe.github.io

            - Date: 2018-04-03 12:30:31
              17Internet Architecture Board (IAB) Request for Comments: 7990 Category: Informational ISSN: H. Flanagan

              Internet Architecture Board (IAB) Request for Comments: 7990 Category: Informational ISSN: H. Flanagan

              Add to Reading List

              Source URL: www.rfc-editor.org

              - Date: 2016-12-16 10:44:52
                18MINUTES Standards Board (SB) July 28, 2016 Teleconference Members Present: George F. Flanagan, SB Chair & RARCC Chair, Oak Ridge National Laboratory

                MINUTES Standards Board (SB) July 28, 2016 Teleconference Members Present: George F. Flanagan, SB Chair & RARCC Chair, Oak Ridge National Laboratory

                Add to Reading List

                Source URL: cdn.ans.org

                - Date: 2016-09-08 13:49:15
                  19Summer 2016 Facility Hours July 5 – August 14 Archbold and Flanagan Gymnasium (includes Archbold Fitness Center) Monday - Friday

                  Summer 2016 Facility Hours July 5 – August 14 Archbold and Flanagan Gymnasium (includes Archbold Fitness Center) Monday - Friday

                  Add to Reading List

                  Source URL: recreationservices.syr.edu

                  - Date: 2016-06-28 08:51:10
                    20News-Letter – July 2005 NEW DIRECTORS ELECTED At the Annual Meeting on April 4, the following new directors and officers were elected. William E. Flanagan was elected Treasurer for two years; Charlotte O‟G. Saul, Rec

                    News-Letter – July 2005 NEW DIRECTORS ELECTED At the Annual Meeting on April 4, the following new directors and officers were elected. William E. Flanagan was elected Treasurer for two years; Charlotte O‟G. Saul, Rec

                    Add to Reading List

                    Source URL: dedhamhistorical.org

                    - Date: 2010-05-10 10:58:46