Publications

  • Tools

    • Suggesting valid hole fits for typed-holes (experience report). Matthías Páll Gissurarson. Haskell Symposium, 2018. (Link to paper)
  • Testing

    • Branching processes for QuickCheck generators. Agustín Mista, Alejandro Russo, John Hughes. Haskell Symposium, 2018. (Link to paper)
  • Compilation

    • Towards Adding Variety to Simplicity. Nachiappan Valliappan, Solène Mirliaz, Elisabet Lobo Vesga, and Alejandro Russo. ISoLA 2018. (Link to paper)