Niki

Results: 473



#Item
11

Bounded Refinement Types Niki Vazou, Alexander Bakst, Ranjit Jhala (UC San Diego)

Add to Reading List

Source URL: goto.ucsd.edu

Language: English - Date: 2015-05-18 02:33:44
    12

    3. Kustreise nach New York zu Judy Chicagos Kunstwerk THE DINNER PARTY und nach San Diego zu Niki de Saint Phalles letztem Werk „QUEEN CALIFIAS MAGICAL CIRCLE“ 28. Okt. bis 7. NovDas FRAUEN-GEDENK-LABYRINTH un

    Add to Reading List

    Source URL: www.frauen-gedenk-labyrinth.de

    Language: German - Date: 2010-01-24 15:56:14
      13

      LiquidHaskell: Experience with Refinement Types in the Real World Niki Vazou Eric L. Seidel

      Add to Reading List

      Source URL: goto.ucsd.edu

      Language: English - Date: 2014-06-25 23:52:36
        14

        A Tale of Two Provers Verifying Monoidal String Matching in Liquid Haskell and Coq Niki Vazou University of Maryland

        Add to Reading List

        Source URL: nikivazou.github.io

        Language: English - Date: 2018-04-16 22:20:30
          15

          Refinement Types for Ruby Milod Kazerounian1 , Niki Vazou1 , Austin Bourgerie1 , Jeffrey S. Foster1 , and Emina Torlak2 1 University of Maryland, College Park, USA

          Add to Reading List

          Source URL: homes.cs.washington.edu

          - Date: 2017-12-12 13:01:34
            16

            An ISP-Scale Deployment of TapDance Sergey Frolov1 , Fred Douglas3 , Will Scott5 , Allison McDonald5 , Benjamin VanderSloot5 , Rod Hynes6 , Adam Kruger6 , Michalis Kallitsis4 , David G. Robinson7 , Steve Schultze2 , Niki

            Add to Reading List

            Source URL: benjaminvandersloot.com

            - Date: 2018-03-26 16:16:53
              17

              Bounded Refinement Types Niki Vazou Alexander Bakst Ranjit Jhala

              Add to Reading List

              Source URL: goto.ucsd.edu

              - Date: 2015-02-28 03:26:59
                18

                Type Targeted Testing Eric L. Seidel, Niki Vazou, and Ranjit Jhala UC San Diego Abstract. We present a new technique called type targeted testing, which translates precise refinement types into comprehensive test-suites.

                Add to Reading List

                Source URL: goto.ucsd.edu

                - Date: 2014-10-20 15:46:33
                  19

                  From Monads to Effects and Back Niki Vazou and Daan Leijen 1 2

                  Add to Reading List

                  Source URL: goto.ucsd.edu

                  - Date: 2015-10-21 23:10:55
                    UPDATE