Computational consequences and partial solutions of a generalized unification problem
作者： A.J. Kfoury , J. Tiuryn , P. Urzyczyn
关键词:
摘要: A generalization of first-order unification, called semiunification, is studied with two goals in mind: (1) type-checking functional programs relative to an improved polymorphic type discipline; and (2) deciding the typability terms a restricted form lambda -calculus. >
acm.org 
sci-hub.se 参考文章(17)
Paul Walton Purdom, Detecting looping simplifications rewriting techniques and applications. pp. 54- 61 ,(1987) , 10.1007/3-540-17220-3_5
John C. Reynolds, Towards a theory of type structure Programming Symposium, Proceedings Colloque sur la Programmation. pp. 408- 423 ,(1974) , 10.1007/3-540-06859-7_148
A.J. Kfoury, J. Tiuryn, P. Urzczyn, On the computational power of universally polymorphic recursion logic in computer science. pp. 72- 81 ,(1988) , 10.1109/LICS.1988.5102
Lalita Jategaonkar, John Mitchell, ML with extended pattern matching and subtypes international conference on functional programming. pp. 198- 211 ,(1988) , 10.1145/62678.62702
R. Statman, Number theoretic functions computable by polymorphic programs 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981). pp. 279- 282 ,(1981) , 10.1109/SFCS.1981.24
Dominique Clément, Thierry Despeyroux, Gilles Kahn, Joëlle Despeyroux, A simple applicative language: mini-ML international conference on functional programming. pp. 13- 27 ,(1986) , 10.1145/319838.319847
Fritz Henglein, Type inference and semi-unification international conference on functional programming. pp. 184- 197 ,(1988) , 10.1145/62678.62701
A. J. Kfoury, J. Tiuryn, P. Urzyczyn, A proper extension of ML with an effective type-assignment symposium on principles of programming languages. pp. 58- 69 ,(1988) , 10.1145/73560.73565
Daniel Leivant, Polymorphic type inference symposium on principles of programming languages. pp. 88- 98 ,(1983) , 10.1145/567067.567077
P. C. Kanellakis, J. C. Mitchell, Polymorphic unification and ML typing symposium on principles of programming languages. pp. 105- 115 ,(1989) , 10.1145/75277.75286