Amanote Research
Register
Sign In
Tridirectional Typechecking
doi 10.1145/964001.964025
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2004
Authors
Joshua Dunfield
Frank Pfenning
Publisher
ACM Press
Related search
Frontiers of Tractability for Typechecking Simple XML Transformations
Towards Practical Typechecking for Macro Tree Transducers
Typechecking Top-Down XML Transformations: Fixed Input or Output Schemas
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
