A type-directed, on-line, partial evaluator for a polymorphic language
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Multi-stage programming with explicit annotations
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Type fixpoints: iteration vs. recursion
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient and flexible matching of recursive types
Information and Computation
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
A coinductive completeness proof for the equivalence of recursive types
Theoretical Computer Science
Specification-Based Browsing of Software Component Libraries
Automated Software Engineering
Efficient algorithms for isomorphisms of simple types
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fully Automatic Adaptation of Software Components Based on Semantic Specifications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Information Retrieval in a Coq Proof Library Using Type Isomorphisms
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Type Isomorphisms and Proof Reuse in Dependent Type Theory
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
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
Proof theory of higher-order equations: conservativity, normal forms and term rewriting
Journal of Computer and System Sciences
Isomorphisms of generic recursive polynomial types
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Normalization and the Yoneda embedding
Mathematical Structures in Computer Science
Isomorphic objects in symmetric monoidal closed categories
Mathematical Structures in Computer Science
Program equivalence in a linear functional language
Journal of Functional Programming
Introduction to logical information systems
Information Processing and Management: an International Journal
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
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
A theory of contracts for web services
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An insertion operator preserving infinite reduction sequences
Mathematical Structures in Computer Science
On the building of affine retractions
Mathematical Structures in Computer Science
Tips on teaching types and functions
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Contract-Directed Synthesis of Simple Orchestrators
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
A theory of contracts for Web services
ACM Transactions on Programming Languages and Systems (TOPLAS)
A verified framework for higher-order uncurrying optimizations
Higher-Order and Symbolic Computation
A tactic language for the system Coq
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
A transformational approach which combines size inference and program optimization
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Mathematical models of computational and combinatorial structures
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Subtyping recursive types modulo associative commutative products
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
| Hi-index | 0.00 |