Poly AML

DOI10.1145/1086365.1086404zbMath1302.68057OpenAlexW2127491409MaRDI QIDQ2936793

No author found.

Publication date: 6 January 2015

Published in: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1086365.1086404

zbMATH Keywords

functional programmingtype systemstype inferencead-hoc polymorphismaspects-oriented programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)

Related Items (3)

Side-effect localization for lazy, purely functional languages via aspects ⋮ Aspects preserving properties ⋮ Type-directed weaving of aspects for polymorphically typed functional languages

Uses Software

• PolyAML

This page was built for publication: Poly _AML