A Type-theoretic Reconstruction of the Visitor Pattern

Peter Buchlovsky, Hayo Thielecke. A Type-theoretic Reconstruction of the Visitor Pattern. Electronic Notes in Theoretical Computer Science, 155:309-329, 2006. [doi]

Abstract

Abstract is missing.