Claudio Agustin Mista

Doctoral Student at Information Security

Showing 5 publications

2020

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

Claudio Agustin Mista, Alejandro Russo
Proceedings of the 21st International Symposium on Trends in Functional Programming
Paper in proceedings
2019

Generating Random Structurally Rich Algebraic Data Type Values

Claudio Agustin Mista, Alejandro Russo
2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST), p. 48-54
Paper in proceedings
2019

Deriving Compositional Random Generators

Claudio Agustin Mista, Alejandro Russo
Proceedings of the 31st Symposium on Implementation and Application of Functional Languages
Paper in proceedings
2018

Branching Processes for QuickCheck Generators

Claudio Agustin Mista, Alejandro Russo, John Hughes
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell. Vol. 17 September 2018, p. 1-13
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Claudio Agustin Mista participates, but you have to be logged in as a Chalmers employee to see them.