Profunctor optics are bidirectional data accessors that capture data
transformation patterns such as accessing subfields or iterating over
containers. They are modular, meaning that we can construct accessors for
complex structures by combining simpler ones. Profunctor optics have been
studied only using $\mathbf{Sets}$ as the enriching category and in the
non-mixed case. However, functional programming languages are arguably better
described by enriched categories and we have found that some structures in the
literature are actually mixed optics. Our work generalizes a classic result by
Pastro and Street on Tambara theory and uses it to describe mixed V-enriched
profunctor optics and to endow them with V-category structure. We provide some
original families of optics and derivations, including an elementary one for
traversals that solves an open problem posed by Milewski. Finally, we discuss a
Haskell implementation.

more |
pdf
| html
None.

pitopos:
I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Thanks to everyone involved, especially
@mroman42
@BartoszMilewski
@ququ7
@8ryceClarke
@jer_gib
And everyone else who made it happen!

mathCTbot:
Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román : Profunctor optics, a categorical update https://t.co/Fv2iagfOrk https://t.co/q2PV310ahu

ReinH:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

JadeMasterMath:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

acid2:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

jasdev:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

mstk:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

jer_gib:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

alan_zimm:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

jneira:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

leostera:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

tangled_zans:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

_pjrt:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

8ryceClarke:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

babui_:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

amarrella:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

gustavofranke:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

mimi1vx:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

urosn:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

ghisvail:
RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif!
Tha…

None.

None.

Sample Sizes : None.

Authors: 7

Total Words: 0

Unqiue Words: 0

We consider reusing established non-probabilistic output analyses (either
forward or backwards) that yield over-approximations of a program's pre-image
or image relation, e.g., interval analyses. We assume a probability measure
over the program input and present two techniques (one for forward and one for
backward analyses) that both derive upper and lower probability bounds for the
output events. We demonstrate the most involved technique, namely the forward
technique, for two examples and compare their results to a cutting-edge
probabilistic output analysis.

more |
pdf
| html
None.

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

Quantitative aspects of computation are related to the use of both physical
and mathematical quantities, including time, performance metrics, probability,
and measures for reliability and security. They are essential in characterizing
the behaviour of many critical systems and in estimating their properties.
Hence, they need to be integrated both at the level of system modeling and
within the verification methodologies and tools. Along the last two decades a
variety of theoretical achievements and automated techniques have contributed
to make quantitative modeling and verification mainstream in the research
community. In the same period, they represented the central theme of the series
of workshops entitled Quantitative Aspects of Programming Languages and Systems
(QAPL) and born in 2001. The aim of this survey is to revisit such achievements
and results from the standpoint of QAPL and its community.

more |
pdf
| html
None.

arxiv_cslo:
Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond https://t.co/NIfO4d2zWI

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

This EPTCS volume contains the proceedings of the 16th Workshop on
Quantitative Aspects of Programming Languages and Systems (QAPL 2019) held in
Prague, Czech Republic, on Sunday 7 April 2019. QAPL 2019 was a satellite event
of the European Joint Conferences on Theory and Practice of Software (ETAPS
2019).
QAPL focuses on quantitative aspects of computations, which may refer to the
use of physical quantities (time, bandwidth, etc.) as well as mathematical
quantities (e.g., probabilities) for the characterisation of the behaviour and
for determining the properties of systems. Such quantities play a central role
in defining both the model of systems (architecture, language design,
semantics) and the methodologies and tools for the analysis and verification of
system properties. The aim of the QAPL workshop series is to discuss the
explicit use of time and probability and general quantities either directly in
the model or as a tool for the analysis or synthesis of systems.
The 16th edition of QAPL also focuses on discussing the...

more |
pdf
| html
None.

DO:
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems. https://t.co/VJcNIgc5yW

arxiv_cslo:
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems https://t.co/O3EryUwJwr

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

*Tracking 256,574 papers.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible