Varying Domain Representations in Hagl

Extending the Expressiveness of a DSL for Experimental Game Theory
  • Eric Walkingshaw
  • Martin Erwig
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5658)


Experimental game theory is an increasingly important research tool in many fields, providing insight into strategic behavior through simulation and experimentation on game theoretic models. Unfortunately, despite relying heavily on automation, this approach has not been well supported by tools. Here we present our continuing work on Hagl, a domain-specific language embedded in Haskell, intended to drastically reduce the development time of such experiments and support a highly explorative research style.

In this paper we present a fundamental redesign of the underlying game representation in Hagl. These changes allow us to better utilize domain knowledge by allowing different classes of games to be represented differently, exploiting existing domain representations and algorithms. In particular, we show how this supports analytical extensions to Hagl, and makes strategies for state-based games vastly simpler and more efficient.


Nash Equilibrium Game Theory Pareto Optimal Solution Game Tree Matrix Game 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Fudenberg, D., Tirole, J.: Game Theory, xvii–xx, pp. 11–23. MIT Press, Cambridge (1991)zbMATHGoogle Scholar
  2. 2.
    Nagel, R.: Unraveling in Guessing Games: An Experimental Study. American Economic Review 85, 1313–1326 (1995)Google Scholar
  3. 3.
    Ho, T., Camerer, C., Weigelt, K.: Iterated Dominance and Iterated Best-response in p-Beauty Contests. American Economic Review 88(4), 947–969 (1998)Google Scholar
  4. 4.
    Crawford, V.: Introduction to Experimental Game Theory. Journal of Economic Theory 104(1), 1–15 (2002)CrossRefzbMATHGoogle Scholar
  5. 5.
    Axelrod, R.: The Evolution of Cooperation. Basic Books, New York (1984)zbMATHGoogle Scholar
  6. 6.
    Kendall, G., Darwen, P., Yao, X.: The Prisoner’s Dilemma Competition (2005),
  7. 7.
    Walkingshaw, E., Erwig, M.: A Domain-Specific Language for Experimental Game Theory. Under consideration for publication in the Journal of Functional Programming (2008)Google Scholar
  8. 8.
    Erwig, M., Kollmansberger, S.: Functional Pearls: Probabilistic functional programming in Haskell. Journal of Functional Programming 16(01), 21–34 (2005)CrossRefzbMATHGoogle Scholar
  9. 9.
    Papadimitriou, C.: The Complexity of Finding Nash Equilibria. Algorithmic Game Theory, 29–52 (2007)Google Scholar
  10. 10.
    Gottlob, G., Greco, G., Scarcello, F.: Pure Nash Equilibria: Hard and Easy Games. In: Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge, pp. 215–230. ACM, New York (2003)Google Scholar
  11. 11.
    Straffin, P.: Game Theory and Strategy, pp. 7–12, 65–80. The Mathematical Association of America, Washington (1993)Google Scholar
  12. 12.
    Chakravarty, M., Keller, G., Jones, S., Marlow, S.: Associated types with class. In: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, vol. 40, pp. 1–13. ACM, New York (2005)Google Scholar
  13. 13.
    Peyton Jones, S.L.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  14. 14.
    GHC: The Glasgow Haskell Compiler (2004),
  15. 15.
    Groves, T., Ledyard, J.: Optimal Allocation of Public Goods: A Solution to the Free Rider Problem. Econometrica 45(4), 783–809 (1977)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Erwig, M., Walkingshaw, E.: A Visual Language for Representing and Explaining Strategies in Game Theory. In: IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pp. 101–108 (2008)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2009

Authors and Affiliations

  • Eric Walkingshaw
    • 1
  • Martin Erwig
    • 1
  1. 1.School of Electrical Engineering and Computer ScienceOregon State UniversityCorvallisUSA

Personalised recommendations