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

generic typestypingaspect-oriented programming

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)

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

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)