A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log2(n))

Efficient and flexible matching of recursive types

Information and Computation

Efficient algorithms for isomorphisms of simple types

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A Linear Logical View of Linear Type Isomorphisms

CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic

Efficient and Flexible Matching of Recursive Types

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science

A short survey of isomorphisms of types

Mathematical Structures in Computer Science

Efficient algorithms for isomorphisms of simple types

Mathematical Structures in Computer Science

Isomorphisms of simple inductive types through extensional rewriting

Mathematical Structures in Computer Science