How to make ad-hoc polymorphism less ad hoc
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the criteria to be used in decomposing systems into modules
Communications of the ACM
A Typed Lambda Calculus with Categorical Type Constructors
Category Theory and Computer Science
Multiparty asynchronous session types
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
Modularity in Agent Programming Languages
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Roles as a Coordination Construct: Introducing powerJava
Electronic Notes in Theoretical Computer Science (ENTCS)
AF-Raf: an agent-oriented programming language with algebraic data types
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Hi-index | 0.00 |
Agent-oriented methodologies emphasize organisational concepts, which give structure to large agent systems. Organisational frameworks, however, put an extra burden on developers, who need to master both an agent-oriented programming language and the framework itself. We believe that the organisation of agent systems should be directly supported by features of the programming language. In this paper we propose three such language features: algebraic data types, roles, and sessions. They are inspired by functional programming languages and by session types. How they fit together in the context of agent-oriented programming is new.