H.: A type-theoretic reconstruction of the visitor pattern (2006)

by P Buchlovsky, Thielecke
Venue:Electronic Notes in Theoretical Computer Science 155(0), 309 – 329