The undecidability of the semi-unification problem

Authors:
A. J. Kfoury;J. Tiuryn;P. Urzyczyn
Affiliations:
Dept of Computer Science, Boston University;Institute of Mathematics, University of Warsaw;Institute of Mathematics, University of Warsaw
Venue:
STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
Year:
1990

The implication problem for functional and inclusion dependencies

Information and Control
Equational theories and database constraints

STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Detecting looping simplifications

on Rewriting techniques and applications
Type inference and semi-unification

LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Polymorphic unification and ML typing

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computational consequences and partial solutions of a generalized unification problem

Proceedings of the Fourth Annual Symposium on Logic in computer science
Semi-Unification

Proceedings of the Eighth Conference on Foundations of Software Technology and Theoretical Computer Science
Polymorphic Type Schemes and Recursive Definitions

Proceedings of the 6th Colloquium on International Symposium on Programming
On Type Inference for Object-Oriented Programming Languages

CSL '87 Proceedings of the 1st Workshop on Computer Science Logic

Tools for Datalog boundedness

PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On subsumption and semiunification in feature algebras

Journal of Symbolic Computation
Type inference with polymorphic recursion

ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation of the typed call-by-value λ-calculus using a stack of regions

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Putting type annotations to work

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A region inference algorithm

ACM Transactions on Programming Languages and Systems (TOPLAS)
Polymorphic algebraic data type reconstruction

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Existential Type Systems with No Types in Terms

TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types

Information and Computation

Hi-index	0.00