A Type-theoretic Reconstruction of the Visitor Pattern-Reference-Cited by-同舟云学术

A Type-theoretic Reconstruction of the Visitor Pattern

Published:2006-05 Issue: Volume:155 Page:309-329
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Buchlovsky Peter,Thielecke Hayo

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference16 articles.

1. Gavin Bierman, Matthew Parkinson, and Andrew Pitts. MJ: an imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge Computer Laboratory, 2003

2. Automatic synthesis of typed lambda-programs on term algebras;Böhm;Theoretical Computer Science,1985

3. Making the future safe for the past: Adding genericity to the Java programming language;Bracha,1998

4. A Little Java, A Few Patterns;Felleisen,1998

5. SableCC, an object-oriented compiler framework;Gagnon,1998

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Castor: Programming with extensible generative visitors;Science of Computer Programming;2020-07

2. A Study on Abstract Syntax Tree for Development of a JavaScript Compiler;International Journal of Grid and Distributed Computing;2018-06-30

3. Push versus pull-based loop fusion in query engines;Journal of Functional Programming;2018

4. From object algebras to attribute grammars;ACM SIGPLAN Notices;2014-12-31

5. From object algebras to attribute grammars;Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications;2014-10-15