Type-directed weaving of aspects for polymorphically typed functional languages

DOI10.1016/J.SCICO.2010.04.001zbMath1209.68105OpenAlexW2141519739MaRDI QIDQ988192

Chung-Hsin Chen, Meng Wang, Kung Chen, Shu-Chun Weng, Siau-Cheng Khoo

Publication date: 26 August 2010

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

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:943b90fc-5486-4185-870e-963df137df62

zbMATH Keywords

aspect-oriented programmingpolymorphically typed functional languagestatic weavingtype-scoped advice

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Uses Software

• Haskell
• PolyAML
• Aspectual Caml

Cites Work

• Unnamed Item
• Typed parametric polymorphism for aspects
• Generic programming in 3D
• Scrap your boilerplate with class
• Poly _AML
• Aspectual Caml
• Type-safe cast
• A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
• Qualified Types
• Implicit parameters

This page was built for publication: Type-directed weaving of aspects for polymorphically typed functional languages