Showing 1 - 3 results of 3 for search 'Polikarpova, Nadezhda', query time: 0.02s Refine Results
  1. 1
    Program synthesis from polymorphic refinement types

    Program synthesis from polymorphic refinement types by Polikarpova, Nadezhda, Kuraj, Ivan, Solar Lezama, Armando

    Published 2017
    Get full text
    Get full text
    Get full text
    Get full text
    Article
  2. 2
    A fully verified container library

    A fully verified container library by Tschannen, Julian, Furia, Carlo A., Polikarpova, Nadezhda

    Published 2018
    Get full text
    Get full text
    Article
  3. 3
    Synthesis of Recursive ADT Transformations from Reusable Templates

    Synthesis of Recursive ADT Transformations from Reusable Templates by Qiu, Xiaokang, Lerner, Benjamin S., Inala, Jeevana Priya, Polikarpova, Nadezhda, Solar Lezama, Armando

    Published 2017
    Get full text
    Get full text
    Get full text
    Article

Search Tools: