References

  1. Beniamino Accattoli (2012): An Abstract Factorization Theorem for Explicit Substitutions. In: RTA, pp. 6–21. Available at http://dx.doi.org/10.4230/LIPIcs.RTA.2012.6.
  2. Beniamino Accattoli (2016): The Useful MAM, a Reasonable Implementation of the Strong λ-Calculus. In: WoLLIC 2016, pp. 1–21. Available at http://dx.doi.org/10.1007/978-3-662-52921-8_1.
  3. Beniamino Accattoli, Pablo Barenbaum & Damiano Mazza (2014): Distilling abstract machines. In: ICFP 2014, pp. 363–376. Available at http://doi.acm.org/10.1145/2628136.2628154.
  4. Beniamino Accattoli, Pablo Barenbaum & Damiano Mazza (2015): A Strong Distillery. In: APLAS 2015, pp. 231–250. Available at http://dx.doi.org/10.1007/978-3-319-26529-2_13.
  5. Beniamino Accattoli, Eduardo Bonelli, Delia Kesner & Carlos Lombardi (2014): A nonstandard standardization theorem. In: POPL, pp. 659–670. Available at http://doi.acm.org/10.1145/2535838.2535886.
  6. Beniamino Accattoli & Claudio Sacerdoti Coen (2014): On the Value of Variables. In: WoLLIC 2014, pp. 36–50. Available at http://dx.doi.org/10.1007/978-3-662-44145-9_3.
  7. Beniamino Accattoli & Claudio Sacerdoti Coen (2015): On the Relative Usefulness of Fireballs. In: LICS 2015, pp. 141–155. Available at http://dx.doi.org/10.1109/LICS.2015.23.
  8. Beniamino Accattoli & Ugo Dal Lago (2012): On the Invariance of the Unitary Cost Model for Head Reduction. In: RTA, pp. 22–37. Available at http://dx.doi.org/10.4230/LIPIcs.RTA.2012.22.
  9. Beniamino Accattoli & Delia Kesner (2010): The Structural λ-Calculus. In: CSL, pp. 381–395. Available at http://dx.doi.org/10.1007/978-3-642-15205-4_30.
  10. Beniamino Accattoli & Ugo Dal Lago (2014): Beta reduction is invariant, indeed. In: CSL-LICS '14, pp. 8:1–8:10. Available at http://doi.acm.org/10.1145/2603088.2603105.
  11. Guy E. Blelloch & John Greiner (1995): Parallelism in Sequential Functional Languages. In: FPCA, pp. 226–237. Available at http://doi.acm.org/10.1145/224164.224210.
  12. Ugo Dal Lago & Simone Martini (2006): An Invariant Cost Model for the Lambda Calculus. In: CiE 2006, pp. 105–114. Available at http://dx.doi.org/10.1007/11780342_11.
  13. David Sands, Jörgen Gustavsson & Andrew Moran (2002): Lambda Calculi and Linear Speedups. In: The Essence of Computation, pp. 60–84. Available at http://dx.doi.org/10.1007/3-540-36377-7_4.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org