Typed parametric polymorphism for aspects

DOI10.1016/J.SCICO.2006.02.008MaRDI QIDQ856919zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

aspect-oriented programminggeneric typestyping

Mathematics Subject Classification ID

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

Recommendations

• A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
• scientific article; zbMATH DE number 5598386
• 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

Cited in

(9)

• Improving type error messages for generic Java
• Chemical foundations of distributed aspects
• Parametric Polymorphism — Universally
• scientific article; zbMATH DE number 5598386 (Why is no real title available?)
• A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
• Aspects preserving properties
• Parametric polymorphism for XML
• scientific article; zbMATH DE number 5662534 (Why is no real title available?)
• Type-directed weaving of aspects for polymorphically typed functional languages

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)