@misc{indiciae728c59e22dab,
  title = {Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+},
  author = {Alejandro Díaz-Caro and Pablo E. Martínez López},
  year = {2016},
  doi = {10.1145/2897336.2897346},
  url = {https://arxiv.org/abs/1511.09324},
  note = {Source identifier: 1511.09324}
}