Unification and polymorphism in region inference
暂无分享,去创建一个
[1] Didier Rémy,et al. Type checking records and variants in a natural extension of ML , 1989, POPL '89.
[2] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[3] Martin Elsman,et al. Programming with regions in the ML Kit , 1997 .
[4] Prateek Mishra,et al. Type Inference with Subtypes , 1990, Theor. Comput. Sci..
[5] Flemming Nielson,et al. Polymorphic Subtyping for Effect Analysis: The Algorithm , 1996, LOMAPS.
[6] Xavier Leroy,et al. Typage polymorphe d'un langage algorithmique. (Polymorphic typing of an algorithmic language) , 1992 .
[7] Paul R. Wilson,et al. Uniprocessor Garbage Collection Techniques , 1992, IWMM.
[8] Alexander Aiken,et al. Better static memory management: improving region-based analysis of higher-order languages , 1995, PLDI '95.
[9] Lars Birkedal,et al. From region inference to von Neumann machines via region representation inference , 1996, POPL '96.
[10] Jerzy Tiuryn,et al. The Undecidability of the Semi-unification Problem , 1993, Inf. Comput..
[11] R. Hindley. The Principal Type-Scheme of an Object in Combinatory Logic , 1969 .
[12] Robin Milner,et al. Principal type-schemes for functional programs , 1982, POPL '82.
[13] P. Jouvelot,et al. Polymorphic Type, Region and Eeect Inference Polymorphic Type, Region and Eeect Inference , 2007 .
[14] Robin Milner,et al. A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..
[15] John McCarthy,et al. Recursive functions of symbolic expressions and their computation by machine, Part I , 1959, Commun. ACM.
[16] John C. Mitchell,et al. Coercion and type inference , 1984, POPL.
[17] Jerzy Tiuryn,et al. Type reconstruction in the presence of polymorphic recursion , 1993, TOPL.
[18] Mads Tofte,et al. Region-based Memory Management , 1997, Inf. Comput..
[19] Lars Birkedal,et al. A region inference algorithm , 1998, TOPL.
[20] Pierre Jouvelot,et al. The type and effect discipline , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
[21] Fritz Henglein,et al. Type inference with polymorphic recursion , 1993, TOPL.
[22] Flemming Nielson,et al. Higher-order concurrent programs with finite communication topology (extended abstract) , 1994, POPL '94.