FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Software evolution and integration
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
A new approach to generic functional programming
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
ACM Transactions on Programming Languages and Systems (TOPLAS)
∂ for Data: Differentiating Data Structures
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2003, Selected Papers
Constructive Membership Predicates as Index Types
Electronic Notes in Theoretical Computer Science (ENTCS)
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Species and functors and types, oh my!
Proceedings of the third ACM Haskell symposium on Haskell
Matching lenses: alignment and view update
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Using XMorph to transform XML data
Proceedings of the VLDB Endowment
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
∂ for Data: Differentiating Data Structures
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2003, Selected Papers
A Categorical Treatment of Ornaments
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |