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

by Peter Buchlovsky, Hayo Thielecke
Venue:In 21st Conference on Mathematical Foundations of Programming Semantics (MFPS XXI), volume 155 of Electronic Notes in Theoretical Computer Science (ENTCS