Search Results - Campora, John Peter

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Generating precise error specifications for C: a zero shot learning approach

    Generating precise error specifications for C: a zero shot learning approach by Wu, Baijun, Campora III, John Peter, He, Yi, Schlecht, Alexander, Chen, Sheng

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Learning user friendly type-error messages

    Learning user friendly type-error messages by Wu, Baijun, Campora III, John Peter, Chen, Sheng

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Taming type annotations in gradual typing

    Taming type annotations in gradual typing by Campora, John Peter, Chen, Sheng

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Migrating gradual types

    Migrating gradual types by CAMPORA, JOHN PETER, CHEN, SHENG, ERWIG, MARTIN, WALKINGSHAW, ERIC

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Type-Based Gradual Typing Performance Optimization

    Type-Based Gradual Typing Performance Optimization by Campora, John Peter, Khan, Mohammad Wahiduzzaman, Chen, Sheng

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Casts and costs: harmonizing safety and performance in gradual typing

    Casts and costs: harmonizing safety and performance in gradual typing by Campora, John Peter, Chen, Sheng, Walkingshaw, Eric

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Migrating gradual types

    Migrating gradual types by Campora, John Peter, Chen, Sheng, Erwig, Martin, Walkingshaw, Eric

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Advances in compilation for quantum hardware -- A demonstration of magic state distillation and repeat-until-success protocols

    Advances in compilation for quantum hardware -- A demonstration of magic state distillation and repeat-until-success protocols by Brown, Natalie C, Campora, John Peter, Granade, Cassandra, Heim, Bettina, Wernli, Stefan, Ryan-Anderson, Ciaran, Lucchetti, Dominic, Paetznick, Adam, Roetteler, Martin, Svore, Krysta, Chernoguzov, Alex

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    149. Immunogenicity, Safety, and Post-hoc Efficacy Assessment of the Adjuvanted Recombinant Zoster Vaccine in Adults with Hematologic Malignancies: A Phase 3, Randomized Clinical Trial

    149. Immunogenicity, Safety, and Post-hoc Efficacy Assessment of the Adjuvanted Recombinant Zoster Vaccine in Adults with Hematologic Malignancies: A Phase 3, Randomized Clinical T... by Dagnew, Alemnew F, Ilhan, Osman, Lee, Won-Sik, Woszczyk, Dariusz, Kwak, Jae-Yong, Bowcock, Stella, Sohn, Sang Kyun, Rodriguez Macías, Gabriela, Chiou, Tzeon-Jye, Quiel, Dimas, Aoun, Mickael, Matilla, Maria Belen Navarro, De La Serna, Javier, Milliken, Samuel, Murphy, John, McNeil, Shelly A, Salaun, Bruno, Paolo, Emmanuel Di, Campora, Laura, López-Fauqued, Marta, El Idrissi, Mohamed, Schuind, Anne, Heineman, Thomas C, Van Den Steen, Peter, Oostvogels, Lidia

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: