Typed parametric polymorphism for aspects

Radha Jagadeesan, Alan Jeffrey, James Riely. Typed parametric polymorphism for aspects. Science of Computer Programming, 63(3):267-296, 2006. [doi]

@article{JagadeesanJR06,
  title = {Typed parametric polymorphism for aspects},
  author = {Radha Jagadeesan and Alan Jeffrey and James Riely},
  year = {2006},
  doi = {10.1016/j.scico.2006.02.008},
  url = {http://dx.doi.org/10.1016/j.scico.2006.02.008},
  researchr = {https://researchr.org/publication/JagadeesanJR06},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {63},
  number = {3},
  pages = {267-296},
}