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
A short survey of isomorphisms of types
Mathematical Structures in Computer Science
Efficient algorithms for isomorphisms of simple types
Mathematical Structures in Computer Science
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell
Science of Computer Programming
Randomised algorithms for isomorphisms of simple types
Mathematical Structures in Computer Science
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Automated Software Engineering
Type-directed completion of partial expressions
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Discovering math APIs by mining unit tests
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |