Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Frank Pfenning

Tridirectional Typechecking

English

A Modal Analysis of Staged Computation,

English

Linear Logical Approximations

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