Haskell 2010 Report Bibtex Bibliography

  • 2018
  • [j20]

    Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers:
    A unified view of monadic and applicative non-determinism.Sci. Comput. Program.152: 70-98 (2018)

  • 2017
  • [c65]

    Georgios Karachalias, Tom Schrijvers:
    Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!Haskell2017: 133-147

  • [c64]

    Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler:
    Quantified class constraints.Haskell2017: 148-161

  • [c63]

    Alexander Vandenbroucke, Tom Schrijvers:
    From PRISM to ProbLog and Back Again.PLP@ILP2017: 26-40

  • 2016
  • [j19]

    Amr Hany Saleh, Tom Schrijvers:
    Efficient algebraic effect handlers for Prolog.TPLP16(5-6): 884-898 (2016)

  • [j18]

    Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers:
    Tabling with Sound Answer Subsumption.TPLP16(5-6): 933-949 (2016)

  • [c62]

    Steven Keuchel, Stephanie Weirich, Tom Schrijvers:
    Needle & Knot: Binder Boilerplate Tied Up.ESOP2016: 419-445

  • [c61]

    Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond:
    Proof Relevant Corecursive Resolution.FLOPS2016: 126-143

  • [c60]

    Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke:
    Tabling as a Library with Delimited Control.IJCAI2016: 4145-4149

  • [c59]

    Edward Robbins, Andy King, Tom Schrijvers:
    From MinX to MinC: semantics-driven decompilation of recursive datatypes.POPL2016: 191-203

  • [e4]

    Tom Schrijvers:
    Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016.ACM2016, ISBN 978-1-4503-4767-9[contents]

  • [i15]

  • 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]

  • Categories: 1

    0 Replies to “Haskell 2010 Report Bibtex Bibliography”

    Leave a comment

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