Flanagan

Results: 915



#Item
11

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
    12

    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
      13

      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
        14

        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
          15

          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
            16

            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
              17

              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
                18

                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
                  19

                  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
                    20

                    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
                      UPDATE