An ideal model for recursive polymorphic types
Information and Control
Proc. of the thirteenth spring school of the LITP on Combinators and functional programming languages
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
CAAP '90 Proceedings of the fifteenth colloquium on CAAP'90
Recursion over realizability structures
Information and Computation
Two Complete Axiom Systems for the Algebra of Regular Events
Journal of the ACM (JACM)
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Typed Equivalence, Type Assignment, and Type Containment
Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems
Type inference in the presence of overloading, subtyping and recursive types
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Issues in the design and specification of class libraries
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
A constructive logic of multiple subtyping
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGPLAN Notices
Automated synthesis of interface adapters for reusable classes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A practical soft type system for Scheme
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Application of OOP type theory: state, decidability, integration
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Efficient inference of partial types
Journal of Computer and System Sciences
Simplifying subtyping constraints
Proceedings of the first ACM SIGPLAN international conference on Functional programming
A practical soft type system for scheme
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the complexity of set-based analysis
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Contraint-based polymorphism in Cecil: towards a practical and static type system
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Changeable interfaces and promised messages for concurrent components
Proceedings of the 1999 ACM symposium on Applied computing
Correspondence polymorphism for object-oriented languages
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Type Management: A Key to Software Reuse in Open Distributed Systems
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Journal of Functional Programming
Static Checking of Dynamically Generated Queries in Database Applications
Proceedings of the 26th International Conference on Software Engineering
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Static checking of dynamically generated queries in database applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
State inference for dynamically changing interfaces
Computer Languages
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Coinductive Axiomatization of Recursive Type Equality and Subtyping
Fundamenta Informaticae
ON SETS OF TERMS: A STUDY OF A GENERALISATION RELATION AND OF ITS ALGORITHMIC PROPERTIES
Fundamenta Informaticae
| Hi-index | 0.00 |