Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Joshua Dunfield

Tridirectional Typechecking

English

Related publications

Frontiers of Tractability for Typechecking Simple XML Transformations

English

Towards Practical Typechecking for Macro Tree Transducers

English

Typechecking Top-Down XML Transformations: Fixed Input or Output Schemas

Information and Computation

Theoretical Computer Science

Computational Theory

Computer Science Applications

Information Systems

English