Damas, L. and Milner, R. (1982). Principal type-schemes for functional programs. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Unknown - Type Prod List (Correct)
No context found.
Damas, L. and Milner, R. (1982). Principal type-schemes for functional programs.
Polymorphic Type Assignment and CPS Conversion - To Appear Acm (Correct)
No context found.
Luis Damas and Robin Milner. Principal type schemes for functional programs. In Ninth ACM Symposium on Principles of Programming Languages, pages 207--212, 1982.
Refinement Types for ML - Freeman (1994) (54 citations) (Correct)
No context found.
Luis Damas and Robin Milner. Principal type schemes for functional programs. In Proceedings of the 9th ACM Symposium on Principles of Programming Languages, pages 207--212. ACM SIGPLAN/SIGACT, 1982.
Reliable Frameworks for Extensible Compilers - Jason Hickey Nathan (Correct)
No context found.
Luis Damas and Robin Milner. Principal type schemes for functional programs. In Ninth ACM Symposium on Principles of Programming Languages, pages 207--212, 1982.
Modular Type Classes - Derek Dreyer Toyota (2006) (Correct)
No context found.
Luis Damas and Robin Milner. Principal type schemes for functional programs. In POPL '82.
Natural Semantics and Some of its - Meta-Theory In Elf (Correct)
No context found.
Luis Damas and Robin Milner. Principal type schemes for functional programs. In Proceedings of the 9th ACM Symposium on Principles of Programming Languages, pages 207--212. ACM SIGPLAN/SIGACT, 1982.
Mechanizing the Metatheory of Standard ML - Lee, Crary, Harper (2006) (Correct)
No context found.
Luis Damas and Robin Milner. Principal type-schemes for functional programs. In Ninth ACM Symposium on Principles of Programming Languages, pages 207--212, Albuquerque, New Mexico, January 1982.
Modular Type Classes - Derek Dreyer Toyota (2006) (Correct)
No context found.
Luis Damas and Robin Milner. Principal type schemes for functional programs. In POPL '82.
Unknown - Expansion Variables For (Correct)
No context found.
L. Damas, R. Milner. Principal type schemes for functional programs. In Conf. Rec. 9th Ann. ACM Symp. Princ. of Prog. Langs., 1982.
A Formal Semantics for Weak References - Hallett Boston University (2005) (Correct)
No context found.
L. Damas and R. Milner. Principal type schemes for functional programs. In Conf. Rec. 9th Ann. ACM Symp. Princ. of Prog. Langs., pp. 207-212, 1982.
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (4 citations) (Correct)
No context found.
L. Damas and R. Milner. Principal type schemes for functional programs. In Conf. Rec. 9th Ann. ACM Symp. Princ. of Prog. Langs., pp. 207--212, 1982.
System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (2004) (Correct)
No context found.
L. Damas, R. Milner. Principal type schemes for functional programs. In Conf. Rec. 9th Ann. ACM Symp. Princ. of Prog. Langs., 1982.
A Formal Semantics for Weak References - Hallett, Kfoury (2005) (Correct)
No context found.
L. Damas and R. Milner. Principal type schemes for functional programs. In Conf. Rec. 9th Ann. ACM Symp. Princ. of Prog. Langs., pp. 207-212, 1982.
The Essence of Principal Typings - Wells (2002) (51 citations) (Correct)
No context found.
L. Damas, R. Milner. Principal type schemes for functional programs. In Conf. Rec. 9th Ann. ACM Symp. Princ. of Prog. Langs., 1982.
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
No context found.
Luis Damas and Robin Milner. Principal type-schemes for functional programs. In ACM Symposium on Principles of Programming Languages, pages 207-212. ACM Press, 1982.
Meta-Programming through Typeful Code Representation - Chen, Xi (2003) (4 citations) (Correct)
No context found.
L. Damas and R. Milner. Principal type-schemes for functional programs. In Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, pages 207--212, Albuquerque, New Mexico, 1982.
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (4 citations) (Correct)
No context found.
L. Damas and R. Milner. Principal type schemes for functional programs. In Conf. Rec. 9th Ann. ACM Symp. Princ. of Prog. Langs., pp. 207--212, 1982. 52
Analyzing Polymorphic Advice - Dantas, Walker, Washburn, Weirich (2004) (Correct)
No context found.
Damas, L., Milner, R.: Principal type schemes for functional programs. In: ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico. (1982) 207--212
Analyzing Polymorphic Advice - Dantas, Walker, Weirich (2004) (Correct)
No context found.
L. Damas and R. Milner. Principal type schemes for functional programs. In ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, pages 207--212, 1982.
Bioinformatics Adventures in Database Research - Li, Ng, Wong (2003) (1 citation) (Correct)
No context found.
L. Damas and R. Milner. Principal type-schemes for functional programs. In POPL'82, pp 207--212.
Principality and Decidable Type Inference for Finite-Rank.. - Kfoury, Wells (1998) (19 citations) (Correct)
No context found.
L. Damas and R. Milner. Principal type schemes for functional programs. In Conf. Rec. 9th Ann. ACM Symp. Principles of Programming Languages, pp. 207--212, 1982.
Principality and Decidable Type Inference for Finite-Rank.. - Kfoury, Wells (1998) (19 citations) (Correct)
No context found.
L. Damas and R. Milner. Principal type schemes for functional programs. In Conf. Rec. 9th Ann. ACM Symp. Principles of Programming Languages, pp. 207--212, 1982.
Is There a Use for Linear Logic? - Wadler (1991) (5 citations) (Correct)
No context found.
L. Damas and R. Milner, Principal type schemes for functional programs. In Proceedings 9'th ACM Symposium on Principles of Programming Languages, Albuquerque, N.M., January 1982.
System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (2004) (Correct)
No context found.
L. Damas, R. Milner. Principal type schemes for functional programs. In Conf. Rec. 9th Ann. ACM Symp. Princ. of Prog. Langs., 1982.
Type Checking Type Classes - Nipkow, Prehofer (1993) (30 citations) (Correct)
No context found.
L. Damas and R. Milner. Principal type schemes for functional programs. In Proc. 9th ACM Symp. Principles of Programming Languages, pages 207--212, 1982.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC