Polymorphic type inference and abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
A visual language for representing and explaining strategies in game theory
VLHCC '08 Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing
Varying Domain Representations in Hagl
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Hi-index | 0.00 |
Experimental game theory is increasingly important for research in many fields. Unfortunately, it is poorly supported by computer tools. We have created Hagl, a domain-specific language embedded in Haskell, to reduce the development time of game-theoretic experiments and make the definition and exploration of games and strategies simple and fun.