Haskell 2010 Report Bibtex Bibliography

  • 2017
  • [j37]

    Hsiang-Shang Ko, Jeremy Gibbons:
    Programming with ornaments.J. Funct. Program.27: e2 (2017)

  • [j36]

    Faris Abou-Saleh, James McKinna, Jeremy Gibbons:
    Coalgebraic Aspects of Bidirectional Computation.Journal of Object Technology16(1): 1:1-29 (2017)

  • [j35]

    James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
    On principles of Least Change and Least Surprise for bidirectional transformations.Journal of Object Technology16(1): 3:1-31 (2017)

  • [j34]

    Matthew Pickering, Jeremy Gibbons, Nicolas Wu:
    Profunctor Optics: Modular Data Accessors.Programming Journal1(2): 7 (2017)

  • [c68]

    Jeremy Gibbons:
    APLicative Programming with Naperian Functors.ESOP2017: 556-583

  • [c67]

    Perdita Stevens, Jeremy Gibbons:
    On Ontologology.BX@ETAPS2017: 54-58

  • [i3]

    Matthew Pickering, Jeremy Gibbons, Nicolas Wu:
    Profunctor Optics: Modular Data Accessors.CoRRabs/1703.10857 (2017)

  • 2016
  • [j33]

    Jeremy Gibbons:
    Kernels, in a nutshell.J. Log. Algebr. Meth. Program.85(5): 921-930 (2016)

  • [c66]

    Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
    Reflections on Monadic Lenses.A List of Successes That Can Change the World2016: 1-31

  • [c65]

    Jeremy Gibbons:
    Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th Birthday.A List of Successes That Can Change the World2016: 132-151

  • [c64]

    Jeremy Gibbons:
    Free delivery (functional pearl).Haskell2016: 45-50

  • [c63]

  • 2018
  • [j8]

    Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala:
    Refinement reflection: complete verification with SMT.PACMPL2(POPL): 53:1-53:31 (2018)

  • 2017
  • [j7]

    Benjamin Cosman, Ranjit Jhala:
    Local refinement typing.PACMPL1(ICFP): 26:1-26:27 (2017)

  • [j6]

    Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala:
    Learning to blame: localizing novice type errors with data-driven diagnosis.PACMPL1(OOPSLA): 60:1-60:27 (2017)

  • [j5]

    Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala:
    Verifying distributed programs via canonical sequentialization.PACMPL1(OOPSLA): 110:1-110:27 (2017)

  • [c70]

    Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, Deian Stefan:
    FaCT: A Flexible, Constant-Time Programming Language.SecDev2017: 69-76

  • [c69]

    Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan:
    Finding and Preventing Bugs in JavaScript Bindings.IEEE Symposium on Security and Privacy2017: 559-578

  • [i19]

    Benjamin Cosman, Ranjit Jhala:
    Local Refinement Typing.CoRRabs/1706.08007 (2017)

  • [i18]

    Ryan G. Scott, Vikraman Choudhury, Ryan Newton, Niki Vazou, Ranjit Jhala:
    Deriving Law-Abiding Instances.CoRRabs/1708.02328 (2017)

  • [i17]

    Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala:
    Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis.CoRRabs/1708.07583 (2017)

  • [i16]

    Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala:
    Refinement Reflection: Complete Verification with SMT.CoRRabs/1711.03842 (2017)

  • 2016
  • [c68]

    Eric L. Seidel, Ranjit Jhala, Westley Weimer:
    Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong).ICFP2016: 228-242

  • 0 Replies to “Haskell 2010 Report Bibtex Bibliography”

    Lascia un Commento

    L'indirizzo email non verrà pubblicato. I campi obbligatori sono contrassegnati *