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

by P Buchlovsky, H Thielecke
Venue:Electr. Notes Theor. Comput. Sci