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
Isomorphic objects in symmetric monoidal closed categories
Mathematical Structures in Computer Science
A short survey of isomorphisms of types
Mathematical Structures in Computer Science
Isomorphisms of simple inductive types through extensional rewriting
Mathematical Structures in Computer Science
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell
Science of Computer Programming
On Isomorphisms of Intersection Types
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
On isomorphisms of intersection types
ACM Transactions on Computational Logic (TOCL)
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
Hi-index | 0.00 |