Typed parametric polymorphism for aspects

DOI10.1016/J.SCICO.2006.02.008zbMATH Open1119.68048OpenAlexW2157387202MaRDI QIDQ856919FDOQ856919

Authors: Radha Jagadeesan, Alan Jeffrey, J. Riely 

Publication date: 14 December 2006

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2006.02.008

Recommendations

• A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
• scientific article
• PolyAML: a polymorphic aspect-oriented functional programming language
• A type-theoretic interpretation of pointcuts and advice
• Type-directed weaving of aspects for polymorphically typed functional languages

zbMATH Keywords

generic typestypingaspect-oriented programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (9)

• Aspects preserving properties
• Chemical foundations of distributed aspects
• Improving type error messages for generic Java
• Type-directed weaving of aspects for polymorphically typed functional languages
• Title not available (Why is that?)
• Parametric Polymorphism — Universally
• A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
• Parametric polymorphism for XML
• Title not available (Why is that?)

This page was built for publication: Typed parametric polymorphism for aspects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q856919)