Type Inference and Equational Theories

[1]  Andrew John Kennedy,et al.  Programming languages and dimensions , 1995 .

[2]  Assaf J. Kfoury,et al.  A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus , 1994, LFP '94.

[3]  Flemming Nielson,et al.  Type and Behaviour Reconstruction for Higher-Order Concurrent Programs , 1997, J. Funct. Program..

[4]  Robin Milner,et al.  Definition of standard ML , 1990 .

[5]  Andrew Kennedy,et al.  Dimension Types , 1994, ESOP.

[6]  Karl Meinke,et al.  Universal algebra , 1993, LICS 1993.

[7]  Didier Rémy,et al.  Type inference for records in natural extension of ML , 1994 .

[8]  Satish R. Thatte.  Coercive Type Isomorphism , 1991, FPCA.

[9]  Claude Kirchner,et al.  Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification , 1991, Computational Logic - Essays in Honor of Alan Robinson.

[10]  Fritz Henglein,et al.  Type inference with polymorphic recursion , 1993, TOPL.

[11]  Jerzy Tiuryn,et al.  Type reconstruction in the presence of polymorphic recursion , 1993, TOPL.

[12]  Pierre Jouvelot,et al.  The Type and Effect Discipline , 1994, Inf. Comput..

[13]  Tobias Nipkow,et al.  Type Classes and Overloading Resolution via Order-Sorted Unification , 1991, FPCA.

[14]  Robin Milner,et al.  Principal type-schemes for functional programs , 1982, POPL '82.

[15]  Didier Rémy.  Extension of ML type system with a sorted equation theory on types , 1992 .

[16]  Simon L. Peyton Jones,et al.  Lazy functional state threads , 1994, PLDI '94.

[17]  Jean-Pierre Jouannaud,et al.  Unification in Boolean Rings and Abelian Groups , 1989, J. Symb. Comput..

[18]  Mitchell Wand,et al.  Type inference for record concatenation and multiple inheritance , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[19]  Tobias Nipkow,et al.  Boolean Unification - The Story So Far , 1989, J. Symb. Comput..

[20]  Trevor Jim.  What are principal typings and what are they good for? , 1996, POPL '96.

[21]  David A. Wright,et al.  A New Technique for Strictness Analysis , 1991, TAPSOFT, Vol.2.